
Obszary badawcze Katedry Logiki i Metodologii Nauk
Tematy badawcze Katedry Logiki i Metodologii Nauk
Logika filozoficzna
Logiki intensjonalne i ich wykorzystanie w metaetyce, aksjologii i ontologii formalnej. Logiczna analiza norm i ocen (dr hab. Marek Magdziak).
Analiza sensu, znaczenia i struktury logicznej pojęć obowiązku, powinności moralnej oraz problemów teoretycznych pojawiających się w ramach dociekań deontycznych, takich jak kwestia dylematów moralnych, Zasady Kanta czy problemu supererogacji (dr Marcin Drofiszyn).
Logiczne teorie prawdy i fałszu (dr hab. Marek Magdziak).
Logika a sprzeczność, logiki parakonsystentne (dr Roman Tuziak).
Filozofia analityczna
Metafilozofia. Intuicja w argumentacji filozoficznej, rola eksperymentów myślowych, problematyka znaczenia i holizm semantyczny, logiczne aspekty kognitywistyki, etyczne aspekty sztucznej inteligencji, analiza pojęciowa, filozofia umysłu. (dr Kamil Cekiera)
Metaetyka oraz ontologia i aksjologia formalna (dr Marcin Drofiszyn, dr hab. Marek Magdziak).
Filozofia logiki (dr Roman Tuziak).
Semantyka logiczna
Metody semantyczne wykorzystywane w logice intuicjonistycznej i w logikach modalnych. Semantyka światów możliwych i semantyka algebraiczna. Struktury algebraiczne wykorzystywane w semantyce, kraty i zbiory częściowo uporządkowane. Teoria reprezentowania krat przy pomocy wielomianów czysto implikacyjnych. Problem słów i inne problemy semantyczno-algebraiczne (dr hab. Marcin Łazarz).
Logiczne aspekty języka potocznego
Logiczne charakterystyka spójników występujących w języku potocznym, problematyka metafory (dr Elżbieta Magner).
Logika nieformalna (dr Roman Tuziak).
Semiotyka, pragmatyka logiczna i teoria argumentacji
Teoria argumentacji – analiza semiotyczna i filozoficzna. Analiza i formalizacja języka oraz tzw. makro- i mikro-struktury argumentacji (diagramy i schematy argumentacyjne); operacje na argumentach. Ewaluacja argumentów – logiczne, a także retoryczne i etyczne aspekty oceny argumentów (dr hab. Marcin Selinger).
Realizowanym stale projektem badawczym jest organizowana corocznie konferencja naukowa Applications of Logic in Philosophy and the Foundations of Mathematics
Katedra wydaje także broszury z abstraktami odczytów. Są one dostępne na stronie konferencji