dc.creatorAndrade-Lotero, Edgar
dc.creatorBecerra, Edward Samuel
dc.date.accessioned2020-05-26T00:10:08Z
dc.date.accessioned2022-09-22T14:09:23Z
dc.date.available2020-05-26T00:10:08Z
dc.date.available2022-09-22T14:09:23Z
dc.date.created2020-05-26T00:10:08Z
dc.identifier1445340
dc.identifierhttps://repository.urosario.edu.co/handle/10336/24211
dc.identifierhttps://doi.org/10.1080/01445340801976516
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/3436287
dc.description.abstractThis article studies the mathematical properties of two systems that model Aristotle's original syllogistic and the relationship obtaining between them. These systems are Corcoran's natural deduction syllogistic and Lukasiewicz's axiomatization of the syllogistic. We show that by translating the former into a first-order theory, which we call TRD, we can establish a precise relationship between the two systems. We prove within the framework of first-order logic a number of logical properties about TRD that bear upon the same properties of the natural deduction counterpart - that is, Corcoran's system. Moreover, the first-order logic framework that we work with allows us to understand how complicated the semantics of the syllogistic is in providing us with examples of bizarre, unexpected interpretations of the syllogistic rules. Finally, we provide a first attempt at finding the structure of that semantics, reducing the search to the characterization of the class of models of TRD.
dc.languageeng
dc.relationHistory and Philosophy of Logic, ISSN:1445340, Vol.29, No.4 (2008); pp. 309-325
dc.relationhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-55449104129&doi=10.1080%2f01445340801976516&partnerID=40&md5=f6c8c4d28c7989b2b1304db8101ff30f
dc.relation325
dc.relationNo. 4
dc.relation309
dc.relationHistory and Philosophy of Logic
dc.relationVol. 29
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsAbierto (Texto Completo)
dc.sourceinstname:Universidad del Rosario
dc.sourcereponame:Repositorio Institucional EdocUR
dc.titleEstablishing connections between Aristotle's natural deduction and first-order logic
dc.typearticle


Este ítem pertenece a la siguiente institución