Aristotle' Relations: An Interpretation in Combinatory Logic
From MaRDI portal
Publication:6344692
DOI10.1007/978-3-030-77657-2_5arXiv2007.04252MaRDI QIDQ6344692FDOQ6344692
Authors: Erwin Engeler 
Publication date: 6 July 2020
Abstract: 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.
Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30) Sociology (and profession) of mathematics (01A80) History of mathematical logic and foundations (03-03)
This page was built for publication: Aristotle' Relations: An Interpretation in Combinatory Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6344692)
