Semántica de la paradoja del mentiroso

• Hertogh , C. P. ^[1]
  1. [1] Free University Brussels –(VUB-BE/EU)
• Localización: ANALÍTICA: Revista de Filosofía, ISSN-e 2805-1815, Nº. 5, 2025 (Ejemplar dedicado a: Analítica), págs. 94-119
• Idioma: español
• Títulos paralelos:
  • Semantics of the liar paradox
• Enlaces
  • Texto completo
• Resumen
  • español

    Aunque los enigmas como la paradoja del mentiroso —tradicionalmente considerados sofistería— no se ajustan a todas las características de los experimentos mentales (TE), en particular a la condición pragmaticista de que los experimentos mentales están diseñados para resolver problemas predefinidos, aplicamos análisis e interpretaciones de TE.

    La paradoja del mentiroso (o, digamos, las afirmaciones de tipo mentiroso que involucran, verdad (predicados), autorreferencia, como en los campos del análisis conceptual, la semántica y la teoría de conjuntos) alcanzó una prominencia paradigmática y revolucionaria gracias a las deliberaciones logicistas gödelianas de Tarski a principios del siglo pasado, ahora consideradas la explicación semántica ortodoxa.

    Examinamos las explicaciones semióticas y pragmáticas de la segunda mitad del siglo pasado y las explicaciones (meta)lógicas (no)clásicas que podrían cobrar fuerza en el siglo XXI.

    Nuestra resolución es múltiple, tanto semántica como pragmática. Demostramos que la lógica moderna, desde sus inicios, Wittgenstein ha tenido más de dos valores de verdad, además de Verdadero y Falso, 'sinsentido', etc.

    Mostramos que la paradoja del mentiroso puede llevar a replantear principios lógicos como la ley del tercero excluido (LEM) y la no contradicción (LNC), y refutamos versiones fuertes de estas leyes lógicas. Proponemos una explicación pragmática griceana de la paradoja del mentiroso, analizando las versiones de Epiménides y Eubulides como una falsificación del principio conversacional tácito genérico —la máxima de calidad y la máxima de modo de Grice— según el cual las personas suelen hablar con la verdad y con perspicacia.

    Mediante la aplicación de la Matriz TE, las paradojas de Epiménides y Eubulides pueden extenderse a argumentos de estilo modus tollens válidos y sólidos con la fuerza lógica del entimema.

  • English

    Although Liar-type conundrums –traditionally considered sophistry– do not match all characteristics of thought experiments (TE), particularly not the pragmaticist condition that thought experiments are designed to resolve predefined problems, we apply TE analyses and interpretations.

    The Liar (or, let's say, Liar-type statements involving truth (predicates), self-reference as in the fields of conceptual analysis, semantics and set theory) rose to paradigmatic, revolutionary prominence by Tarski's Gödelian logicistic deliberations in the beginning of last century now considered the orthodox semantic account.

    We survey semiotic and pragmatic accounts from the second half of last century and (non)classical (meta)logical accounts  that may gain traction in 21st century.

    Our resolution is manifold, both semantic and pragmatic. We show that modern logic, from the very beginning in Wittgenstein, has had more than two truth-values, next to T(rue) and F(alse), 'nonsense', 'meaningless', 'senseless', etc.

    We show that the Liar may bring up for discussion logical principles like law of excluded middle (LEM) and noncontradiction (LNC) and refute strong versions of these logical laws. We propose a pragmatic Gricean account of the Liar, analyzing Epimenides's and Eubulides' versions of the Liar as falsification of generic tacit conversational principle –Grice’smaxim of quality and maxim of manner– that people usually speak truthful, speak perspicuously.

    By application of TE Matrix Epimenides-style and Eubulides-style paradoxes can be extended to valid and sound modus tollens-style arguments with logical force of enthymeme.