具有多论证谓词的勒希涅夫斯基本体论

IF 0.5 3区哲学 Q3 HISTORY & PHILOSOPHY OF SCIENCE

History and Philosophy of Logic Pub Date : 2023-01-30 DOI:10.1080/01445340.2022.2137334

J. Paśniczek

{"title":"具有多论证谓词的勒希涅夫斯基本体论","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":55053,"journal":{"name":"History and Philosophy of Logic","volume":"44 1","pages":"327 - 336"},"PeriodicalIF":0.5000,"publicationDate":"2023-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"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\":55053,\"journal\":{\"name\":\"History and Philosophy of Logic\",\"volume\":\"44 1\",\"pages\":\"327 - 336\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2023-01-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"History and Philosophy of Logic\",\"FirstCategoryId\":\"98\",\"ListUrlMain\":\"https://doi.org/10.1080/01445340.2022.2137334\",\"RegionNum\":3,\"RegionCategory\":\"哲学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"HISTORY & PHILOSOPHY OF SCIENCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"History and Philosophy of Logic","FirstCategoryId":"98","ListUrlMain":"https://doi.org/10.1080/01445340.2022.2137334","RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"HISTORY & PHILOSOPHY OF SCIENCE","Score":null,"Total":0}

引用次数: 0

摘要

摘要Leśniewskian本体论（LO）是一个系统，其中基本主谓公式采用a b的形式，并表示一个自变量的预测，例如John是一名学生。在LO的语言中，没有给出允许结构表达的许多论证形式的谓词，例如，句子John is Anne的儿子。在这篇文章中，LO的一个简单而自然的扩展被建议包含许多自变量预测。这样得到的系统对应于多元二阶逻辑。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Leśniewskian Ontology with Many-argument Predication

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

History and Philosophy of Logic 综合性期刊-科学史与科学哲学

CiteScore

0.80

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： History and Philosophy of Logic contains articles, notes and book reviews dealing with the history and philosophy of logic. ’Logic’ is understood to be any volume of knowledge which was regarded as logic at the time in question. ’History’ refers back to ancient times and also to work in this century; however, the Editor will not accept articles, including review articles, on very recent work on a topic. ’Philosophy’ refers to broad and general questions: specialist articles which are now classed as ’philosophical logic’ will not be published. The Editor will consider articles on the relationship between logic and other branches of knowledge, but the component of logic must be substantial. Topics with no temporal specification are to be interpreted both historically and philosophically. Each topic includes its own metalogic where appropriate.