Polski Zjazd Filozoficzny

wrzesień, 2019

wt10wrz17:0019:15Kiedy stosowanie narzędzi formalnych w ontologii jest niecelowe, a kiedy nawet szkodliwe?prof. dr hab. Jacek Paśniczek (Uniwersytet Marii Curie-Skłodowskiej w Lublinie)17:00 - 19:15 CTW-113 (Centrum Transferu Wiedzy) organizator: Sekcja Ontologii i Metafizyki sympozjum lub panel:Ontologia formalna w Polsce

abstrakt

Właściwie każda dziedzina wiedzy lub kultury może być formalizowana, w szczególności dotyczy to ontologii. Ale powstaje pytanie, czy formalizacja taka ma zawsze sens, czy przynosi jakieś korzyści. Niewątpliwie może się przyczyniać do klarowności i ścisłości dyskursu ontologicznego, jeśli formalizm jest odpowiednio dobrany. Ale istotna korzyść polega na czymś więcej, na tym, że dzięki formalizacji dostrzegamy konsekwencje przyjmowanych założeń ontologicznych, które przy podejściu nieformalnym nie były widoczne, i w rezultacie, wzbogacamy naszą ontologię bądź ją modyfikujemy.

Formalizacja bywa niebezpieczna wtedy, gdy zastosujemy zbyt mocne lub zbyt słabe narzędzia formalne. W pierwszym przypadku może ona prowadzić do nadinterpretacji ontologicznej. Przykładowo, dosyć powszechne posługiwanie się formalizacją teoriomnogościową, czy też opieranie się na logice ekstensjonalnej, zobowiązuje nas ontologicznie do kategorii zbiorów, chociaż bezpośrednio nasza ontologia się do niej nie odnosi. Natomiast zastosowanie zbyt słabych narzędzi formalnych może prowadzić do strywializowania badanej problematyki ontologicznej. Tutaj przykładem może być użycie ontologii Leśniewskiego lub logiki klasycznej do analiz nieistnienia. Przykłady tego typu formalizacji niestety dosyć często pojawiają się w publikacjach polskich.

dzień i godzina

(Wtorek) 17:00 - 19:15

sala

CTW-113 (Centrum Transferu Wiedzy)

organizator

Sekcja Ontologii i MetafizykiPrzewodniczący Sekcji: dr hab. Marek Piwowarczyk prof. KUL
Sekretarz Sekcji: dr Bartłomiej Skowron (PW)

obradom przewodniczy

dr hab. Janusz Kaczmarek, prof. UŁ oraz dr Bartłomiej Skowron

Janusz Kaczmarek – Uniwersytet Łódzki, Bartłomiej Skowron – Politechnika Warszawska

Font Resize
Contrast
X