W książce tej nie tylko chcemy przedstawić mereologię, lecz również pragniemy zająć się jej kompleksowym badaniem. Stąd tytuł książki - Metamereologia.
W rozdziale I zatytułowanym "Wprowadzenie w zagadnienia mereologii" przedstawiamy filozoficzne problemy związane z pojęciami bycia częścią całości oraz bycia zbiorem (zbiory kolektywne a zbiory dystrybutywne). W § l tego rozdziału omawiamy podstawowe własności relacji bycia częścią (właściwą) oraz relacji bycia ingrediensem (tj. częścią całości lub całością). W § 2 piszemy o dwóch znaczeniach terminów 'zbiór' i 'element zbioru'. Kolejny paragraf poświęcony jest logicznym podstawom teorii mnogości. W § 4 prezentujemy Leśniewskiego koncepcję klas (zbiorów) i ich elementów. Jego poglądy porównujemy z poglądami Cantora, Fregego, Whiteheada i Russella. Aby lepiej zrozumieć samą teorię Leśniewskiego przedstawiamy w § 5 zarys jego logiki. Logikę Leśniewskiego porównujemy, z jednej strony, z klasycznym rachunkiem kwantyfikatorów, a z drugiej strony, z tzw. logiką wolną. To porównanie pozwoli nam przedstawić zarys mereologii Leśniewskiego, jako teorii pewnych schematów, opartej na klasycznym rachunku kwantyfikatorów (§6). Ostatni paragraf rozdziału I jest w prowadzeniem do metrologii traktowanej jako teoria pewnych teoriomnogościowych struktur relacyjnych.
- Autor: Andrzej Pietruszczak
- Kategoria: informatyka, matematyka
- Język: polski
- ISBN: 8323112029
- Data wydania: 2000-01-01
- Liczba stron: 235
- Ocena: 0,0
- Wydawnictwo: Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
