Przejdź do sekcji głównej Przejdź do głównego menu Przejdź do stopki
  • Zarejestruj
  • Zaloguj
  • Język
    • English
    • Język Polski
  • Menu
  • Strona domowa
  • Aktualny numer
  • Archiwum
  • Prace online
  • O czasopiśmie
    • O czasopiśmie
    • Przesyłanie tekstów
    • Zespół redakcyjny
    • Rada redakcyjna
    • Proces recenzji
    • Komitet Logic and Logical Philosophy
    • Polityka Open Access
    • Polityka prywatności
    • Kontakt
  • Zarejestruj
  • Zaloguj
  • Język:
  • English
  • Język Polski

Logic and Logical Philosophy

Decidability of mereological theories
  • Strona domowa
  • /
  • Decidability of mereological theories
  1. Strona domowa /
  2. Archiwum /
  3. Tom 18 Nr 1 (2009) /
  4. Artykuły

Decidability of mereological theories

Autor

  • Hsing-chien Tsai Department of Logic, Nicolaus Copernicus University

DOI:

https://doi.org/10.12775/LLP.2009.004

Słowa kluczowe

mereology, mereological theories, part-whole relation, decidability, undecidability

Abstrakt

Mereological theories are theories based on a binary predicate ‘being a part of’. It is believed that such a predicate must at least define a partial ordering. A mereological theory can be obtained by adding on top of the basic axioms of partial orderings some of the other axioms posited based on pertinent philosophical insights. Though mereological theories have aroused quite a few philosophers’ interest recently, not much has been said about their meta-logical properties. In this paper, I will look into whether those theories are decidable or not. Besides, since theories of Boolean algebras are in some sense upper bounds of mereological theories which can be found in the literature, I shall also make some observations about the possibility of getting mereological theories beyond Boolean algebras.

Biogram autora

Hsing-chien Tsai - Department of Logic, Nicolaus Copernicus University

Department of Philosophy

Bibliografia

Casati, R., and A.C. Varzi, 1999, Parts and Places, The MIT Press.

Clay, R.E., 1974, “Relation of Leśniewski’s mereology to Boolean algebras”, Journal of Symbolic Logic 39: 638–648.

Enderton, H.B., 1972, A Mathematical Introduction to Logic, Academic Press, San Diego.

Grzegorczyk, A., 1955, “The systems of Leśniewski in relation to contemporary logical research”, Studia Logica 3: 77–97.

Koppelberg, S., 1989, Handbook of Boolean Algebras, vol. 1, North-Holland, Amsterdam.

Leśniewski, S., 1992, “Foundations of the general theory of sets I”, trans. By D.I. Barnett, in: S. Leśniewski, Collected Works, vol. 1, Kluwer, Dordrecht.

Monk, J.D., 1976, Mathematical Logic, Springer-Verlag, New York.

Pietruszczak, A., 2005, “Pieces of Mereology”, Logic and Logical Philosophy 14: 211–234.

Shoenfield, J.R., 1967, Mathematical Logic, Addison-Wesley, London.

Simons, P., 1987, Parts: A Study in Ontology, Clarendon Press, Oxford.

Tarski, A., 1956, “On the foundations of Boolean algebra”, in: Logic, Semantics, Metamathematics, Oxford University Press, Oxford.

van Inwagen, P., 1990, Material Beings, Cornell University Press, Ithaca.

Logic and Logical Philosophy

Pobrania

  • PDF (English)

Opublikowane

15.08.2009

Jak cytować

1.
TSAI, Hsing-chien. Decidability of mereological theories. Logic and Logical Philosophy [online]. 15 sierpień 2009, T. 18, nr 1, s. 45–63. [udostępniono 2.7.2025]. DOI 10.12775/LLP.2009.004.
  • PN-ISO 690 (Polski)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Pobierz cytowania
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Numer

Tom 18 Nr 1 (2009)

Dział

Artykuły

Statystyki

Liczba wyświetleń i pobrań: 757
Liczba cytowań: 0

Crossref
Scopus
Google Scholar
Europe PMC

Wyszukiwanie

Wyszukiwanie

Przeglądaj

  • Indeks autorów
  • Lista archiwalnych numerów

Użytkownik

Użytkownik

Aktualny numer

  • Logo Atom
  • Logo RSS2
  • Logo RSS1

Informacje

  • dla czytelników
  • dla autorów
  • dla bibliotekarzy

Newsletter

Zapisz się Wypisz się

Język / Language

  • English
  • Język Polski

Tagi

Szukaj przy pomocy tagu:

mereology, mereological theories, part-whole relation, decidability, undecidability
W górę

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partnerzy platformy czasopism

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Uniwersytet Mikołaja Kopernika w Toruniu Deklaracja dostępności Sklep wydawnictwa