Abstract
The liar paradox is a famous and ancient paradox related to logic and philosophy. It shows it is perfectly possible to construct sentences that are correct grammatically and semantically but that cannot be true or false in the traditional sense. In this paper the authors show four approaches to interpreting paradoxes that illustrate the influence of: (a) the levels of language, (b) their belonging to indeterminate compatible propositions (ICP) or indeterminate propositions (IP), (c) being based on universal antinomy and (d) the theory of dialetheism.
Similar content being viewed by others
Notes
Eubulides (fl. 4th century BCE) of Miletus was a philosopher of the Megarian school, and a pupil of Euclid of Megara. He is famous for his paradoxes. Eubulides is most famous for inventing the forms of seven famous paradoxes some of which, however, are also ascribed to Diodorus Cronus [28].
References
Rescher, N.: Paradoxes. Open Court (2001)
Azzouni, J.: The strengthened liar, the expressive strength of natural languages, and regimentation. Philos. Forum 34(3–4), 329–350 (2003)
Stroll, A.: The liar: what paradox? Argumentation 2(1), 63–75 (1988)
Visser, A.: Four valued semantics and the Liar. J. Philos. Logic 13(2), 181–212 (1984)
Quine, W.: The ways of paradox. The Ways of Paradox and Other Essays, pp. 3–20. Random House, New York (1966)
Ramsey, F.: The Foundations of Mathematics and Other Logical Essays. Humanities Press, London (1950)
Martin, R.: Toward a solution to the Liar paradox. Philos. Rev. 76(3), 279–311 (1967)
van Fraassen, B.: Presupposition, implication, and self-reference. J. Philos. 65(5), 136–152 (1968)
Kripke, S.: Outline of a theory of truth. J. Philos. 72(19), 690–716 (1975)
Field, H.: Saving Truth from Paradox. Oxford University Press, Oxford (2008)
Hsiung, M.: Jump Liars and Jourdain’s Card via the relativized T-scheme. Stud. Logica 91(2), 239–271 (2009)
Pailos, F., Rosenblatt, L.: Non-deterministic conditionals and transparent truth. Stud. Logica 103(3), 579–598 (2015)
Leitgeb, H.: What truth depends on. J. Philos. Log. 34(2), 155–192 (2005)
Rivello, E.: Notes on Leitgeb’s what truth depends on. Stud. Logica 108, 1–28 (2020)
Mates, B.: Lógica de los Estoicos. Tecnos (1985)
Benétreau-Dupin, Y.: Buridan’s solution to the Liar Paradox. Hist. Philos. Log. 36(1), 18–28 (2014)
Buridan, J., Klima, G.: Summulae de Dialectica. Yale University Press, New Haven (2001)
Tarski, A.: The semantic conception of truth: and the foundations of semantics. Philos. Phenomenol. Res. 4(3), 341–376 (1944)
Russell, B.: Mathematical logic as based on the theory of types. Am. J. Math. 30(3), 222–262 (1908)
Priest, G.: In Contradiction. Oxford University Press, Oxford (2006)
Priest, G.: Doubt Truth to Be a Liar. Oxford University Press, Oxford (2006)
Priest, G.: The logic of paradox. J. Philos. Log. 8(1), 219–241 (1979)
Nescolarde-Selva, J., Usó-Doménech, J., Alonso-Stenberg, K.: An approach to paraconsistent multivalued logic: evaluation by complex truth values. New Directions in Paraconsistent Logic, pp. 147–163. Springer, New Delhi (2015)
Usó-Doménech, J., Nescolarde-Selva, J., Pérez-Gonzaga, S.: Truth Values in t-norm based Systems Many-valued FUZZY Logic. Am. J. Syst. Softw. 2(6), 139–145 (2014)
Usó-Doménech, J., Nescolarde-Selva, J., Pérez-Gonzaga, S., Sabán, M.: Paraconsistent multivalued logic and coincidentia oppositorum: evaluation with complex numbers. Am. J. Syst. Softw. 3(1), 1–12 (2015)
Usó-Doménech, J., Nescolarde-Selva, J., Segura-Abad, L.: Proposal for the formalization of dialectical logic. Mathematics 4(4), 69 (2016)
Usó-Doménech, J., Nescolarde-Selva, J., Segura-Abad, L., Sabán, M.: Dialectical logic for mythical and mystical superstructural systems. Kybernetes 48(8), 1653–1680 (2019)
Seuren, P.: Eubulides as a 20th-century semanticist. Lang. Sci. 27(1), 75–95 (2005)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Usó-Doménech, JL., Nescolarde-Selva, JA., Segura-Abad, L. et al. Mathematical Perspectives on Liar Paradoxes. Log. Univers. 15, 251–269 (2021). https://doi.org/10.1007/s11787-021-00277-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-021-00277-2
Keywords
- Liar paradox
- Systems
- Logic
- Determined compatible propositions
- Incompatible propositions
- Metalanguage
- Paradox