On Tarski's Axiomatization of Mereology

It is shown how Tarski's 1929 axiomatization of mereology secures the reflexivity of the 'part of' relation. This is done with a fusion-abstraction principle that is constructively weaker than that of Tarski; and by means of constructive and relevant reasoning throughout. We place a p...

Full description

Saved in:
Bibliographic Details
Published in:Studia logica 2019-12, Vol.107 (6), p.1089-1102
Main Author: Tennant, Neil
Format: Article
Language:English
Subjects:
Computational Linguistics
Education
Logic
Mathematical Logic and Foundations
Philosophy
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites cdi_FETCH-LOGICAL-c270t-7a67ccef6f2a35b910c1b222ece77ddeff6fb6a7950fe2f999b9e435ccd2fbf53
container_end_page 1102
container_issue 6
container_start_page 1089
container_title Studia logica
container_volume 107
creator Tennant, Neil
description It is shown how Tarski's 1929 axiomatization of mereology secures the reflexivity of the 'part of' relation. This is done with a fusion-abstraction principle that is constructively weaker than that of Tarski; and by means of constructive and relevant reasoning throughout. We place a premium on complete formal rigor of proof. Every step of reasoning is an application of a primitive rule; and the natural deductions themselves can be checked effectively for formal correctness.
doi_str_mv 10.1007/s11225-018-9819-3
format article
fullrecord <record><control><sourceid>jstor_cross</sourceid><recordid>TN_cdi_crossref_primary_10_1007_s11225_018_9819_3</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><jstor_id>45238207</jstor_id><sourcerecordid>45238207</sourcerecordid><originalsourceid>FETCH-LOGICAL-c270t-7a67ccef6f2a35b910c1b222ece77ddeff6fb6a7950fe2f999b9e435ccd2fbf53</originalsourceid><addsrcrecordid>eNp9j8FOwzAMQCMEEmPwAdx6QTsFHGdpmuM0wUAa2mWcozRNppatQUmRGF9PpnLgxMGyZPvZfoTcMrhnAPIhMYYoKLCKqoopys_IhAmJtJIczskEgOciMnFJrlLqAABLpSZktumLrYnpvZ2lYvHVhoMZ2u8coS-CL15ddGEfdsdrcuHNPrmb3zwlb0-P2-UzXW9WL8vFmlqUMFBpSmmt86VHw0WtGFhWI6KzTsqmcT536tJIJcA79EqpWrk5F9Y26Gsv-JSwca-NIaXovP6I7cHEo2agT6Z6NNXZVJ9MNc8MjkzKs_3ORd2Fz9jnN_-F7kaoS0OIf68gz8BcIK8QJP8B9vdiOg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>On Tarski's Axiomatization of Mereology</title><source>JSTOR Archival Journals and Primary Sources Collection</source><source>Springer Link</source><creator>Tennant, Neil</creator><creatorcontrib>Tennant, Neil</creatorcontrib><description>It is shown how Tarski's 1929 axiomatization of mereology secures the reflexivity of the 'part of' relation. This is done with a fusion-abstraction principle that is constructively weaker than that of Tarski; and by means of constructive and relevant reasoning throughout. We place a premium on complete formal rigor of proof. Every step of reasoning is an application of a primitive rule; and the natural deductions themselves can be checked effectively for formal correctness.</description><identifier>ISSN: 0039-3215</identifier><identifier>EISSN: 1572-8730</identifier><identifier>DOI: 10.1007/s11225-018-9819-3</identifier><language>eng</language><publisher>Dordrecht: Springer</publisher><subject>Computational Linguistics ; Education ; Logic ; Mathematical Logic and Foundations ; Philosophy</subject><ispartof>Studia logica, 2019-12, Vol.107 (6), p.1089-1102</ispartof><rights>Springer Nature B.V. 2019</rights><rights>Springer Nature B.V. 2018</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c270t-7a67ccef6f2a35b910c1b222ece77ddeff6fb6a7950fe2f999b9e435ccd2fbf53</cites><orcidid>0000-0002-3523-2296</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.jstor.org/stable/pdf/45238207$$EPDF$$P50$$Gjstor$$H</linktopdf><linktohtml>$$Uhttps://www.jstor.org/stable/45238207$$EHTML$$P50$$Gjstor$$H</linktohtml><link.rule.ids>314,780,784,27924,27925,58238,58471</link.rule.ids></links><search><creatorcontrib>Tennant, Neil</creatorcontrib><title>On Tarski's Axiomatization of Mereology</title><title>Studia logica</title><addtitle>Stud Logica</addtitle><description>It is shown how Tarski's 1929 axiomatization of mereology secures the reflexivity of the 'part of' relation. This is done with a fusion-abstraction principle that is constructively weaker than that of Tarski; and by means of constructive and relevant reasoning throughout. We place a premium on complete formal rigor of proof. Every step of reasoning is an application of a primitive rule; and the natural deductions themselves can be checked effectively for formal correctness.</description><subject>Computational Linguistics</subject><subject>Education</subject><subject>Logic</subject><subject>Mathematical Logic and Foundations</subject><subject>Philosophy</subject><issn>0039-3215</issn><issn>1572-8730</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2019</creationdate><recordtype>article</recordtype><recordid>eNp9j8FOwzAMQCMEEmPwAdx6QTsFHGdpmuM0wUAa2mWcozRNppatQUmRGF9PpnLgxMGyZPvZfoTcMrhnAPIhMYYoKLCKqoopys_IhAmJtJIczskEgOciMnFJrlLqAABLpSZktumLrYnpvZ2lYvHVhoMZ2u8coS-CL15ddGEfdsdrcuHNPrmb3zwlb0-P2-UzXW9WL8vFmlqUMFBpSmmt86VHw0WtGFhWI6KzTsqmcT536tJIJcA79EqpWrk5F9Y26Gsv-JSwca-NIaXovP6I7cHEo2agT6Z6NNXZVJ9MNc8MjkzKs_3ORd2Fz9jnN_-F7kaoS0OIf68gz8BcIK8QJP8B9vdiOg</recordid><startdate>20191201</startdate><enddate>20191201</enddate><creator>Tennant, Neil</creator><general>Springer</general><general>Springer Netherlands</general><scope>AAYXX</scope><scope>CITATION</scope><orcidid>https://orcid.org/0000-0002-3523-2296</orcidid></search><sort><creationdate>20191201</creationdate><title>On Tarski's Axiomatization of Mereology</title><author>Tennant, Neil</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c270t-7a67ccef6f2a35b910c1b222ece77ddeff6fb6a7950fe2f999b9e435ccd2fbf53</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2019</creationdate><topic>Computational Linguistics</topic><topic>Education</topic><topic>Logic</topic><topic>Mathematical Logic and Foundations</topic><topic>Philosophy</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Tennant, Neil</creatorcontrib><collection>CrossRef</collection><jtitle>Studia logica</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Tennant, Neil</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>On Tarski's Axiomatization of Mereology</atitle><jtitle>Studia logica</jtitle><stitle>Stud Logica</stitle><date>2019-12-01</date><risdate>2019</risdate><volume>107</volume><issue>6</issue><spage>1089</spage><epage>1102</epage><pages>1089-1102</pages><issn>0039-3215</issn><eissn>1572-8730</eissn><abstract>It is shown how Tarski's 1929 axiomatization of mereology secures the reflexivity of the 'part of' relation. This is done with a fusion-abstraction principle that is constructively weaker than that of Tarski; and by means of constructive and relevant reasoning throughout. We place a premium on complete formal rigor of proof. Every step of reasoning is an application of a primitive rule; and the natural deductions themselves can be checked effectively for formal correctness.</abstract><cop>Dordrecht</cop><pub>Springer</pub><doi>10.1007/s11225-018-9819-3</doi><tpages>14</tpages><orcidid>https://orcid.org/0000-0002-3523-2296</orcidid></addata></record>
fulltext fulltext
identifier ISSN: 0039-3215
ispartof Studia logica, 2019-12, Vol.107 (6), p.1089-1102
issn 0039-3215
1572-8730
language eng
recordid cdi_crossref_primary_10_1007_s11225_018_9819_3
source JSTOR Archival Journals and Primary Sources Collection; Springer Link
subjects Computational Linguistics
Education
Logic
Mathematical Logic and Foundations
Philosophy
title On Tarski's Axiomatization of Mereology
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T16%3A50%3A58IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-jstor_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=On%20Tarski's%20Axiomatization%20of%20Mereology&rft.jtitle=Studia%20logica&rft.au=Tennant,%20Neil&rft.date=2019-12-01&rft.volume=107&rft.issue=6&rft.spage=1089&rft.epage=1102&rft.pages=1089-1102&rft.issn=0039-3215&rft.eissn=1572-8730&rft_id=info:doi/10.1007/s11225-018-9819-3&rft_dat=%3Cjstor_cross%3E45238207%3C/jstor_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c270t-7a67ccef6f2a35b910c1b222ece77ddeff6fb6a7950fe2f999b9e435ccd2fbf53%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_jstor_id=45238207&rfr_iscdi=true