Chapter ID: CBB001211655

Frege and Semantics (2010)

unapi

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.

...More
Included in

Book Ricketts, Tom; Potter, Michael D. (2010) The Cambridge Companion to Frege. unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB001211655/

Similar Citations

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/)

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/)

Chapter Korte, Tapio; Maunu, Ari; Aho, Tuomo; (2009)
Modal Logic from Kant to Possible World Semantics (/isis/citation/CBB001210352/)

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/)

Authors & Contributors
Weiner, Joan
Sandu, Gabriel
Eder, Günther
Aho, Tuomo
Sundholm, Göran
Schumann, Andrew
Concepts
Logic
Philosophy
Philosophy of mathematics
Linguistic or semantic analysis
Linguistics; philology
Mathematics
Time Periods
19th century
20th century
20th century, early
21st century
Places
Eastern Europe
Italy
France
China
Central Europe
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment