The volume contains the written versions of all papers given at the workshop, divided into five chapters and followed by Alvin Goldman's replies in the sixth.

In this paper first order theories for nonmonotone inductive definitions are introduced, and a proof-theoretic analysis for such theories based on combined operator forms a la Richter with recursively inaccessible and Mahlo closure ordinals is given.

Together with its introduction, Language, Mind and Epistemology examines Davidson's unified stance towards philosophy by joining American and European authors ...

During a conference entitled “_Un logicien consciencieux. La philosophie de Evert Willem Beth_,” held in Nancy in 1998 and published in this journal, volume 3, cahier 4 [Barth, Heinzmann _et al._ 1998-1999], the participants regretted that a reasoned biography of Beth was not available. In view of the efforts made since then in this direction, in particular by Paul van Ulsen in his PhD thesis in Dutch [2000], this article attempts to provide an overview of Beth’s work for a broader (...) community of philosophers of science. However, my focus is not so much on Beth’s widely discussed and important contributions to mathematical logic, where his most creative merits reside. My aim is to emphasize Beth’s philosophical and cultural background. Both are also discussed in the first two chapters of Ulsen’s thesis, which globally focuses on Beth’s work in logic. Of course, philosophical and scientific aspects cannot be systematically separated, but Beth’s influence on the philosophy of mathematics be... (shrink)

Einleitung. Die stellung des parlamentes und sein verhältnis zum individuum.--Die moderne demokratie und der gleichheitzbegriff.--Die gleichheit vor dem gesetz.--Das problem der gleichheit der staaten im bundesstaatsrect.

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.

In this paper, the contributions to the account of meta-induction (Schurz 2019) collected in this volume are critically discussed and thereby, new insights are developed. How broad and expandable the program of meta-induction is can be learned from Ortner’s contribution. New insights about the transition from the a priori justification of meta-induction to the a posteriori justification of object-induction emerge from the reflection of Shogenji’s paper. How meta-induction may be applied also to religious prophecies and that their meta-inductive justification does (...) not fail for a priori reasons but because of missing evidence for predictive success is learned from the discussion of Pitts’ contribution. That meta-induction does not rely on a particular prior distribution, while the no free lunch theorem depends implicitly on a uniform prior, is the major conclusion drawn from the discussion of Wolpert’s article. How the problem of induction is treated in different versions of the Bayesian account is learned from the discussion of Willliamson’s paper. That meta-induction can also be employed for abduction, and that abductive theory-revision can offer meta-inductive aggregation methods is a new insight emerging from the reflection of Aliseda’s contribution. (shrink)

The present paper first shows that the validity of deductive-nomological (D-N) explanations (systematizations) depends in general on the interpretation context of the predicates involved in the explanation. Therefore, no logical-semantical model can be adequate. This problem is solved by relativisation of the validity criteria on both the confirmation context and the definition context of the premisses. Based upon this, a logical-pragmatical model of D-N explanation is developed. Thereby, especially explanations of laws and global explanations are taken into consideration, since these (...) can be regarded as prototypes of scientific explanation. (shrink)