Był często zapraszany na odczyty lub wykłady za granicą, m.in. w Genewie (1962), Lipsku (1976, 1984, 1988, 1991), Sofii (1980, 1985) czy Oslo (1989). Jego specjalnością są logika klasyczna, systemy logiki deontycznej, metody i klasyfikacja dowodów, antymonie logiki i semantyki.
W książce swojego autorstwa argumentuje na rzecz rozstrzygalności węższego rachunku funkcyjnego, co jest niezgodne z ogólnie uznanym dowodem o nierozstrzygalności rachunku predykatów pierwszego rzędu, autorstwa Alonzo Churcha z 1936 roku.
Odznaczenia i nagrody Krzyż Kawalerski Orderu Odrodzenia Polski Nagroda Ministerstwa Nauki, Szkolnictwa Wyższego i Techniki (1984) Srebrna Odznaka UMK (1970) Medal 40-lecia UMK (1986)
Przypisy
Bibliografia
Kategoria:Urodzeni w 1921 Kategoria:Nauczyciele akademiccy Wydziału Humanistycznego Uniwersytetu Mikołaja Kopernika w Toruniu Kategoria:Odznaczeni Krzyżem Kawalerskim Orderu Odrodzenia Polski (Polska Ludowa) Kategoria:Polscy logicy XXI wieku Kategoria:Polscy filozofowie XXI wieku Kategoria:Zmarli w 2014 Kategoria:Członkowie honorowi Polskiego Towarzystwa Filozoficznego