Una traducción terminista de la lógica natural de Moss

• Castro-Manzano, J.-Martín ^[1]
  1. [1] UPAEP
• Localización: Daimon: revista internacional de filosofía, ISSN-e 1989-4651, ISSN 1130-0507, Nº 97, 2026, págs. 109-132
• Idioma: español
• Títulos paralelos:
  • A terministic translation of Moss’ Natural Logic
• Enlaces
  • Texto completo
• Resumen
  • español

    En esta contribución presentamos una traducción de la lógica natural de Moss a la lógica de términos de Sommers usando un método de árboles. El resultado de esta traducción muestra que la lógica de términos de Sommers se encuentra más allá de la frontera de los sistemas tipo Peano-Frege, Church-Turing y Aristóteles pero mantiene el poder expresivo de los sistemas que habitan dentro de tales límites. Esto sugiere que la lógica de términos puede ser útil para un proyecto de lógica natural.

  • English

    In this contribution we present a translation from Moss’ natural logic to Sommers’ term logic by using a tableaux method. The result shows Sommers’ term logic lies beyond the Peano-Frege, Church-Turing, and Aristotle frontiers while maintaining the inferential and expressive powers of the systems that inhabit such limits. This suggests that term logic might be instrumental for a natural logic project.