This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The system is not programmed for specific tasks; rather, it is (...) told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it. (shrink)

The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calculus where these problems can be overcome with relative ease and without sacrificing the advantages (...) of the original. (shrink)

A new approach to Hume's problem of induction that justifies the optimality of induction at the level of meta-induction. Hume's problem of justifying induction has been among epistemology's greatest challenges for centuries. In this book, Gerhard Schurz proposes a new approach to Hume's problem. Acknowledging the force of Hume's arguments against the possibility of a noncircular justification of the reliability of induction, Schurz demonstrates instead the possibility of a noncircular justification of the optimality of induction, or, more precisely, of (...) meta-induction (the application of induction to competing prediction models). Drawing on discoveries in computational learning theory, Schurz demonstrates that a regret-based learning strategy, attractivity-weighted meta-induction, is predictively optimal in all possible worlds among all prediction methods accessible to the epistemic agent. Moreover, the a priori justification of meta-induction generates a noncircular a posteriori justification of object induction. Taken together, these two results provide a noncircular solution to Hume's problem. Schurz discusses the philosophical debate on the problem of induction, addressing all major attempts at a solution to Hume's problem and describing their shortcomings; presents a series of theorems, accompanied by a description of computer simulations illustrating the content of these theorems (with proofs presented in a mathematical appendix); and defends, refines, and applies core insights regarding the optimality of meta-induction, explaining applications in neighboring disciplines including forecasting sciences, cognitive science, social epistemology, and generalized evolution theory. Finally, Schurz generalizes the method of optimality-based justification to a new strategy of justification in epistemology, arguing that optimality justifications can avoid the problems of justificatory circularity and regress. (shrink)

This chapter offers a close reading of a passage from the literary and philosophical work Minima Moralia that enacts Theodor W. Adorno's radical concept of nonpropositional truth content in philosophical aesthetics after Auschwitz. Readers of Adorno's texts, especially those devoted to philosophical aesthetics, can hardly fail to be struck by their chiastic structure. The aesthetic theory that Adorno develops constitutes not only a theory of the aesthetic but also a theory that is itself aesthetic, hence a theory of literature that (...) exhibits qualities associated with literary texts, and a theory of music that harbors within itself traces of musical composition. The rhetorically self-conscious tropes of his posthumous Aesthetic Theory, the stylized literary studies of his Notes to Literature, his musically inflected meditations on musicological questions from Ludwig van Beethoven to Arnold Schönberg, and so many of his other texts perform this provocative inversion in a variety of registers and conceptual modulations. (shrink)

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 between the 1950s and 1960s seems to me large enough to highlight it here. Beth is one of the very few philosophers who also presented highly technically relevant results in logic, or one of the few logicians who also wrote philosophical papers, not only in his youth or old age, but throughout his career. In his 741-page magnum opus The Foundations of Mathematics [1959], he combines the treatment of philosophical and logico-mathematical problems under the perspective that the traditional deductive procedure is an essential and not merely incidental element in mathematical proof so that “logic must play the principal role in a philosophical examination of mathematical thought” [1959, XI]. By 1937, Beth was “convinced that the only possibility of founding mathematics in a truly satisfactory way is to apply intuitive and formal methods simultaneously in such a way that they can control and verify each other” (“L’évidence intuitive dans les mathématiques modernes” [1937, 165]). In 1956, he still justified the emphasis on the intuitive element of proof by “certain complications that the development of these [formalist] tendencies would later give rise to” (“Poincaré et la philosophie” [1956b, 238, transl. G. H.]). (shrink)

Statistical mechanics attempts to explain the behaviour of macroscopic physical systems in terms of the mechanical properties of their constituents. Although it is one of the fundamental theories of physics, it has received little attention from philosophers of science. Nevertheless, it raises philosophical questions of fundamental importance on the nature of time, chance and reduction. Most philosophical issues in this domain relate to the question of the reduction of thermodynamics to statistical mechanics. This book addresses issues inherent in this reduction: (...) the time-asymmetry of thermodynamics and its absence in statistical mechanics; the role and essential nature of chance and probability in this reduction when thermodynamics is non-probabilistic; and how, if at all, the reduction is possible. Compiling contributions on current research by experts in the field, this is an invaluable survey of the philosophy of statistical mechanics for academic researchers and graduate students interested in the foundations of physics. (shrink)

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.

Max Weber ist ein Klassiker der Kultur- und Sozialwissenschaften. Sein Werk gehört weltweit zum Kernbestand von Forschung und Lehre, und dies gilt besonders für seine methodologischen Schriften, denen auch 100 Jahre nach ihrer Publikation nachhaltige Aufmerksamkeit beschieden ist. Allerdings gibt es immer noch kein einvernehmliches Verständnis von Webers Position. Der Grund dafür liegt in der mangelnden Aufarbeitung der Quellen. Viele wichtige Autoren, deren Werke Weber rezipierte, sind in Vergessenheit geraten. Sie in Erinnerung zu rufen, ist dringend notwendig, um seine Wissenschaftslehre (...) in ihrer ganzen Komplexität zu verstehen. 0Das vorliegende Sammelwerk leistet einen Beitrag zur Schließung dieser Forschungslücke. Es rekonstruiert den Denkraum des späten 19. und frühen 20. Jahrhunderts, in dem sich Weber bewegte, und zeigt anhand von Studien zu ausgewählten Autoren, wie umfassend und interdisziplinär sein Denken tatsächlich war. Dabei werden nicht nur Autoren aus den Kultur- und Sozialwissenschaften berücksichtigt, sondern auch solche aus den Naturwissenschaften, denn Weber war mit dem Fortschritt dieser Disziplinen ebenfalls vertraut. (shrink)

This volume offers a reappraisal of Donald Davidson's influential philosophy of thought, meaning, and language, Twelve specially written essays by leading philosophers in the field illuminate a range of themes and problems relating to these ...

The account of meta-induction (G. Schurz, Hume’s problem solved: the optimality of meta-induction, MIT Press, Cambridge, 2019) proposes a two-step solution to the problem of induction. Step 1 consists in a mathematical a priori justification of the predictive optimality of meta-induction, upon which step 2 builds a meta-inductive a posteriori justification of object-induction based on its superior track record (Sect. 1). Sterkenburg (Br J Philos Sci, forthcoming. 10.1086/717068/) challenged this account by arguing that meta-induction can only provide a (non-circular) justification (...) of inductive predictions for now and for the next future, but not a justification of inductive generalizations (Sect. 2). This paper develops a meta-inductive method that does provide an a posteriori justification of inductive generalizations, in the form of exchangeability conditions (Sect. 3). In Sect. 4, a limitation of the proposed method is worked out: while the method can justify weakly lawlike generalizations, the justification of strongly lawlike generalizations (claimed to hold for all eternity) requires epistemic principles going beyond meta-induction based on predictive success. (shrink)

The 14th Congress of Logic, Methodology and Philosophy of Science will be held on July 19-26, 2011, in Nancy, France . In order to provide some historical background about DLMPS Congresses, we are honoured to have the opportunity to reissue a chapter of Anita Burdman Feferman and Solomon Feferman's Alfred Tarski : Life and Logic, dedicated to the early history of the DLMPS and the organization of the first Congress held in 1960 in Stanford. We are very grateful to the (...) authors and the Cambridge University Press for their kind authorization to reissue this text. (shrink)