English
Polish
O stosowaniu narzędzi i struktur formalnych w filozofii. Ontologia formalna. Ontologia topologiczna
Abstrakt
Za Arystotelesem logika postrzegana jest jako narzędzie filozofii. Po blisko 2 i pół tysiąca lat dostrzegamy, że nie tylko logika, ale także różne formalne narzędzia i struktury są narzędziami namysłu filozoficznego – i również – naukowego. Zwolennikiem takiego postrzegania sprawy był Jan F. Drewnowski. Narzędzia, o których mówię w tytule, to różnego rodzaju techniki i reguły wypracowane w naukach formalnych. Zaliczyć do nich możemy np. regułę modus ponens czy technikę dowodu rozgałęzionego. Z kolei przez strukturę formalną rozumiem pewien obiekt formalny np. algebrę Boole’a albo przestrzeń topologiczną, które pozwalają modelować przedmioty różnych dziedzin naukowych, w tym filozofii.
W niniejszym artykule zarysuję główne idee Drewnowskiego (i tzw. Koła Krakowskiego na temat konieczności stosowania współczesnych jemu dokonań logicznych i matematycznych oraz pokażę, w jaki sposób ontologię Wittgensteina można modelować w strukturach krat (por. Wolniewicz) i w jaki sposób przestrzeń topologiczna pozwala na analizę tak różnych pojęć filozoficznych jak możliwy świat czy monada. Przykłady te posłużą do argumentacji za prawdziwością metodologicznych tez Drewnowskiego, że (1) stosowanie logiki symbolicznej (oraz różnych struktur formalnych) służy uściślaniu dowolnych dziedzin wiedzy (w tym filozofii) i – jak sądzę – (2) nie narusza bogactwa treści właściwych danej dziedzinie.
Słowa kluczowe
narzędzia i metody formalne ; kraty ; przestrzenie topologiczne ; izomorfizm ; homeomorfizm ; Drewnowski ; filozoficzny program Koła Krakowskiego ; ontologia formalna ; ontologia topologiczna
Zasady cytowania
Licencja
Artykuły opublikowane w czasopismach wydawanych przez UKSW są objęte warunkami licencji Creative Commons CC BY-ND 4.0 Międzynarodowe, która zezwala na:
- Dzielenie się – Kopiowanie i rozpowszechnianie utworów w dowolnym medium i formacie; dla dowolnego celu, także komercyjnego.
Na następujących warunkach:
- Uznanie autorstwa – Utwór należy odpowiednio oznaczyć, podać link do licencji i wskazać jeśli zostały dokonane w nim zmiany. Można to zrobić w dowolny, rozsądny sposób, o ile nie sugeruje to udzielania przez licencjodawcę poparcia dla osoby dokonującej zmiany lub sposobu, w jaki wykorzystywany jest ten utwór.
- Bez utworów zależnych – Remiksując, przetwarzając lub tworząc na podstawie utworu, nie wolno rozpowszechniać zmodyfikowanych treści.
Polityka ws. opłat redakcyjnych: Autorzy nie ponoszą żadnych kosztów związanych z publikacją swoich artykułów, tj. opłat za przetwarzanie artykułów (APCs), opłat redakcyjnych, opłat za kolor, opłat za zgłoszenia, opłat za stronę, opłat członkowskich, kosztów prenumeraty druku, innych opłat dodatkowych. Autorzy nie otrzymują też żadnej gratyfikacji finansowej za opublikowane materiały.
Polityka ws. deponowania różnych wersji materiałów przesłanych do redakcji czasopism wydawanych na UKSW jest następująca: autorzy mogą bez żadnego embarga zdeponować: 1) przedłożoną, 2) zaakceptowaną, oraz 3) opublikowaną wersję swoich artykułów w instytucjonalnych lub innych wybranych przez siebie repozytoriach.
