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

Classical mereology is not elementarily axiomatizable
  • Strona domowa
  • /
  • Classical mereology is not elementarily axiomatizable
  1. Strona domowa /
  2. Archiwum /
  3. Tom 24 Nr 4 (2015): December /
  4. Artykuły

Classical mereology is not elementarily axiomatizable

Autor

  • Andrzej Pietruszczak Nicolaus Copernicus University, Department of Logic http://orcid.org/0000-0001-9133-5081

DOI:

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

Słowa kluczowe

classical mereology, mereological structures, the absence of elementary definability of classical mereology

Abstrakt

By the classical mereology I mean a theory of mereological structures in the sense of [10]. In [7] I proved that the class of these structures is not elementarily axiomatizable. In this paper a new version of this result is presented, which according to my knowledge is the first such presentation in English. A relation of this result to a certain Hsing-chien Tsai’s theorem from [13] is emphasized.

Biogram autora

Andrzej Pietruszczak - Nicolaus Copernicus University, Department of Logic

Department of Logic

Bibliografia

Koppelberg, S., “Elementary arithmetic”, Chapter 1 in Handbook of Boolean Algebras. Vol. 1, J.D. Monk (ed.), North-Holland: Amsterdam, New York, Oxford, Tokyo, 1989.

Koppelberg, S., “Metamathematics” , Chapter 7 in Handbook of Boolean Algebras. Vol. 1, J.D.Monk (ed.), North-Holland: Amsterdam, New York, Oxford, Tokyo, 1989.

Leonard, H. S., and N. Goodman, “The calculus of individuals and its uses”, Journal of Symbolic Logic, 5 (1940): 45–55. DOI: 10.2307/2266169

Leśniewski, S., “O podstawach matematyki. Rozdział IV”, Przegląd Filozoficzny, XXXI (1928): 261–291. English version: “On the foundations of mathematics. Chapter IV”, pages 226–263 in Collected Works, S. J. Surma et al. (eds.), PWN and Kluwer Academic Publishers: Dordrecht, 1991.

Leśniewski, S., “O podstawach matematyki. Rozdziały VI–IX”, Przegląd Filozoficzny, XXXIII (1930): 77–105. English version: “On the foundations of mathematics. Chapters VI–IX”, pages 313–349 in Collected Works, S. J. Surma et al. (eds.), PWN and Kluwer Academic Publishers: Dordrecht, 1991.

Pietruszczak A., 2000, “Kawałki mereologii” (“Pieces of mereology”; In Polish), pages 357–374 in Logika & Filozofia Logiczna. FLFL 1996–1998, J. Perzanowski and A. Pietruszczak (eds.), Nicolaus Copernicus University Press: Toruń, 2000.

Pietruszczak A., Metamereologia (Metamereology; in Polish), Nicolaus Copernicus University Press: Toruń, 2000.

Pietruszczak A., “Pieces of mereology”, Logic and Logical Philosophy, 14 (2005): 211–234. DOI: 10.12775/LLP.2005.014

Pietruszczak A., Podstawy teorii części (Foundations of the theory of parts; in Polish), Nicolaus Copernicus University Scientific Publishing Hause: Toruń, 2013.

Tarski, A., “Les fondemements de la geometrie des corps”, pages 29–30 in Księga Pamiątkowa Pierwszego Zjazdu Matematycznego, Krakow, 1929. Eng. trans.: “Foundations of the geometry of solids”, pages 24–29 in Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Oxford University Press: Oxford, 1956.

Tarski, A., “Zur Grundlegund der Booleschen Algebra. I”, Fundamenta Mathematicae, 24: 177–198. Eng. trans.: “On the foundations of Boolean Algebra”, pages 320–341 in Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Oxford University Press: Oxford, 1956.

Tsai, H., “Decidability of General Extensional Mereology”, Studia Logica 101, 3 (2013): 619–636. DOI: 10.1007/s11225-012-9400-4

Tsai, H., “Notes on models of first-order mereological theories”, Logic and Logical Philosophy (published online: April 28, 2015). DOI: 10.12775/LLP.2005.009

Logic and Logical Philosophy

Pobrania

  • PDF (English)

Opublikowane

22.08.2015

Jak cytować

1.
PIETRUSZCZAK, Andrzej. Classical mereology is not elementarily axiomatizable. Logic and Logical Philosophy [online]. 22 sierpień 2015, T. 24, nr 4, s. 485–498. [udostępniono 8.7.2025]. DOI 10.12775/LLP.2015.017.
  • PN-ISO 690 (Polski)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Pobierz cytowania
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Numer

Tom 24 Nr 4 (2015): December

Dział

Artykuły

Statystyki

Liczba wyświetleń i pobrań: 574
Liczba cytowań: 6

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:

classical mereology, mereological structures, the absence of elementary definability of classical mereology
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