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.

An introduction to the developments of nonstandard models. Beginning with Godel's incompleteness theorem, it covers the prime models, cofinal extensions, and extensions, Gaifman's construction of a definable type, Tennenbaum's theorem and Friedman's theorem on indicators, ending with a chapter on recursive saturation and resplendency.

Parsons has given a (nonconstructive) proof that the first-order fragment of the system of Frege's Grundgesetze is consistent. Here a constructive proof of the same result is presented.

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

Studie over het werk van de Duitse wijsgeer Friedrich Ludwig Gottlob Frege (1848-1925).

The background of these remarks is that in 1967, in ‘’Constructive reasoning” [27], I sketched an argument that finitist arithmetic coincides with primitive recursive arithmetic, P RA; and in 1981, in “Finitism” [28], I expanded on the argument. But some recent discussions and some of the more recent literature on the subject lead me to think that a few further remarks would be useful.

In this paper, I consider two curious subsystems ofFrege's Grundgesetze der Arithmetik: Richard Heck's predicative fragment H, consisting of schema V together with predicative second-order comprehension (in a language containing a syntactical abstraction operator), and a theory T in monadic second-order logic, consisting of axiom V and 1 1-comprehension (in a language containing anabstraction function). I provide a consistency proof for the latter theory, thereby refuting a version of a conjecture by Heck. It is shown that both Heck and T (...) prove the existence of infinitely many non-logical objects (T deriving,moreover, the nonexistence of the value-range concept). Some implications concerning the interpretation of Frege's proof of referentiality and the possibility of classifying any of these subsystems as logicist are discussed. Finally, I explore the relation of T toCantor's theorem which is somewhat surprising. (shrink)

I am not a deflationist. I believe that truth and falsity are substantial. The truth of a proposition consists in its having a constructive proof, or truthmaker. The falsity of a proposition consists in its having a constructive disproof, or falsitymaker. Such proofs and disproofs will need to be given modulo acceptable premisses. The choice of these premisses will depend on the discourse in question.

In this paper, I shall discuss several topics related to Frege’s paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege’s notion of evidence and its interpretation by Jeshion, the introduction (...) of the course-of-values operator and Frege’s attitude towards Axiom V, in the expression of which this operator occurs as the key primitive term. Axiom V says that the course-of-values of the function f is identical with the course-of-values of the function g if and only if f and g are coextensional. In the third section, I intend to show that in Die Grundlagen der Arithmetik (1884) Frege hardly could have construed Hume’s Principle (HP) as a primitive truth of logic and used it as an axiom governing the cardinality operator as a primitive sign. HP expresses that the number of Fs is identical with the number of Gs if and only if F and G are equinumerous. In the fourth section, I argue that Wright falls short of making a convincing case for the alleged analyticity of HP. In the final section, I canvass Heck’s arguments for his contention that Frege knew he could deduce the simplest laws of arithmetic from HP without invoking Axiom V. I argue that they do not carry conviction. I conclude this section by rejecting an interpretation concerning HP suggested by MacFarlane. (shrink)

We have seen that despite Feferman's results Gödel's second theorem vitiates the use of Hilbert-type epistemological programs and consistency proofs as a response to mathematical skepticism. Thus consistency proofs fail to have the philosophical significance often attributed to them.This does not mean that consistency proofs are of no interest to philosophers. We know that a ‘non-pathological’ consistency proof for a system S will use methods which are not available in S. When S is as strong a system as we are (...) willing to entertain seriously then a consistency proof for it will yield no epistemological gain. But in other cases philosophers might argue that the proof uses methods which are merely different rather than stronger than those available in the system in question. This claim has been made, for example, in the case of the constructive consistency proofs for elementary number theory. Similar philosophical investigations can be made on relative consistency proofs, since these differ from each other in the principles they employ. For example, most relative consistency proofs can be carried out within elementary number theory, but without using the theory of real numbers, no one has been able to prove the consistency of Quine's ML relative to that of his NF.What about the consistency of all mathematics or of some strong system for set theory? How do we answer the skeptic? Since here a convincing proof is not possible, we have established that the skeptic demands too much. We cannot be certain that our axioms are free from contradiction and must treat them as hypotheses which may be abandoned or modified in the face of further mathematical experience. This attitude is taken by many foundational workers who also go on to voice opinions about thelikelihood that various systems are consistent. Since these opinions are variously supported by appeals to the clarity of the mathematical concept formalized, the existence or non-existence of ‘weird’ models for the system and actual empirical experience with the system, this is surely a fruitful area for philosophical research. (shrink)