W latach 1969–1980 członek Związku Nauczycielstwa Polskiego, od 1969 do 1976 był przewodniczącym jego komisji oddziałowej, pełnił też funkcję delegata do rady zakładowej ZNP na UW. Publikował artykuły naukowe z zakresu teorii mnogości i teorii modeli . Wchodził w skład rady Międzynarodowej Unii Historii i Filozofii Nauki. Wykładał gościnnie na uniwersytetach, m.in. w Wielkiej Brytanii, Francji, Szwecji i Norwegii. Wyróżniony tytułem doktora honoris causa University of Leeds. W latach 2004–2010 był członkiem rady nadzorczej banku WestLB Bank Polska.

Działalność opozycyjna w PRL W marcu 1968 był współorganizatorem wiecu na macierzystym wydziale. W 1972 został sygnatariuszem listu w obronie braci Jerzego i Ryszarda Kowalczyków. Od 1976 współpracownik niezależnego wydawnictwa „Aneks”, a od 1979 współpracownik Komitetu Samoobrony Społecznej „KOR”.

Latem 1980 udał się do Szczecina, gdzie odbywał się strajk, ale nie został wpuszczony do stoczni, więc wrócił do Warszawy. Był jednym z założycieli Niezależnego Samorządnego Związku Zawodowego „Solidarność” Regionu Mazowsze, a następnie członkiem jego prezydium. W listopadzie 1981 był sygnatariuszem deklaracji ideowej Klubów Rzeczypospolitej Samorządnej Wolność-Sprawiedliwość-Niepodległość.