FREGE AND THE JUSTIFICATION OF LOGICAL LAWS In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantic notions such as reference and truth. Those not familiar with this debate are often surprised to hear of it. Surely, they say, Frege's post-1891 writings are replete with uses of 'true' and 'refers'. But no one wants to deny that Frege makes use of such terms: Rather, what is at issue is how Frege understood them; more precisely, what is at issue is whether Frege employed them for anything like the purposes for which philosophers now employ them. What these purposes are, or should be, is itself a matter of philosophical dispute, and, although I shall discuss some aspects of this issue, my goal here is not to address it directly. My purpose here, rather - one of them, anyway - is to argue that Frege did make very serious use of semantic concepts: In particular, he offered informal mathematical arguments, making use of semantic notions, for semantic claims. For example, he argues that all of the axioms of the Begriffsschrift - the formal system in which he proves the basic laws of arithmetic - are true, that its rules of inference are truth-preserving, and that every well-formed expression in Begriffsschrift has been assigned a reference by the stipulations he makes about the references of its primitive expressions. Let me say at the outset that Frege was not Tarski and did not produce, as Tarski did, a formal semantic theory, a mathematical definition of truth. But that is not of any significance here. One does not have to provide a formal semantic theory to make serious use of semantic notions. At most, the question is whether Frege would have been prepared to offer such a theory, or whether he would have accepted the sort of theory Tarski provided (or some alternative), had he known of it. On the other hand, the issue is not whether Frege would have accepted Tarski's theory of truth, or Gödel ' s proof that first-order logic is complete, as a piece of mathematics; it is whether he would have taken these results to have the kind of significance we (or at least some of us) would ascribe to them. Tarski's argument in `The concept of truth in formalized languages' shows that all axioms of the calculus of classes are true; the completeness theorem shows that every valid first-order schema is provable in certain formal systems.
...MoreBook Ricketts, Tom; Potter, Michael D. (2010) The Cambridge Companion to Frege.
Chapter
Lenci, Alessandro;
Sandu, Gabriel;
(2009)
Logic and Linguistics in the Twentieth Century
(/isis/citation/CBB001210357/)
Chapter
Francesco Aqueci;
(2000)
Il fondamento linguistico della scienza in Vailati
(/isis/citation/CBB223517193/)
Chapter
Sandu, Gabriel;
Aho, Tuomo;
(2009)
Logic and Semantics in the Twentieth Century
(/isis/citation/CBB001210354/)
Chapter
Goldfarb, Warren;
(2010)
Frege's Conception of Logic
(/isis/citation/CBB001211649/)
Chapter
Sundholm, Göran;
(2009)
A Century of Judgment and Inference, 1837--1936: Some Strands in the Development of Logic
(/isis/citation/CBB001210348/)
Article
Korhonen, Anssi;
(2012)
Logic as a Science and Logic as a Theory: Remarks on Frege, Russell and the Logocentric Predicament
(/isis/citation/CBB001214125/)
Book
Heijenoort, Jean van;
(2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
(/isis/citation/CBB000201415/)
Chapter
Weiner, Joan;
(2010)
Understanding Frege's Project
(/isis/citation/CBB001211648/)
Article
Schirn, Matthias;
(2010)
On Translating Frege's Die Grundlagen der Arithmetik
(/isis/citation/CBB001210971/)
Article
Kraal, Anders;
(2013)
The Emergence of Logical Formalization in the Philosophy of Religion: Genesis, Crisis, and Rehabilitation
(/isis/citation/CBB001213917/)
Chapter
Korte, Tapio;
Maunu, Ari;
Aho, Tuomo;
(2009)
Modal Logic from Kant to Possible World Semantics
(/isis/citation/CBB001210352/)
Article
Heis, Jeremy;
(2010)
“Critical Philosophy Begins at the Very Point Where Logistic Leaves Off”: Cassirer's Response to Frege and Russell
(/isis/citation/CBB001034595/)
Book
Berthelot, Jean-Michel;
(2003)
Figures du texte scientifique
(/isis/citation/CBB000772842/)
Article
Günther Eder;
(2021)
Frege and the origins of model theory in nineteenth century geometry
(/isis/citation/CBB484264044/)
Book
Joan Weiner;
(2021)
Taking Frege at his Word
(/isis/citation/CBB236027926/)
Book
Macbeth, Danielle;
(2005)
Frege's Logic
(/isis/citation/CBB001211035/)
Article
Reck, Erich H.;
(2013)
Frege, Dedekind, and the Origins of Logicism
(/isis/citation/CBB001212886/)
Article
Günther Eder;
(2021)
Frege on intuition and objecthood in projective geometry
(/isis/citation/CBB221284966/)
Chapter
Haaparanta, Leila;
(2009)
The Relations between Logic and Philosophy, 1874--1931
(/isis/citation/CBB001210347/)
Book
Schumann, Andrew;
(2013)
Logic in Central and Eastern Europe: History, Science, and Discourse
(/isis/citation/CBB001213928/)
Be the first to comment!