David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : Eine Rekonstruktion / / Philipp Werner |
Autore | Werner Philipp |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Berlin ; ; Boston : , : De Gruyter, , [2015] |
Descrizione fisica | 1 online resource (152 p.) |
Disciplina | 191 |
Collana | Logos |
Soggetto topico |
Whole and parts (Philosophy)
Set theory |
Soggetto non controllato |
Mereology
interpretability nominalism set theory |
ISBN | 1-61451-703-7 |
Classificazione | CI 6436 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Frontmatter -- Vorwort -- Inhalt -- 1 Einleitung -- 2 Die mereologische Sprache -- 3 Die Mereologie M -- 4 Mereologische Begriffe erster Stufe -- 5 Gunk-Neutralität -- 6 Die Fusionsfunktion -- 7 Mereologische Begriffe zweiter Stufe -- 8 Das Axiom φ B -- 9 M+ φ B interpretiert parametrisiert OPN -- 10 Das Axiom φ L -- 11 M + φ L interpretiert parametrisiert ZFC -- 12 Schluss -- Appendix -- Literatur -- Symbolverzeichnis -- Personenverzeichnis -- Stichwortverzeichnis |
Record Nr. | UNISA-996234846503316 |
Werner Philipp | ||
Berlin ; ; Boston : , : De Gruyter, , [2015] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of the Theory of Parthood : A Study of Mereology / Andrzej Pietruszczak ; Translated by Matthew Carmody |
Autore | Pietruszczak, Andrzej |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xxiii, 285 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Bounded axioms of mereological sum
Existentially neutral theories of parthood Foundations of Mereology Grzegorczyk lattices Grzegorczyk mereology Leśniewski mereology Mereological Sum Existence Axioms Mereological fusion Mereological sum Mereology Mereology and Boolean algebras Non-transitive theories of parthood Supplementation principles in mereology Transitivity of Parthood Weak Systems of Mereology |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249176 |
Pietruszczak, Andrzej | ||
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of the Theory of Parthood : A Study of Mereology / Andrzej Pietruszczak ; Translated by Matthew Carmody |
Autore | Pietruszczak, Andrzej |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xxiii, 285 p. : ill. ; 24 cm |
Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] |
Soggetto non controllato |
Bounded axioms of mereological sum
Existentially neutral theories of parthood Foundations of Mereology Grzegorczyk lattices Grzegorczyk mereology Leśniewski mereology Mereological Sum Existence Axioms Mereological fusion Mereological sum Mereology Mereology and Boolean algebras Non-transitive theories of parthood Supplementation principles in mereology Transitivity of Parthood Weak Systems of Mereology |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00249176 |
Pietruszczak, Andrzej | ||
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|