Badania naukowe

Tematyka badań

Główne kierunki badań prowadzonych obecnie przez Katedrę obejmują logikę filozoficzną w zakresie zastosowań metod formalnych w filozofii oraz semiotykę logiczną. W centrum zainteresowań pracowników i doktorantów Katedry znajdują się w szczególności następujące tematy:

• logiki nieklasyczne (adaptywne, epistemiczne, modalne, parakonsystentne, temporalne, wiążące, logiki wyznaczone przez teorie równościowe zewnętrznie zgodne);
• logika nazw i logiczne systemy Leśniewskiego;
• logiki algebraiczne (równościowe, P-zgodne teorie równościowe, związek logiki i algebry uniwersalnej);
• mereologia, geometria bezpunktowa, topologia bezpunktowa;
• semiotyka logiczna (badania podstawowe: semantyka, pragmatyka, filozofia języka);
• systemy dowodzenia, w tym systemy tablicowe;
• zastosowania semiotyki logicznej w kognitywistyce (rozumowania niemonotoniczne, systemy logiczne dla sztucznej inteligencji).