O logice na Wydziale Filozofii
Chrześcijańskiej w A.T.K.
Studia Philosophiae Christianae 7/1, 262
О LOGICE NA W YDZIALE FILO Z O FII C H R ZE ŚC IJA Ń SK IEJ
W А. Т. K.
Logika na W ydziale Filozofii jest potraktowana w całym sw ym obszer nym i zróżnicowanym zakresie. Zajęcia uwzględniają zarówno m ateriał historyczny jak i system atyczny sem iotyki, m etodologii nauk, logiki for m alnej i m etalogiki. Jest przy tym traktow ana głów nie jako narzędzie filozofii, m niej jako podstawa m atematyki. Potraktowana jako organon filozofii bardziej skłania się do rozważań języków naturalnych niż sym bolicznych.
W roku akademickim 1970/71 prowadzone są w ykłady z logiki ogólnej, ogólnej i szczegółowej m etodologii nauk, elem entów m atem atyki wyższej, rachunku kw antyfikatorów , historii logiki starożytnej, analizy leibnizow - skiej koncepcji na tem at ziasady sprzeczności oraz dowodu apagogicznego, filozofii m atem atyki, w ybranych zagadnień m etalogiki; ćwiczenia: z se m iotyki, logiki form alnej, m etodologii nauk, historii logiki; seminaria: z rachunków Genzena, algebry B oole’a.
Badania naukowe aktualnie prowadzone są nad m etateoretycznym i zagadnieniam i u podstaw ontologii m odelowania, form alizacji, niesprzecz ności, nierozstrzygalności, nad tradycyjną asertoryczną logiką formalną, nad m odelam i aksjom atywnych teorii.