Paraconsistency, Evidence and Semantic Incompleteness

• Autores: Edson Bezerra
• Localización: Análisis Filosófico, ISSN 0326-1301, ISSN-e 1851-9636, Vol. 44, Nº. 1, 2024, págs. 117-140
• Idioma: español
• Títulos paralelos:
  • Paraconsistencia, evidencia e incompletitud semántica
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    En este artículo argumentamos que los sistemas Lógica Básica de la Evidencia(BLE) y Lógica de la Evidencia y Verdad (LETJ) sufren una especie de incompletud semántica con respecto a la noción informal de evidencia. Más específicamente, argumentamos que el conectivo o de la lógica LETJ no valida principios intuitivos sobre la evidencia concluyente.

  • English

    In this paper, we argue that the systems Basic Logic of Evidence (BLE) and Logic of Evidence and Truth (LETJ) suffer a kind of semantic incompleteness with respect to the informal notion of evidence. More especifically, we argue that the connective o of the logic LETJ fails to validate intuitive principles about conclusive evidence.