Leśniewskian Ontology with Many-argument Predication

Leśniewskian Ontology (LO) is a system in which the basic subject-predicate formula takes the form of a b and express one-argument predication, e.g. John is a student. In LO's language, there is no many-argument form of predication given that would allow for the structural expression of, for ex...

Full description

Saved in:
Bibliographic Details
Published inHistory and philosophy of logic Vol. 44; no. 3; pp. 327 - 336
Main Author Paśniczek, Jacek
Format Journal Article
LanguageEnglish
Published Taylor & Francis 03.07.2023
Subjects
Boolean algebra
Leśniewski's Ontology
many-arguments predication
one-argument predication
second-order logic
Online AccessGet full text
ISSN0144-5340
1464-5149
DOI10.1080/01445340.2022.2137334

Cover

More Information
Summary:Leśniewskian Ontology (LO) is a system in which the basic subject-predicate formula takes the form of a b and express one-argument predication, e.g. John is a student. In LO's language, there is no many-argument form of predication given that would allow for the structural expression of, for example, the sentence John is Anne's son. In this article, a simple and natural extension of LO is suggested to encompass many-argument predication. The system thus obtained corresponds to polyadic second-order logic.
ISSN:0144-5340
1464-5149
DOI:10.1080/01445340.2022.2137334