Mind 117 (466):427-450 (2008)
AbstractI 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.
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.
Added to PP
Historical graph of downloads
Citations of this work
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.
References found in this work
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.