Mereologie
În filozofie, mereologia ( compoziția grecească μερος, meros , „parte” și -λογία, logie , „discurs”, „studiu”, „teorie” [1] ) este unul dintre „așa-numitele” sisteme ale Leśniewski „ [2] , adică este teoria , sau știința [2] , a relațiilor parte-întreg [3] ; prezentată de Achille Varzi ca teoria „relațiilor părții la întreg și de la parte la parte cu un întreg” [4] (sau „teoria părților și întregului” [5] ), de Hilary Putnam ca „” calculul părților și al întregilor "" [6] și de Claudio Calosi ca „teoria formală a părților și a relațiilor de părți” [7] . Pentru Maurizio Ferraris acest parte- întreaga relație poate fi între obiecte din beton, regiunile spațiu-timp , procese (piese temporale), evenimente și obiecte abstracte. [8]
Istorie
Stanisław Leśniewski a creat termenul de meraologie în 1927 [4] pentru a denumi teoria (care i s-a prezentat printr-un raționament de Husserl [6] ) a relațiilor dintre părți și întreg începând de la diferențiere - al cărei scop principal era „evitarea " Antinomia lui Russell [2] - între interpretarea distributivă (un obiect ca element al unei clase) și interpretarea colectivă (un obiect ca parte a unui întreg ) a simbolurilor clasei. Leśniewski a elaborat apoi teoria într-un sistem axiomatic deductiv în cadrul căruia să exprime calculul propozițional și calculul claselor [3] .
Sistemele de Leśniewski
Deși cronologic primul dintre sistemele lui Leśniewski, mereologia conține celelalte două:
- prototetics (știința din cele mai originale, teze fundamentale .. de „prototesis“) , care este o logica propozitiilor cu echivalență ca termenul numai primitiv, propunerea ca fundamentală categorie (cuantificare pentru admiterea propuneri și functori din orice categorie), o singură axiomă , precum și regulile de separare, substituire, definire , separare a cuantificatorilor și extensionalitate .
- ontologia așa numită datorită prezenței functorului indicat cu ε „luat în sensul său existențial” (nu indică apartenența setată), derivă din prototetică și se mai numește „calculul numelor” din categoria numelor.
Cu mereologia există o definiție diferită a întregului . Nu este definit distributiv, ci colectiv (merologic): întregul este o totalitate concretă de elemente, un agregat și, prin urmare, un obiect fizic compus din părți, care este numai dacă și atât timp cât sunt (a se vedea dependența ontologică [8] ). Acest lucru are ca rezultat diferite diferențe față de teoria „normală” a mulțimilor, inclusiv faptul că în merologie este „prost” să admitem existența unui set gol ; atunci seturile unui singur element sunt acest element și proprietatea , singurul termen primitiv al merologiei, de „a fi un element” este tranzitiv și antisimetric și reflexiv . [2] [9]
Axiome
Axiomele de bază ale merologiei sunt principiul reflexivității noțiunii de parte (R p ), principiul asimetriei noțiunii de parte proprie (aS pp ) și principiul tranzitivității noțiunii de parte (T p ).
- (R p ) pentru fiecare x , P xx ("P" este un simbol al relației de a fi parte, de exemplu cu P xy se pare că această relație este prezentă între x și y )
- (aS pp ) pentru fiecare x și y distinct, nu se întâmplă ca atât P xy cât și P yx
- (T p ) pentru toate x , y și z , dacă P xy și P yz atunci P xz [9]
Notă
- ^ -Logia , în Treccani.it - Vocabularul Treccani online , Institutul Enciclopediei Italiene. Accesat la 2 iunie 2014 .
- ^ a b c d Francesco Coniglione
- ^ a b Leśniewski, Stanisław , în Treccani.it - Enciclopedii online , Institutul Enciclopediei Italiene.
- ^ a b Achille Varzi
- ^ Achille Varzi, Ontologie și metafizică ( PDF ), în Franca D'Agostini și Nicla Vassallo (editat de), Istoria filozofiei analitice , Torino , Einaudi , 2002, p. 41 [din pdf], ISBN 9788806162665 . Adus 02-06-2014 .
- ^ a b Hilary Putnam
- ^ Claudio Calosi
- ^ a b Maurizio Ferraris
- ^ a b Giuliano Torrengo
Bibliografie
- ( EN ) Achille Varzi, Mereology , în The Stanford Encyclopedia of Philosophy , primăvara anului 2014, Stanford , Edward N. Zalta, 2014, ISSN 1095-5054 . Adus 02/06/2014 .
- Claudio Calosi, Mereologie , în APhEx (Explicație analitică și filozofică) , n. 3, ianuarie 2011, ISSN 2036-9972 . Adus 02-06-2014 .
- Hilary Putnam, Lecția 2 - În apărarea relativității conceptuale. , în Etică fără ontologie , tr. aceasta. de Eddy Carli, prefață de Luigi Perissinotto, Milano, Paravia Bruno Mondadori Editori , 2005 [2004] , pp. 52 și următoarele, ISBN 9788842492863 , SBN IT \ ICCU \ RAV \ 1388829 . Adus 02/06/2014 .
- Francesco Coniglione, 2.2.8. Contribuții în domeniul logicii , în În semnul științei: filosofia poloneză a secolului al XX-lea , Milano, FrancoAngeli , 1996, p. 182, ISBN 9788820473976 , SBN IT \ ICCU \ MIL \ 0278584 . Adus 02/06/2014 .
- Giuliano Torrengo , 2.6.5. Part-whole , în Maurizio Ferraris (editat de), History of ontology , Milan, Bompiani , 2008, pp. LXXXII și următoarele, ISBN 9788858700075 , SBN IT \ ICCU \ LO1 \ 1210985 . Adus 02/06/2014 .
- Maurizio Ferraris, Glosar , în Ontologie , Napoli , Ghid , 2003, pp. 163-164, ISBN 9788871886633 , SBN IT \ ICCU \ MOD \ 0809275 . Adus 03-06-2014 .
Elemente conexe
linkuri externe
- ( EN ) Achille Varzi, Spatial reasoning and ontology: parts, wholes, and locations ( PDF ), în M. Aiello, I. Pratt-Hartmann și J. van Benthem (ed.), Handbook of Spatial Logics , Berlin , Springer -Verlag , 2007, pp. 945-1038, ISBN 978-1402055867 . Adus 02-06-2014 .
- Achille Varzi, Ontologie ( PDF ), în SWIF - Ediții digitale de filosofie , volumul suplimentar 2, Roma , Universitatea din Bari , 2005, ISSN 1126-4780 . Adus 03-06-2014 (arhivat din original la 31 iulie 2013) .
- Francesca Bosco, The Fundierung in Husserl's Third Logical Research , în Dialegesthai , Roma , 20/12/2009, ISSN 1128-5478 . Adus 02/06/2014 .