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

Thumbnail Image
Files
Traduccion_Terminista_Daimon_97_2026.pdf(774.1 KB)
Date
2026
relationships.isAuthorOfPublication
relationships.isSecondaryAuthorOf
relationships.isDirectorOf
Authors
Castro Manzano, J. Martín
item.page.secondaryauthor
item.page.director
Publisher
Universidad de Murcia. Servicio de Publicaciones
publication.page.editor
publication.page.department
Sin departamento asociado
DOI
http://dx.doi.org/10.6018/daimon.466741
item.page.type
info:eu-repo/semantics/article
Description
Abstract
In this contribution we present a trans-lation 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.
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 encuen-tra 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.
publication.page.subject
Lógica de Términos , Árboles Semánticos , Natural Language Reasoning , Term Logic , Semantic Trees , Razonamiento en Lenguaje Natural
Citation
Daimon. Revista Internacional de Filosofía, nº 97 (2026), pp. 109-132
URI
http://hdl.handle.net/10201/203502
item.page.embargo
Collections
Daimon Nº 97 (2026)
Ir a Estadísticas