Banner Portal
Frege’s horizontal and the liar-paradox


Frege’s Horizontal. Liar-paradox. Truth. The True. Undefinability of truth

Como Citar

GREIMANN, Dirk. Frege’s horizontal and the liar-paradox. Manuscrito: Revista Internacional de Filosofia, Campinas, SP, v. 26, n. 2, p. 359–387, 2016. Disponível em: Acesso em: 21 abr. 2024.


According to Peter Aczel, the inconsistency of Frege’s system in Grundgesetze is due, not to the introduction of sets, as is usually thought, but to the introduction of the Horizontal. His argument is that the principles governing sets are intuitively correct and therefore consistent, while the scheme introducing the Horizontal amounts to an internal definition of truth conflicting with Tarski’s classic result on the undefinability of truth in the object language. The aim of this paper is to show that the Horizontal is innocent: Aczel’s diagnosis is based on a mistaken view of the structure underlying Frege’s ideal language.


ACZEL, P. “Frege Structures and the Notions of Proposition, Truth and Set”. In: J. Barwise, H. Keisler and K. Kunen (eds.). The Kleene Symposium. North Holland Publishing Company, pp. 31-59, 1980.

BERMÚDEZ, J. “Frege on Thoughts and Their Structure”. In: U. Meixner and A. Newen (eds.). Logical Analysis and History of Philosophy. Paderborn: Mentis, v. 4, pp. 87-105, 2001.

BELL, D. Frege’s Theory of Judgement. Oxford: Clarendon Press, 1979.

BEANEY, M. (ed.). The Frege Reader. Oxford: Blackwell, 1997.

BURGE, T. “Frege on Truth”. In: L. Haaparanta and J. Hintikka (eds.).

Frege Synthesized. Dordrecht: D. Reidel Publishing Company, pp. 97-154, 1986.

DAVIDSON, D. “The Folly of Trying to Define Truth”. Journal of Philosophy, 93, pp. 263-78, 1996.

DUMMETT, M. Frege. Philosophy of Language. London: Harper and Row, 1973.

ETCHEMENDY, J. “Tarski on Truth and Logical Consequence”. Journal of Symbolic Logic, 53, pp. 51-79, 1988.

FREGE, G. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle/S.: Louis Nebert, 1879. Reprinted in G. Frege, Begriffsschrift und andere Aufsätze. Hildesheim/New York: Olms, 1988.

———. Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl, Breslau: Verlag von Wilhelm Koebner, 1884. Reprinted: Darmstadt: Wissenschaftliche Buchgesellschaft, 1961.

———. “Funktion und Begriff”, talk delivered in Jena 1891. Reprinted in Frege, 1990, pp. 125-42.

———. “Über Sinn und Bedeutung”. Zeitschrift für Philosophie und philosophische Kritik NF 11, 1892. Reprinted in Frege, 1990, pp.143-62.

———. Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet. Vol. I, Jena: Pohle, 1893. Reprint: Darmstadt, Wissenschaftliche Buchgesellschaft, 1962.

———. Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet. Vol. II, Jena: Pohle, 1903. Reprint: Darmstadt, Wissenschaftliche Buchgesellschaft, 1962.

———. “Der Gedanke. Eine logische Untersuchung”. Beiträge zur Philosophie des deutschen Idealismus 1, 1918. Reprinted in Frege, 1990, pp. 342-62.

———. Wissenschaftlicher Briefwechsel. Edited by G. Gabriel, H. Hermes, F. Kambartel, Ch. Thiel, A. Verhaart. Hamburg: Meiner, 1976.

———. Nachgelassene Schriften und Wissenschaftlicher Briefwechsel. Edited by H. Hermes, F. Kambartel and F. Kaulbach. Hamburg: Meiner, second and extended edition, 1983. Vol. I.

———. Kleine Schriften. Edited by I. Angelelli. Hildesheim/New York: Olms, second edition, 1990.

GREIMANN, D. “The Judgement-Stroke as a Truth-Operator: A New Interpretation of the Logical Form of Sentences in Frege’s Scientific Language”. Erkenntnis, 52, pp. 213-38, 2000a.

———. “Individuating Abstract Objects: The Methodologies of Frege and Quine”. In: U. Meixner and A. Newen (eds.). Logical Analysis and History of Philosophy. Paderborn: Mentis, vol. 4, pp. 121-42, 2000b.

GRIM, P. The Incomplete Universe. Totality, Knowledge, and Truth. Cambridge, MA: MIT Press, 1991.

HORWICH, P. Truth. Oxford: Basil Blackwell, 1990. HECK, R. “Frege and Semantics”, internet-manuscript, Forthcoming in T. Ricketts (ed.). The Cambridge Companion to Frege. Cambridge: Cambridge University Press, 1999.

V. KUTSCHERA, F. Gottlob Frege. Eine Einführung in sein Werk. Berlin/New York: de Gruyter, 1989.

RICKETTS, TH. “Objectivity and Objecthood: Frege’s Metaphysics of Judgement”. In: L. Haaparanta and J. Hintikka (eds.). Frege Synthesized. Dordrecht: D. Reidel Publishing Company, pp. 65-95, 1986.

SIMONS, P. “The Horizontal”. In: M. Schirn (ed.). Frege: Importance and Legacy. Berlin/New York: de Gruyter, pp. 280-300, 1996.

SLUGA, H. “Truth before Tarski”. In: von J. Woleński und E. Köhler (eds.). Alfred Tarski and the Vienna Circle. Austro-Polish Connections in Logical Empiricism. Dordrecht: Kluwer, pp. 27-41, 1999.

———. “Frege on the Indefinability of Truth”. In: E. Reck (ed.). From Frege to Wittgenstein. Oxford: Oxford University Press, pp. 75-95, 2001.

SOAMES, S. Understanding Truth. New York: Oxford University Press, 1999.

TARSKI, A. “The Semantic Conception of Truth and the Foundations of Semantics”. Philosophy and Phenomenological Research, 4, pp. 341-76, 1944.

THIEL, CH. “Die Revisionsbedürftigkeit der logischen Semantik Freges”. Anuario Filosofico, 16, n. 1, Universidad de Navarra, pp. 293-301, 1983.


Não há dados estatísticos.