Establishing connections between Aristotle's natural deduction and first-order logic

Edgar José Andrade, Edward Samuel Becerra

Resultado de la investigación: Contribución a RevistaArtículo

3 Citas (Scopus)

Resumen

This 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.
Idioma originalEnglish (US)
Páginas (desde-hasta)309-325
Número de páginas17
PublicaciónHistory and Philosophy of Logic
DOI
EstadoPublished - nov 1 2008

Huella dactilar

Natural Deduction
First-order Logic
Aristotle
Syllogistic
Axiomatization
Translating
Logic

Citar esto

@article{465fb92c38cd4995b52f9bf1730e536e,
title = "Establishing connections between Aristotle's natural deduction and first-order logic",
abstract = "This 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.",
author = "Andrade, {Edgar Jos{\'e}} and Becerra, {Edward Samuel}",
year = "2008",
month = "11",
day = "1",
doi = "10.1080/01445340801976516",
language = "English (US)",
pages = "309--325",
journal = "History and Philosophy of Logic",
issn = "0144-5340",
publisher = "Taylor and Francis Ltd.",

}

Establishing connections between Aristotle's natural deduction and first-order logic. / Andrade, Edgar José; Becerra, Edward Samuel.

En: History and Philosophy of Logic, 01.11.2008, p. 309-325.

Resultado de la investigación: Contribución a RevistaArtículo

TY - JOUR

T1 - Establishing connections between Aristotle's natural deduction and first-order logic

AU - Andrade, Edgar José

AU - Becerra, Edward Samuel

PY - 2008/11/1

Y1 - 2008/11/1

N2 - This 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.

AB - This 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.

U2 - 10.1080/01445340801976516

DO - 10.1080/01445340801976516

M3 - Article

SP - 309

EP - 325

JO - History and Philosophy of Logic

JF - History and Philosophy of Logic

SN - 0144-5340

ER -