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...
Saved in:
| Published in | History and philosophy of logic Vol. 44; no. 3; pp. 327 - 336 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | English |
| Published |
Taylor & Francis
03.07.2023
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 0144-5340 1464-5149 |
| DOI | 10.1080/01445340.2022.2137334 |
Cover
| 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. |
|---|---|
| AbstractList | 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. |
| Author | Paśniczek, Jacek |
| Author_xml | – sequence: 1 givenname: Jacek orcidid: 0000-0002-1778-7167 surname: Paśniczek fullname: Paśniczek, Jacek email: jpasnicz@bacon.umcs.lublin.pl organization: Maria-Curie Skłodowska University |
| BookMark | eNp9j1tKAzEYhYNUsK0uQZgNTP1zm5m-KcUbVOqDPoc0-VOj00SSkTJrcT3uyw6trz4dOJzvwDchoxADEnJJYUahgSugQkguYMaAsRmjvOZcnJAxFZUoJRXzERkPm3IYnZFJzu8AsEfkmMgl_nwHj7v84XUoVqGLbdz0xc53b8WTDn2p0-Zri6ErnhNab3TnYzgnp063GS-OOSWvd7cvi4dyubp_XNwsS8Nk05V67SrBJTDH7FzUaKi2skFpKgDL1pLVllGHNTaNrgwKuu8kUqjrytq5Y3xK5OHXpJhzQqc-k9_q1CsKanBXf-5qcFdH9z13feB8cDFt9S6m1qpO921MLulgfFb8_4tfg8disw |
| Cites_doi | 10.1007/978-94-009-6089-3_6 10.1007/BF02067248 10.1080/01445340110113381 10.1080/01445348208837038 10.1007/978-94-009-6089-3_7 10.1007/978-3-319-00482-2 |
| ContentType | Journal Article |
| Copyright | 2023 Informa UK Limited, trading as Taylor & Francis Group 2023 |
| Copyright_xml | – notice: 2023 Informa UK Limited, trading as Taylor & Francis Group 2023 |
| DBID | AAYXX CITATION |
| DOI | 10.1080/01445340.2022.2137334 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Philosophy |
| EISSN | 1464-5149 |
| EndPage | 336 |
| ExternalDocumentID | 10_1080_01445340_2022_2137334 2137334 |
| Genre | Research Article |
| GroupedDBID | -~X .7I .QK 0BK 0R~ 29I 4.4 42P 5GY 5VS AACJB AAGDL AAGZJ AAHIA AAMFJ AAMIU AAPUL AATTQ AAZMC ABCCR ABCCY ABDBF ABFIM ABJNI ABLIJ ABPEM ABTAI ABUFD ABXUL ABXYU ABZLS ACGEJ ACGFS ACJZB ACTIO ACTOA ACUHS ADAHI ADCVX ADKVQ ADMHG ADXPE AECIN AEFOU AEISY AEKEX AENEX AEOZL AEPSL AEYOC AEZRU AFRVT AGDLA AGMYJ AGRBW AHDZW AIJEM AIYEW AJWEG AKBVH ALMA_UNASSIGNED_HOLDINGS ALQZU AQTUD AVBZW AWYRJ BEJHT BLEHA BMOTO BOHLJ CCCUG CQ1 CS3 DGFLZ DKSSO DU5 EAP EBS EMK EPL ERP EST ESX E~B E~C G-F GTTXZ H13 HF~ HZ~ IPNFZ J.O KYCEM LJTGL M4Z NA5 NV0 O9- P2P RIG RNANH ROSJB RSYQP S-F STATR TASJS TBQAZ TDBHL TEA TFH TFL TFW TNTFI TRJHH TUROJ UT5 UT9 VAE ~01 ~45 ~S~ AAYXX CITATION |
| ID | FETCH-LOGICAL-c258t-abf643502f2d947ec1ad58e5c600d2b527d21fe7e88a6ce412b55e10776dd9f23 |
| ISSN | 0144-5340 |
| IngestDate | Wed Oct 01 02:49:51 EDT 2025 Mon Oct 20 23:45:53 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c258t-abf643502f2d947ec1ad58e5c600d2b527d21fe7e88a6ce412b55e10776dd9f23 |
| ORCID | 0000-0002-1778-7167 |
| PageCount | 10 |
| ParticipantIDs | informaworld_taylorfrancis_310_1080_01445340_2022_2137334 crossref_primary_10_1080_01445340_2022_2137334 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2023-07-03 |
| PublicationDateYYYYMMDD | 2023-07-03 |
| PublicationDate_xml | – month: 07 year: 2023 text: 2023-07-03 day: 03 |
| PublicationDecade | 2020 |
| PublicationTitle | History and philosophy of logic |
| PublicationYear | 2023 |
| Publisher | Taylor & Francis |
| Publisher_xml | – name: Taylor & Francis |
| References | Canty J. (CIT0001) 1984 Stachniak Z. (CIT0010) 1981 Kearns J. T. (CIT0005) 1967 CIT0011 CIT0003 CIT0002 Lejewski C. (CIT0006) 1958; 1 Lushei E. (CIT0007) 1962 CIT0009 Iwanuś B. (CIT0004) 1984 CIT0008 |
| References_xml | – volume-title: Logical Systems of Leśniewski year: 1962 ident: CIT0007 – start-page: 149 volume-title: Leśniewski’s systems. Ontology and Mereology year: 1984 ident: CIT0001 doi: 10.1007/978-94-009-6089-3_6 – ident: CIT0003 doi: 10.1007/BF02067248 – ident: CIT0002 doi: 10.1080/01445340110113381 – ident: CIT0008 doi: 10.1080/01445348208837038 – start-page: 61 issue: 1 year: 1967 ident: CIT0005 publication-title: Notre Dame Journal of Formal Logic – ident: CIT0009 – volume-title: Introduction to Model Theory for Leśniewski’s Ontology year: 1981 ident: CIT0010 – start-page: 165 volume-title: Leśniewski’s systems. Ontology and Mereology year: 1984 ident: CIT0004 doi: 10.1007/978-94-009-6089-3_7 – volume: 1 start-page: 150 year: 1958 ident: CIT0006 publication-title: Ratio – ident: CIT0011 doi: 10.1007/978-3-319-00482-2 |
| SSID | ssj0004535 |
| Score | 2.253029 |
| Snippet | 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... |
| SourceID | crossref informaworld |
| SourceType | Index Database Publisher |
| StartPage | 327 |
| SubjectTerms | Boolean algebra Leśniewski's Ontology many-arguments predication one-argument predication second-order logic |
| Title | Leśniewskian Ontology with Many-argument Predication |
| URI | https://www.tandfonline.com/doi/abs/10.1080/01445340.2022.2137334 |
| Volume | 44 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVEBS databaseName: EBSCOhost Academic Search Ultimate customDbUrl: https://search.ebscohost.com/login.aspx?authtype=ip,shib&custid=s3936755&profile=ehost&defaultdb=asn eissn: 1464-5149 dateEnd: 20241103 omitProxy: true ssIdentifier: ssj0004535 issn: 0144-5340 databaseCode: ABDBF dateStart: 19990101 isFulltext: true titleUrlDefault: https://search.ebscohost.com/direct.asp?db=asn providerName: EBSCOhost – providerCode: PRVLSH databaseName: aylor and Francis Online customDbUrl: mediaType: online eissn: 1464-5149 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0004535 issn: 0144-5340 databaseCode: AHDZW dateStart: 19970101 isFulltext: true providerName: Library Specific Holdings – providerCode: PRVAWR databaseName: Taylor & Francis Social Science and Humanities Library - DRAA customDbUrl: eissn: 1464-5149 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0004535 issn: 0144-5340 databaseCode: TRJHH dateStart: 19970101 isFulltext: true titleUrlDefault: http://www.tandfonline.com/ providerName: Taylor & Francis |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NTtwwELboctlLVQoIKK1ygGOi9V-cHIFSrSr-DotY9RIlzrgHpIBW4cKr8Dx9r45jOyQCVW25RJEjx9F848nY4_mGkAP8pddKgoqVjQ8KZXRcGabiSs9KUVIA1pVkOb9I59fi-1IuQ3l3n13SVol-fDWv5H9QxTbE1WbJ_gOy_UuxAe8RX7wiwnj9K4zP4PBEHubHjSUUvbVT9bJpHalSt796jjM9Llc_H7qI_9WqC8r0SHiX1BGFOBqm-1DYoIu7d2bxOcYUxtKPcOsO2GrP9Ot3DRjvTpjyHufFiwIeoz1GEUvuWJQScHZRpNhGHbtoMJyOuNErCB9YQe7S_f0PlTuGkxe22h9uxNHsYLhUZyxhlCvudzfHNNj-yTuyztB-zyZk_Wj-9cfNgBme--Oq7uNDtpblUX9tiJEfMmKpHfgXiw_kvV8YREcO5Q2yBs1HMr3qAdkk8gx-PfVQRwHqyEIdjaCOBlBvketvp4uTeeyrXsSayayNy8qglyhnzLA6Fwo0LWuZgdTomtaskkzVjBpQkGVlqkFQbJNALS1TXeeG8W0yae4a2CFRqme01jj_BBeCp7rimUlzCZkyuEplepckQQbFvSM3KWjgjPVCK6zQCi-0XZIPJVW0nRoZp0EF_2PfvTf0_USmz0q8Tybt6gE-ozPYVl-8HvwG8RFXdA |
| linkProvider | Library Specific Holdings |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3JTsMwEB1Be4ALO6KsOXB1aLzEyREhqlDaUqFW6i1KvHCoFFCVHsqv8D38F3YWKUWCS6-RJkpmxp7F4_cAbk1Il5wpjrg9H6RcC5RqzFEquglNPKVwQckyHPnRlPZnbNa4C2PHKm0NrUugiGKvtovbNqPrkbg7WwUwQrumvMPYxR7hhNBtaDOTjJgCrD157UdRAzOcVIOMFFmp-h7PXy9ai1Br-KWNyNPbB1F_czlwMneXeeqKz19wjpv91AHsVYmpc1960iFsqewIdsc108HqGNhAfX9lFrt0bnzKeckK6tuVY1u5ztBsKihZvC1tt9EZL4rzH2v0E5j2HicPEapYF5DALMhRkmqTpbAu1liGlCvhJZIFigmTGkmcMswl9rTiKggSXyjqmWdMeRYWSMpQY3IKrew9U2fg-KLrSWHsTwmlxBcpCbQfMhVwbaokLDrg1pqOP0pwjdirMUsrdcRWHXGljg6ETXvEedHV0CUFSUz-lT3fQPYGdqLJcBAPnkbPF7BrKeeLkV1yCa18sVRXJjHJ0-vK834AJtfV1g |
| linkToPdf | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8NAEB60BfHiW6zPHLxuTPaRTY6illrbWqQFbyHZh4dCLDU91L_i7_F_uZsHtIJeeg1MSGYmO68v3wBcm5AuOVMccTsfpFwLlGrMUSq8hCa-UrhYydIfBJ0x7b6yGk34UcEqbQ2tS6KI4qy2H_dU6hoRd2OLAEaoZ6o7jF3sE04I3YRmYIcKDWiOXrqdzhJlOKlwjBRZqfo3nr9utBKgVuhLlwJPexfS-pFLvMnEneepKz5_sTmu9U57sFOlpc5t6Uf7sKGyA9ge1nsOFofAeur7K7PMpRPjUc5zViy-XTi2kev0zZGCktnb3PYaneGsmP5Ykx_BuP0wuuugaucCEpiFOUpSbXIU5mGNZUS5En4iWaiYMImRxCnDXGJfK67CMAmEor65xpRvSYGkjDQmx9DI3jN1Ak4gPF8KY31KKCWBSEmog4ipkGtTI2HRArdWdDwtqTViv2YsrdQRW3XElTpaEC2bI86LnoYuF5DE5F_Z0zVkr2BreN-Oe4-DpzPYtvvmC7wuOYdGPpurC5OV5Oll5Xc_n_TUeg |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Le%C5%9Bniewskian+Ontology+with+Many-argument+Predication&rft.jtitle=History+and+philosophy+of+logic&rft.au=Pa%C5%9Bniczek%2C+Jacek&rft.date=2023-07-03&rft.pub=Taylor+%26+Francis&rft.issn=0144-5340&rft.eissn=1464-5149&rft.volume=44&rft.issue=3&rft.spage=327&rft.epage=336&rft_id=info:doi/10.1080%2F01445340.2022.2137334&rft.externalDocID=2137334 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0144-5340&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0144-5340&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0144-5340&client=summon |