Meze formalizace, analytičnosti a prostoročasu, Tomáš Čaňa, Vladimír Havlík, Filosofický ústav (Akademie věd ČR)