Katedra Logiki ul. Asnyka 2 87-100 Toruń tel. 56-611: 3102, 3103, 4687, 4688, 4689 e-mail: logsem@umk.pl Sekretariat: Collegium Minus, „Harmonika” ul. Fosa Staromiejska 1a, p. 107 tel. 56-611-36-59

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 (adaptywna, epistemiczna, modalna, temporalna);
• mereologia, geometria bezpunktowa, topologia bezpunktowa;
• logiki algebraiczne (kwantowa, równościowe);
• logika rozumowań potocznych (lingwistyczna, kognitywna);
• logiczne systemy Leśniewskiego;
• dowody ontologiczne.