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)

This volume contains all of Frege's extant unpublished writings on philosophy and logic other than his correspondence, written at various stages of his career.

... as 'logicism') that the content expressed by true propositions of arithmetic and analysis is not something of an irreducibly mathematical character, ...

Both Russell and Frege were inclined to think that there is nothing essentially linguistic about thought: any actual reliance of ours upon language is a mere psychological contingency. If so then it should be possible to formulate logic in such a way that logical relationships are not represented or expressed as principles pertaining to linguistic forms. Russell and Frege take pains to achieve this, but fail. I explain this by looking at some features of Grundgesetz and Principia . Their failure, (...) I suggest, is due to the nature of the case. (shrink)

Dieser Band enthält die vier Arbeiten Freges: Begriffsschrift, eine der arithmetischen nachgebildeten Formelsprache, 1879; Anwendungen der Begriffsschrift, 1879; Über den Briefwechsel Leibnizens und Huggens mit Papin, 1881; Über den Zweck der Begriffsschrift, 1883; Über die wissenschaftliche Berechtigung einer Begriffsschrift, 1882. Frege's research work in the field of mathematical logic is of great importance for the present-day analytic philosophy. We actually owe to Frege a great amount of basical insight and exemplary research, which set up a new standard also in other (...) fields of knowledge. As the founder of mathematical logic he severely examindes the syllogisms on which arithmetic is built up. In doing so, Frege recognized that our colloquial language is inadequate to define logic structures. His notional language corresponded to the artaivicial logical language demandes by Leibniz. Frege's achievement in the field of logic were so important, that they radiated into the domain of philosophy and influenced the development of mathematical logic decisively. (shrink)