We must restrict to mere probability not only statements of comparatively great uncertainty, like predictions about the weather, where we would cautiously ...

David Hilbert was the most influential mathematician of the early twentieth century and, together with Henri Poincaré, the last mathematical universalist. His main known areas of research and influence were in pure mathematics, but he was also known to have some interest in physical topics. The latter, however, was traditionally conceived as comprising only sporadic incursions into a scientific domain which was essentially foreign to his mainstream of activity and in which he only made scattered, if important, contributions. Based on (...) an extensive use of mainly unpublished archival sources, the present book presents a totally fresh and comprehensive picture of Hilbert’s intense, original, well-informed, and highly influential involvement with physics, that spanned his entire career and that constituted a truly main focus of interest in his scientific horizon. His program for axiomatizing physical theories provides the connecting link with his research in more purely mathematical fields, especially geometry, and a unifying point of view from which to understand his physical activities in general. In particular, the now famous dialogue and interaction between Hilbert and Einstein, leading to the formulation in 1915 of the generally covariant field-equations of gravitation, is adequately explored here within the natural context of Hilbert’s overall scientific world-view. This book will be of interest to historians of physics and of mathematics, to historically-minded physicists and mathematicians, and to philosophers of science. (shrink)

This article presents notes that Russell made while reading the works of Gottlob Frege in 1902. These works include Frege’s books as well as the packet of offprints Frege sent at Russell’s request in June of that year. Russell relied on these notes while composing “Appendix A: The Logical and Arithmetical Doctrines of Frege” to add to _The Principles of Mathematics_, which was then in press. A transcription of the marginal comments in those works of Frege appeared in the previous (...) issue of this journal. (shrink)

Controversy remains over exactly why Frege aimed to estabish logicism. In this essay, I argue that the most influential interpretations of Frege's motivations fall short because they misunderstand or neglect Frege's claims that axioms must be self-evident. I offer an interpretation of his appeals to self-evidence and attempt to show that they reveal a previously overlooked motivation for establishing logicism, one which has roots in the Euclidean rationalist tradition. More specifically, my view is that Frege had two notions of self-evidence. (...) One notion is that of a truth being foundationally secure, yet not grounded on any other truth. The second notion is that of a truth that requires only clearly grasping its content for rational, a priori justified recognition of its truth. The overarching thesis I develop is that Frege required that axioms be self-evident in both senses, and he relied on judging propositions to be self-evident as part of his fallibilist method for identifying a foundation of arithmetic. Consequently, we must recognize both notions in order to understand how Frege construes ultimate foundational proofs, his methodology for discovering and identifying such proofs, and why he thought the propositions of arithmetic required proof. (shrink)

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

SummaryIn June 1913 the 18-year-old Norbert Wiener presented to Harvard University a doctoral thesis comparing the logical systems of Schröder and Russell, with special reference to their treatment of relations. Shortly afterwards he visited Russell in Cambridge (England) and showed him a copy of the thesis. Russell wrote out some comments, to which Wiener replied.None of these documents has been published. In this paper I summarise the contents of Wiener's thesis, and describe and quote from the subsequent discussion with Russell. (...) I preface the account with some remarks on the personal relationship of Wiener and Russell, and conclude it with the description of the location of the various documents cited. (shrink)

Die Grundlagen gehören zu den klassischen Texten der Sprachphilosophie, Logik und Mathematik. Frege stützt sein Programm einer Begründung von Arithmetik und Analysis auf reine Logik, indem er die natürlichen Zahlen als bestimmte Begriffsumfänge definiert. Die philosophische Fundierung des Fregeschen Ansatzes bilden erkenntnistheoretische und sprachphilosophische Analysen und Begriffserklärungen. Studienausgabe aufgrund der textkritisch herausgegebenen Jubiläumsausgabe (Centenarausgabe). Mit Einleitung, Anmerkungen, Literaturverzeichnis und Namenregister.

This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.

Among the various meanings in which the word ‘probability’ is used in everyday language, in the discussion of scientists, and in the theories of probability, there are especially two which must be clearly distinguished. We shall use for them the terms ‘probability1’ and ‘probability2'. Probability1 is a logical concept, a certain logical relation between two sentences ; it is the same as the concept of degree of confirmation. I shall write briefly “c” for “degree of confirmation,” and “c” for “the (...) degree of confirmation of the hypothesis h on the evidence e“; the evidence is usually a report on the results of our observations. On the other hand, probability2 is an empirical concept; it is the relative frequency in the long run of one property with respect to another. The controversy between the so-called logical conception of probability, as represented e.g. by Keynes, and Jeffreys, and others, and the frequency conception, maintained e.g. by v. Mises and Reichenbach, seems to me futile. These two theories deal with two different probability concepts which are both of great importance for science. Therefore, the theories are not incompatible, but rather supplement each other. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

Naturalism in Mathematics investigates how the most fundamental assumptions of mathematics can be justified. One prevalent philosophical approach to the problem--realism--is examined and rejected in favor of another approach--naturalism. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be successfully applied in set theory. Her clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both disciplines.

Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In addition to fourteen previously published papers, the volume features a new paper on the Julius Caesar problem; a substantial new introduction mapping out the program and the contributions made to it by the various papers; a section explaining which issues most require further attention; and bibliographies of references and further useful sources. It will be recognized as the (...) most powerful presentation yet of a neo-Fregean program. (shrink)

Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some (...) classical first-order logic and would like to learn about other logics important to their philosophical work. (shrink)

This paper is a contribution to the question of how aspects of science have been perceived through history. In particular, I will discuss how the contribution of axiomatics to the development of science and mathematics was viewed in 20th century philosophy of science and philosophy of mathematics. It will turn out that in connection with scientific methodology, in particular regarding its use in the context of discovery, axiomatics has received only very little attention. This is a rather surprising result, since (...) axiomatizations have been employed extensively in mathematics, science, and also by the philosophers themselves. (shrink)

This paper introduces and evaluates two contemporary approaches of neo-logicism. Our aim is to highlight the differences between these two neo-logicist programmes and clarify what each projects attempts to achieve. To this end, we first introduce the programme of the Scottish school – as defended by Bob Hale and Crispin Wright1 which we believe to be a..