zabytkowy budynek z małą wieżą zasłonięty przez konar drzewa

Obszary badawcze Katedry Logiki i Metodologii Nauk

zabytkowy budynek z małą wieżą zasłonięty przez konar drzewa
fot. Paweł Piotrowski/Uniwersytet Wrocławski

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 

Projekt „Zintegrowany Program Rozwoju Uniwersytetu Wrocławskiego 2018-2022” współfinansowany ze środków Unii Europejskiej z Europejskiego Funduszu Społecznego

Scroll to Top