Mereologia
Mereologia jest jednym z trzech systemów Leśniewskiego, obok prototetyki i ontologii. Została stworzona w celu rozwiązania problemów antynomii w teorii mnogości oraz wyrażenia nominalistycznych intuicji Leśniewskiego. Teoria ta koncentruje się na relacji części do całości oraz na zbiorach w sensie kolektywnym.
W mereologii zbiór definiuje się jako całość składającą się z poszczególnych elementów. Przykładem może być dom zbudowany z cegieł lub kupa piasku z ziarenek piasku. W tym kontekście, zbiór jako całość jest rozumiany jako suma swoich elementów.
Historia
Okoliczności powstania mereologii są opisane przez Kotarbińskiego. Kluczowe aksjomaty mereologii obejmują:
- Jeżeli P jest częścią Q, to Q nie może być częścią P.
- Jeżeli P jest częścią Q, a Q jest częścią R, to P jest częścią R.
- Jeżeli każdy przedmiot a jest albo tym samym przedmiotem co P, albo jego częścią, to w odniesieniu do Q i R można stwierdzić, że P jest Q.
- Jeżeli pewien przedmiot jest a, to istnieje pewne P, które spełnia określone warunki.
Definicje związane z ingrediensem i klasą obejmują:
- P jest ingrediensem Q wtedy, gdy są to te same przedmioty lub P jest częścią Q.
- P jest klasą przedmiotów a wtedy, gdy jest przedmiotem oraz spełnia odpowiednie warunki dotyczące ingrediensów.
Linki zewnętrzne
- [https://www.rep.routledge.com/articles/thematic/mereology/v-1 Mereology], Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-10].
Kategoria: Ontologia
Kategoria: Logika matematyczna
