Mind 117 (466):427-450 (2008)
Authors |
|
Abstract |
I argued that Frege does not have a metatheory in the following sense: the justifications he offers for his basic laws and rules of inference neither employ nor require a truth-predicate or metalinguistic variables. In Does Frege Use a Truth-predicate in his "Justification" of the Laws of Logic?, Dirk Greimann disputes this. As Greimann interprets Frege, (i) Frege's remarks commit him to giving a metatheoretic justification of the basic laws and rules of his logic, and (ii) Frege actually gives such a justification in the early sections of Grundgesetze—although the truth-predicate that Frege employs is a non-standard one: it is neither a predicate that holds of all and only true sentences nor a predicate that holds of all and only true thoughts. I argue that Greimann's interpretation is not, in the end, true to the text, and that his non-standard view of what is required of a Tarskian truth-predicate is ultimately not viable.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1093/mind/fzn042 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Begriffsschrift.Gottlob Frege - 1967 - In Jean Van Heijenoort (ed.), From Frege to Gödel. Cambridge: Harvard University Press. pp. 1-83.
Gottlob Frege: Collected Papers on Mathematics, Logic, and Philosophy.Brian McGuinness (ed.) - 1984 - Oxford: Blackwell.
From Frege to Wittgenstein: Perspectives on Early Analytic Philosophy.Erich H. Reck (ed.) - 2001 - Oxford University Press.
View all 14 references / Add more references
Citations of this work BETA
Does Frege Have a Metalinguistic Truth-Predicate in Begriffsschrift?Junyeol Kim - 2021 - Canadian Journal of Philosophy 51 (3):191-203.
Frege’s ‘On the Foundations of Geometry’ and Axiomatic Metatheory.Günther Eder - 2016 - Mind 125 (497):5-40.
Husserl and the Problem of Abstract Objects.George Duke & Peter Woelert - 2016 - Pacific Philosophical Quarterly 97 (1):27-47.
Similar books and articles
Did Frege Really Consider Truth as an Object?Dirk Greimann - 2007 - Grazer Philosophische Studien 75 (1):125-148.
The Judgement-Stroke as a Truth-Operator: A New Interpretation of the Logical Form of Sentences in Frege's Scientific Language.D. Greimann - 2000 - Erkenntnis 52 (2):213-238.
Frege on Truth and Judgment.Peter Pagin - 2001 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 8 (1):1-13.
Truth, Assertion, and the Horizontal: Frege on "the Essence of Logic".William W. Taschek - 2008 - Mind 117 (466):375-401.
Metatheory and Mathematical Practice in Frege.Jamie Tappenden - 1997 - Philosophical Topics 25 (2):213-264.
Metatheory and Mathematical Practice in Frege.Jamie Tappenden - 2005 - In Michael Beaney & Erich H. Reck (eds.), Gottlob Frege: Critical assessments of leading philosophers, Vol. II. New York: pp. 190-228.
Does Frege Use a Truth-Predicate in His ‘Justification’ of the Laws of Logic? A Comment on Weiner.Dirk Greimann - 2008 - Mind 117 (466):403-425.
Analytics
Added to PP index
2009-01-28
Total views
67 ( #169,418 of 2,498,786 )
Recent downloads (6 months)
1 ( #421,542 of 2,498,786 )
2009-01-28
Total views
67 ( #169,418 of 2,498,786 )
Recent downloads (6 months)
1 ( #421,542 of 2,498,786 )
How can I increase my downloads?
Downloads