Department Members
Department Activity
Details
-
PhD program offered
Also at Czech Academy of Sciences
-
Ansten Klev, The Justification of Identity Elimination in Martin-Löf’s Type TheoryTopoi 38 (3): 577-590. 2019.
-
Ansten Klev, A Comparison of Type Theory with Set TheoryIn Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts, Springer Verlag. pp. 271-292. 2019.
-
Ansten Klev, A Comparison of Type Theory with Set TheoryIn Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts, Springer Verlag. pp. 271-292. 2019.
-
Lukas Licka, What is in the Mirror? The Metaphysics of Mirror Images in Albert the Great and Peter AuriolIn Brian Glenney & José Silva (eds.), The Senses and the History of Philosophy, Routledge. pp. 131-148. 2019.
-
Brian Glenney, José Filipe Silva, Jana Rosker, Susan Blake, Stephen H. Phillips, Katerina Ierodiakonou, Anna Marmodoro, Lukas Licka, Han Thomas Adriaenssen, Chris Meyns, Janet Levin, James Van Cleve, Deborah Boyle, Michael Madary, Josefa Toribio, Gabriele Ferretti, Clare Batty, and Mark Paterson, The Senses and the History of Philosophy (edited book)Routledge. 2019.
-
Lukás Lička, The Visual Process: Immediate or Successive? Approaches to the Extramission Postulate in 13th Century Theories of VisionIn Elena Băltuță (ed.), Medieval Perceptual Puzzles: Theories of Sense Perception in the 13th and 14th Centuries, Investigating Medieval Philoso. pp. 73-110. 2019.
-
Lukas Licka, Pohled šlehající z očí: františkáni 13. století a Augustinova autorita v otázce extramisní teorie viděníIn Petr Hlaváček (ed.), Proměny františkánské tradice: Od teologie a filosofie ke kultuře a umění, Ff Uk – Filosofia. 2019.
-
Michal Polák and Tomas Marvan, How to Mitigate the Hard Problem by Adopting the Dual Theory of Phenomenal ConsciousnessFrontiers in Psychology 10. 2019.
-
Ivo Pezlar, Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of SolutionsIn Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018, College Publications. pp. 197-210. 2019.
-
Jiri Raclavsky and Ivo Pezlar, Explicitní/implicitní přesvědčení a derivační systémy [Explicit/Implicit Belief and Derivation Systems]Filosoficky Casopis 67 (1). 2019.
-
Ivo Pezlar, Translating a Fragment of Natural Deduction System for Natural Language into Modern Type TheoryIn Rainer Osswald, Christian Retoré & Peter Sutton (eds.), Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures, Association For Computational Linguistics. pp. 10-18. 2019.
-
Ivo Pezlar, Jaroslav Peregrin, Co je nového v logice (review)Studia Philosophica 66 (1): 118-119. 2019.
-
Martin Ritter, Die Unmittelbarkeit des Mediums: Zur Aktualität der Medienphilosophie Walter BenjaminsInternationales Jahrbuch Für Medienphilosophie 5 (1): 81-98. 2019.
-
Tomas Hribek and James Hill, O vědomí, náboženství a svobodě vůleFilosoficky Casopis 66 (2): 171-183. 2018.
-
Ansten Klev, A Road Map of Dedekind’s Theorem 66Hopos: The Journal of the International Society for the History of Philosophy of Science 8 (2): 241-277. 2018.
-
Nicolas Clerbout, Ansten Klev, Zoe McConaughey, and Shahid Rahman, Immanent Reasoning or Equality in Action: A Plaidoyer for the Play LevelSpringer Verlag. 2018.
-
Lukas Licka, Intencionalita a pojem poznání ve středověké filosofiiStudia Neoaristotelica 15 (4): 63-125. 2018.
-
Michal Polák and Tomas Marvan, Neural Correlates of Consciousness Meet the Theory of IdentityFrontiers in Psychology 9 381399. 2018.
-
Ivo Pezlar, On Two Notions of Computation in Transparent Intensional LogicAxiomathes 29 (2): 189-205. 2018.
-
Martin Ritter, The Hubris of Transcendental Idealism: Understanding Patočka's Early Concept of the LifeworldJournal of the British Society for Phenomenology 49 (2): 171-181. 2018.
-
Guillermo Badia and Andrew Tedder, On elimination of quantifiers in some non‐classical mathematical theoriesMathematical Logic Quarterly 64 (3): 140-154. 2018.
-
Andrew Tedder and Guillermo Badia, Currying Omnipotence: A Reply to Beall and CotnoirThought: A Journal of Philosophy 7 (2): 119-121. 2018.