Aristotle' Relations: An Interpretation in Combinatory Logic
The usual modelling of the syllogisms of the Organon by a calculus of classes does not include relations. Aristotle may however have envisioned them in the first two books as the category of relatives, where he allowed them to compose with themselves. Composition is the main operation in combinatory...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | The usual modelling of the syllogisms of the Organon by a calculus of classes
does not include relations. Aristotle may however have envisioned them in the
first two books as the category of relatives, where he allowed them to compose
with themselves. Composition is the main operation in combinatory logic, which
therefore offers itself for a new kind of modelling. The resulting calculus
includes also composition of predicates by logical connectives. |
|---|---|
| DOI: | 10.48550/arxiv.2007.04252 |