2009 Master's degree (summa cum laude) in Logic at the Department of Logic, Faculty of Arts, Charles University in Prague

Since 2010 member of the Department of Logic at the Institute of Philosophy of the Academy of Sciences of the Czech Republic

2015 The Josef Hlávka Award to the best students and graduates from Prague public universities, Brno technical institute, and young talented researchers from the Academy of Sciences of the Czech Republic

2016 PhD in Philosophy at the Institute of Philosophy and Religious studies, Faculty of Arts, Charles University in Prague

Since 2018 head of the Department of Logic at the Institute of Philosophy of the Academy of Sciences of the Czech Republic

2018 Otto Wichterle Award

Contact:

Institute of Philosophy ASCR
Jilska 1
11000 Prague 1
Czech Republic

Phone:

(+420) 221 183 354

Email:

vit.puncochar (at) centrum.cz

Books

• Punčochář, V. (2019) Paradoxy klasické logiky. Filosofie a logika hypotetických vět (Paradoxes of classical logic. Philosophy and logic of conditionals) Praha: Filosofia.
• Kolman, V., Punčochář, V. (2015) Formy jazyka (Forms of language). Praha: Filosofia.

Papers

• Sedlár, I., Punčochář, V., Tedder, A. (2019) First Degree Entailment with group attitudes and information updates. LORI-VII. Lecture Notes in Computer Science, Springer, 273-285.
• Sedlár, I., Punčochář, V. (2019) From positive PDL to its non-classical extensions, Logic Journal of IGPL, 27, 522-542.
• Punčochář, V. (2019) Substructural inquisitive logics, Review of Symbolic Logic, 12, 296-330.
• Punčochář, V. (2017) Problém svobodné vůle a logika kontrafaktuálních výroků (Problem of free will and the logic of counterfactuals). Filosofický časopis, 65, 607-631.
• Punčochář, V., Sedlár, I. (2017) Substructural logics for pooling information. In: Baltag, A., Seligman, J. Yamada, T. (eds.) Logic, Rationality, and Interaction, 6th International Workshop, LORI 2017, Springer, 407-421.
• Punčochář, V. (2017) Knowledge is a diamond. In: Kennedy, J., de Queiroz, R.J.G.B. (eds.) Logic, Language, Information, and Computation, 24th Interantional Workshop, WoLLIC 2017, Springer, 304-321.
• Punčochář, V. (2017) A general framework for logics of questions. In: Arazim, P., Lávička, T. (eds.): The Logica Yearbook 2016, College Publications, 223-238.
• Punčochář, V. (2017) Algebras of information states, Journal of Logic and Computation, 27, 1643–1675.
• Punčochář, V. (2016). A nonstandard semantic framework for intuitionistic logic. In Arazim, P., Dančák, M. (eds.) The Logica Yearbook 2015, College Publications, 179-192.
• Punčochář, V. (2016). Semantics of assertibility and deniability. In Redmond, J., Pombo Martins, O., Nepomuceno Fernández, Á. (eds.) Epistemology, Knowledge and the Impact of Interaction, Springer, 343-362.
• Punčochář, V. (2016). A generalization of inquisitive semantics. Journal of Philosophical Logic, 45, 399-428.
• Punčochář, V. (2015). Weak negation in inquisitive semantics. Journal of Logic, Language and Information, 23, 47-59.
• Punčochář, V. (2014). A new semantic framework for modal logic. Philosophical Alternatives 23(6), 47-59.
• Punčochář, V. (2014). Indikativní a subjunktivní hypotetické soudy: Epistemický vs. ontický přístup (Indicative and Subjunctive Conditionals: Epistemic vs. Ontic Approach). Organon F 21, Supplementary Issue 1, 119-137.
• Punčochář, V. (2014). Intensionalisation of logical operators. In: Dančák, M., Punčochář, V. (eds.): The Logica Yearbook 2013. College Publications, 173-186.
• Punčochář, V. (2013). Pravdivost vs. tvrditelnost (Truth vs. Assertability). Organon F 20, Supplementary Issue 1, 122-143. 
• Punčochář, V. (2012). Some modifications of Carnap's modal logic. Studia Logica 100(3), 517-543.
• Punčochář, V. (2012). Matematický realismus a naturalismus Penelope Maddy (Mathematical Realism and Penelope Maddy's Naturalism). Organon F 19, Supplementary Issue 1, 199-226.
• Punčochář, V. (2010). Carnapova modální logika C (Carnap's Modal Logic C). Organon F 17(2), 163-184.

Translations

• Stekeler–Weithofer, P.: Sind die Urteile der Arithmetik synthetisch a priori? In: Janoušek, H., Kolman, V. (eds.): Syntetické apriori. Praha: Filosofia, 2012, 441-470.
• Bolzano, B.: Anhang über die Kantische Lehre von der Construction der Begriffe durch Anschauungen. In: Janoušek, H., Kolman, V. (eds.): Syntetické apriori. Praha: Filosofia, 2012, 117-123.
• Hilbert, D.: Über das Unendliche. In: Kolman, V., Roreitner, R. (eds.): O špatném nekonečnu. Praha: Filosofia, 2013, 343-365.

Editorial work

• Dančák, M., Punčochář, V. (eds.): The Logica Yearbook 2013. College Publications, 2014.
• Punčochář, V., Švarný, P. (eds.): The Logica Yearbook 2012. London: College Publications, 2013.
• Peliš, M., Punčochář, V. (eds.): The Logica Yearbook 2011. London: College Publications, 2012.
• Peliš, M., Punčochář, V. (eds.): The Logica Yearbook 2010. London: College Publications, 2011.

Selected Presentations

• Logic for nominalists, presented at The International Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19), Gdansk, Poland, December 2019
• FDE-based inquisitive dynamic epistemic logic, invited talk presented at A Workshop on FDE-based Modal Logics, Bochum, Germany, November 2019
• Algebraic semantics for inquisitive logics, presented at The International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) 2019, Prague, Czech Republic, August 2019
• Are mathematical objects just useful fictions?, invited talk presented at What does mathematics tell us about the physical world?, Prague, Czech Republic, May 2019
• A relevant logic of questions, presented at Colloquium Logicum 2018, Bayreuth, Germany, September 2018.
• Inquisitive propositional dynamic logic, presented at Non-Classical Logic. Theory and Applications 2018, Torun, Poland, September 2018.
• Inforamtional semantics for superintuitionistic modal logics (co-author: Igor Sedlár), presented at Advances in Modal Logic 2018, Bern, Switzerland, August 2018.
• Non-classical inquisitive logics, invited talk presented at Inquisitive Logic Workshop, Amsterdam, The Netherlands, July 2018.
• Substructural logics for pooling information (co-author: Igor Sedlár), presented at 6th International Workshop on Logic, Rationality, and Interaction (LORI 2017), Sapporo, Japan, September 2017.
• Between material and strict implication, presented at Kyoto Philosophical Logic Workshop III, Kyoto, Japan, September2017.
• Modelování v logice a empirických vědách  (co-authors: Barbora Marková a Martin Zach), presented at XXI. česko-slovenské sympózium o analytickej filozofii, Stará Lesná, Slovakia, August 2017.
• Failure of some basic logical laws, presented at Contemporary Philosophy - Problems, Trends, Perspectives, Varna, Bulgaria, August 2017.
• Uniform substitution and replacement of equivalents, presented at Logic Colloquium 2017, Stockholm, Sweden, August 2017.
• Knowledge is a diamond, presented at 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC 2017), London, UK, July 2017.
• Substructural inquisitive logics, presented at Non-classical Logics and Their Applications: The 8th International Workshop on Logic and Cognition (WOLC 2016), Guangzhou, China, December 2016.
• Problém svobodné vůle a logika kontrafaktuálních výroků, presented at XX. slovensko-české sympozium o analytické filosofii, Prague, Czech Republic, September 2016.
• A natural extension of substructural logics, presented at Logical Models, Sofia, Bulgaria, September 2016.
• Types of information in non-classical logics, invited talk presented at Conference on Mathematical Foundations of Informatics, Chisinau, Moldova, July 2016.
• Inquisitive disjunction in intermediate logics, presented at Workshop on Logic of Natural Languages, Chisinau, Moldova, July 2016.
• Generalized inquisitive semantics, presented at Logica 2016, Hejnice, Czech Republic, June 2016.
• Algebras of information states, invited talk presented at Questions in Logic and Semantics, Amsterdam, The Netherlands, December 2015.
• Combining relational and algebraic semantics, presented at 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, Finland, August 2015.
• Algebras of information states, presented at Logica 2015, Hejnice, The Czech Republic, June 2015.
• Free will and the logic of counterfactual conditionals, 1st World Congress on Logic and Religion, João Pessoa, Brazílie, April 2015.
• A new epistemic approach to formal semantics, presented at Eighth European Congress of Analytic Philosophy (ECAP8), Bucharest, Romania, August 2014.
• Internal and external logics of Nelson models, presented at 5th World Congress on Paraconsistency (WCP5), Kolkata, India, February 2014.
• Intensionalisation of logical operators, presented at Tenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2013), Gudauri, Georgia, September 2013.
• Indikativní a subjunktivní hypotetické soudy, presented at XVII. Česko-slovenské symposium o analytickej filozofii (SCS 2013), Trenčianske Teplice, Slovakia, September 2013.
• Some modifications of inquisitive semantics, presented at Logica 2013, Hejnice, The Czech Republic, June 2013.
• A logic of assertibility and deniability, presented at International Symposium of Epistemology, Logic and Language (ISELL2012), Lisbon, Portugal, October 2012.
• Kde je hranice mezi sémantikou a pragmatikou?, presented at XVI. Slovensko-české symposium o analytické filosofii, Třešť, The Czech Republic, September 2012.
• Conditionals and Contexts, presented at Logic Workshop at Buenos Aires - A Tribute to Horacio Arló-Costa, Buenos Aires, Argentina, August 2012.
• Matematický realismus a naturalismus Penelope Maddy, presented at XV. Česko-slovenské symposium o analytickej filozofii, Vrútky, Slovakia, September 2011.
• A modification of Carnap's modal logic, presented at Logica 2010, Hejnice, The Czech Republic, June 2010.

