Čomu konkrétne sa venujete v oblasti vedy a výskumu?
Môj výskum sa odohráva na poli formálnej sémantiky, filozofickej logiky a formálnej epistemológie. V súčasnosti pracujem na projekte logického systému, na základe ktorého je možné explikovať pojem verifikácie v epistemických kontextoch.
Aké sú vaše záľuby?
Hrám v rockovej kapele. Okrem toho si s priateľkou život spríjemňujeme napr. filmami noir, anime, alebo hraním japonských RPG.
Prečo ste sa rozhodli stať sa výskumníkom?
Na túto otázku sa pokúsim odpovedať z pohľadu človeka, ktorý si vybral profesiu filozofického logika. Na tomto poli sa totiž vytvára priestor nielen pre konštruovanie sofistikovaných formálnych modelov, ale aj pre formulovanie ich filozofických dôsledkov. To mi umožňuje unikátnym spôsobom skĺbiť nielen technickú ale aj kreatívnu zložku práce. Parafrázujúc tak svetoznámeho logika R. Smullyana: táto práca dáva možnosť vytvárať pomocou logických nástrojov nové fantastické svety, avšak lacnejším a určite menej nebezpečným spôsobom než je užívanie halucinogénnych drog.
