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!
Description
Summary: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.
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-018-9819-3