Životopis
Bol slovenský logik, univerzitný profesor, zakladateľ slovenskej exaktnej metodológie, predstaviteľ bratislavskej filozoficko-metodologickej školy. Špecializoval sa na otázky teórie vedy, metodológie vied, štruktúry a vývinu logiky v závislosti na dejinách prírodných vied.
V rokoch 1963 až 1966 bol rektorom Univerzity Komenského.
(zdroj životopisu: wikipedia)