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

Simple item page
dc.contributor.authorCastro Manzano, J. Martín
dc.contributor.departmentSin departamento asociado
dc.date.accessioned2026-02-11T08:39:35Z
dc.date.available2026-02-11T08:39:35Z
dc.date.issued2026
dc.description.abstractIn 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.
dc.description.abstractEn 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.
dc.formatapplication/pdf
dc.format.extent24
dc.identifier.citationDaimon. Revista Internacional de Filosofía, nº 97 (2026), pp. 109-132
dc.identifier.doihttp://dx.doi.org/10.6018/daimon.466741
dc.identifier.eissn1989-4651
dc.identifier.urihttp://hdl.handle.net/10201/203502
dc.languagespa
dc.publisherUniversidad de Murcia. Servicio de Publicaciones
dc.relationSin financiación externa a la Universidad
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectLógica de Términos
dc.subjectÁrboles Semánticos
dc.subjectNatural Language Reasoning
dc.subjectTerm Logic
dc.subjectSemantic Trees
dc.subjectRazonamiento en Lenguaje Natural
dc.subject.odsNo relacionado con ningún objetivo de desarrollo sostenible
dc.titleUna traducción terminista de la lógica natural de Moss
dc.title.alternativeA Terministic Translation of Moss’ Natural Logic
dc.typeinfo:eu-repo/semantics/article
dspace.entity.typePublication
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Traduccion_Terminista_Daimon_97_2026.pdf
Size:
774.1 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.37 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Daimon Nº 97 (2026)