Organizational Work

Co-organizer of the conferences: Logica 2011, Logica 2012, Logica 2013, Logica 2014, Logica 2015, Logica 2016, Logica 2017, Logica 2018

Participation in Grants and Projects

• 2018-2020 Non-Classical Logical Models of Informational Dynamics (Czech Science Foundation, 18-19162Y)
• 2017-2019 Logical Models of Reasoning and Argumentation in Natural Language (Czech Science Foundation, 17-15645S)
• 2016-2018 From Shared Evidence to Group Attitudes (Deutsche Forschungsgemeinschaft and Czech Science Foundation GA16-07954J)
• 2013-2016 Foundations of logic in the light of new results of philosophy and science (Czech Science Foundation GA13-21076S)
• 2011-2015 Apriority, syntheticity and analyticity from medieval thought to contemporary philosophy (Czech Science Foundation GAP401/11/0371)
• 2009-2012 Logical foundation of semantics (Czech Science Foundation GD401/09/H007)

Teaching (in Czech)

Charles University, Faculty of Arts

• Logika 2011/12, 2014/15 [Logic, two-semester course]
• Rozšiřující cvičení z logiky 2009/10, 2010/11, 2012/13, 2013/14, 2014/15, 2015/16, 2016/17, 2017/18, 2018/19 [Seminar in logic, two-semester course]
• Frege od A do Z 2017/18 [Frege from A to Z, one-semester course]
• Úvod do teoretické sémantiky 2011/12, 2012/13, 2013/14, 2014/15, 2015/16 [Introduction to theoretical semantics, one-semester course]
• Seminář k předmětu Filosofie jazyka 2013/14 [Seminar in Philosophy of language, two-semester course]
• Logická analýza jazyka 2009/10 [Logical analysis of language, one-semester course]

University of Hradec Králové, Faculty of Arts

• Logika 2012/13, 2013/14 [Logic, one-semester course]
• Kritické myšlení a argumentace 2013/14 [Critical thinking and argumentation, one-semester course]
• Logická analýza jazyka 2013/14 [Logical analysis of language, one-semester course]