Set-theoretic mereology
We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the natural axioms for ⊆-based mereology, which constitute a finitely axiomatizable,...
Asıl Yazarlar: | Hamkins, J, Kikuchi, M |
---|---|
Materyal Türü: | Journal article |
Baskı/Yayın Bilgisi: |
Uniwersytet Mikołaja Kopernika w Toruniu
2016
|
Benzer Materyaller
-
Boolean Mereology
Yazar:: Wu, Xinhe
Baskı/Yayın Bilgisi: (2022) -
Teletransportation, Replication and Mereology
Yazar:: A. V. Nekhaev
Baskı/Yayın Bilgisi: (2024-12-01) -
Philosophy of Chemistry and Mereology
Yazar:: Hediye Şule Aycan, ve diğerleri
Baskı/Yayın Bilgisi: (2016-12-01) -
From the History of Leśniewski’s Mereology
Yazar:: Pietruszczak Andrzej
Baskı/Yayın Bilgisi: (2024-04-01) -
Mereology is not a Guide to (In)conceivability
Yazar:: Mahmoud Morvarid
Baskı/Yayın Bilgisi: (2022-11-01)