{"title":"Leśniewskian Ontology with Many-argument Predication","authors":"J. Paśniczek","doi":"10.1080/01445340.2022.2137334","DOIUrl":null,"url":null,"abstract":"ABSTRACT 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.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"98","ListUrlMain":"https://doi.org/10.1080/01445340.2022.2137334","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
ABSTRACT 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.
摘要Leśniewskian本体论(LO)是一个系统,其中基本主谓公式采用a b的形式,并表示一个自变量的预测,例如John是一名学生。在LO的语言中,没有给出允许结构表达的许多论证形式的谓词,例如,句子John is Anne的儿子。在这篇文章中,LO的一个简单而自然的扩展被建议包含许多自变量预测。这样得到的系统对应于多元二阶逻辑。