Filii.
Okresy i tematy działalności badawczej 1954–1961: historia logiki średniowiecznej; metodologia nauk filozoficznych, z koncentracją na tematyce konieczności logicznej oraz formalizacji logicznej argumentów filozoficznych. 1961–1963: udział w projekcie badawczym z metodologii nauk empirycznych, realizowanym w Zakładzie Logiki IFiS PAN pod kierunkiem Kazimierza Ajdukiewicza. Wkładem do tego projektu były następujące opracowania. Analiza języka nauk empirycznych wykazująca obecność u jego podstaw, tj. w procedurach ostensywnych, pojęć logiki i teorii mnogości, które muszą być przyjęte a priori; stanowi to istotny argument na rzecz racjonalizmu (w sensie Leibniza). Analiza odwzorowywania sądów i przekonań w mowie zależnej oraz gramatyka mowy zależnej badana za pomocą formalizmu Ajdukiewicza. Druga połowa lat 60.: logiczna teorii przekonań. Lata 70.: gramatyki formalne Ajdukiewicza, formalna teoria tekstu, systemy informacji naukowej. Lata 80.: logika Leibniza i wieku XVII, nurt prowadzący do formalizacji, algebraizacji i komputeryzacji rozumowań (z uwzględnieniem antycypacji średniowiecznych). lata 90.