Publikace

Monografie

• Punčochář, V. (2019) Paradoxy klasické logiky. Filosofie a logika hypotetických vět. Praha: Filosofia.
• Kolman, V., Punčochář, V. (2015). Formy jazyka. Úvod do logiky a její filosofie. Praha: Filosofia.

Články

• Punčochář, V., Bílková, M., Bozdag, S. Ferguson, T. (2024)   Consistency-sensitive epistemic modalities in information-based bemantics, Studia Logica, https://doi.org/10.1007/s11225-024-10115-3
• Punčochář, V., Pezlar, I. (2024) Informative presupposition in inquisitive logic. In:Ciabattoni, A., Gabelaia, D., Sedlár, I. (eds.). Advances in Modal Logic 2024, Volume 15. London: College Publications, 2024, pp. 609-630.
• Punčochář, V., Sedlár, I., Majer, O. (2023) Truth-maker semantics for some substructural logics. In: Faroldi F., Van De Putte, F. (Eds.) Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Outstanding Contributions to Logic. Springer, s. 207-222.
• Punčochář, V. (2023) Logical forms, substitutions and information types, Logic and Logical Philosophy, 32, 3, 459-473.
• Punčochář, V. (2023) Fuzzy truth, fuzzy support and fuzzy information states for inquisitive semantics. In: Marquis, P., Son, T., Kern-Isberner, G. (eds.) Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. International Joint Conferences on Artificial Intelligence Organization, s. 572-581.
• Punčochář, V., Ferguson, T. (2023) Structural completeness and superintuitionistic inquisitive logics. In: Hansen, H., Scedrov, A., de Queiroz, R. (eds.) Logic, Language, Information, and Computation, WoLLIC 2023. Lecture Notes in Computer Science 13923, Springer, s. 194-210.
• Punčochář, V., Sedlár, I., Tedder, A. (2023) Relevant epistemic logic with public announcements and common knowledge, Journal of Logic and Computation, 33, 2, 436-461.
• Punčochář, V. (2022) Iterated team semantics for a hierarchy of informational types, Annals of Pure and Applied Logic, 173(10), 103156.
• Punčochář, V., Sedlár, I. (2022) Routley star in information-based semantics. Proceedings of 10th International Conference on Non-classical logics: Theory and Applications. Electronic Proceedings in Theoretical Computer Science, vol. 358, s. 285-297.
• Punčochář, V. Grimau, B. (2022) Natural deduction for assertibility and deniability. Proceedings of 10th International Conference on Non-classical logics: Theory and Applications. Electronic Proceedings in Theoretical Computer Science, vol. 358, s. 41-54.
• Punčochář, V. (2021) Jak je možná svobodná volba v deterministickém světě, Filosofie dnes, 13, 71-88.
• Punčochář, V. (2021) Inquisitive Heyting algebras, Studia Logica, 109, 995-1017.
• Punčochář, V., Sedlár, I. (2021) Epistemic extensions of substructural inquisitive logics. Journal of Logic and Computation, 31, 1820-1844.
• Punčochář, V., Sedlár, I. (2021) Inquisitive propositional dynamic logic, Journal of Logic, Language and Information, 30, 91-116.
• Punčochář, V., Tedder, A. (2021) Disjunction and negation in information based semantics. In: Silva, A., Wassermann, R., de Queiroz, R. (eds.) Logic, Language, Information, and Computation, WoLLIC 2021, Lecture Notes in Computer Science, vol 13038. Cham: Springer, s. 355-371.
• Punčochář, V., Sedlár, I. (2021) Relevant epistemic logic with public announcements and common knowledge. In: Baroni, P.; Benzmüller, C.; Wáng, Y. (eds.) Logic and Argumentation: 4th International Conference, CLAR 2021, Lecture Notes in Computer Science, vol 13040. Cham: Springer, s. 342-361.
• Punčochář, V. (2020) Inquisitive dynamic epistemic logic in a non-classical setting. In: Martins M.A., Sedlár I. (eds): Dynamic Logic. New Trends and Applications. DaLi 2020. Lecture Notes in Computer Science, vol 12569. Springer, 205-221.
• Punčochář, V., Gauker, Ch. (2020) Indicative conditionals in objective contexts. Theoria, 86, 651-687.
• Punčochář, V. (2020) A relevant logic of questions. Journal of Philosophical Logic, 49, 905-939pages905–939PunPPdfaf a 
• 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.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. London: College Publications, 173-186.
• Punčochář, V. (2013). Pravdivost vs. tvrditelnost. Organon F 20, Supplementary Issue 1, 122-143. 
• Punčochář, V. (2012). Some modifications of Carnap's modal logic. Studia Logica 100, 517-543.
• Punčochář, V. (2012). Matematický realismus a naturalismus Penelope Maddy. Organon F 19, Supplementary Issue 1, 199-226.
• Punčochář, V. (2010). Carnapova modální logika C. Organon F 17(2), 163-184.

Překlady

• Hilbert, D.: Über das Unendliche. In: Kolman, V., Roreitner, R.: O špatném nekonečnu. Praha: Filosofia, 2013, 343-365.
• 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.

Ediční činnost

• Dančák, M., Punčochář, V. (eds.): The Logica Yearbook 2013. London: 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.

Konference

• Přednášky na mezinárodních konferencích

  • Informative presupposition in inquisitive logic (spoluautor: Ivo Pezlar), Advances in Modal Logic, Praha, ČR, srpen 2024
  • Conditionals in a hierarchy of contexts (zvaná přednáška), Mind and Language in a natural world, Salzburg, Rakousko červenec 2024
  • An algebraic representation of information types, Scandinavian Logic Symposium, Reykjavík, Island, červen 2023
  • A modal approach to informative presupposition (zvaná přednáška), First Workshop on Inquisitive Modal Logic and Related Topics. Padova, Itálie, únor 2024
  • Intuitionistic and analytic implication in truthmaker semantics (spoluautor: Thomas Ferguson), 14th Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2023, Telavi, Gruzie, září 2023
  • Fuzzy truth, fuzzy support and fuzzy information states for inquisitive semantics, 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodos, Řecko, září 2023
  • Information channels and substructural logics, The 11th European Congress of Analytic Philosophy, ECAP23, Vídeň, Rakousko, srpen 2023
  • Structural completeness and superintuitionistic inquisitive logics (spoluautor: Thomas Ferguson), 29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023, Halifax/online, Kanada, červenec 2023
  • Embedded analytic containment (spoluautor: Thomas Ferguson), Czech Gathering of Logicians, Ostrava, ČR, červen 2023
  • Relevant epistemic logic (zvaná přednáška), New Directions in Relevant Logic, online, listopad 2022
  • Logical forms, substitutions, and types of information, What are Logical Froms (Good for)? Praha, ČR, říjen 2022
  • Consistency-sensitive epistemic modalities in information based semantics, 6th World Congress of Paraconsistency, Toruň, Polsko, září 2022
  • Informační sémantika pro fuzzy logiku (zvaná přednáška), Výročná konferencia Katedry logiky a metodológie vied, Stará Lesná, Slovensko, červen/červenec 2022
  • First-order logic of questions (zvaná přednáška), Czech Gathering of Logicians, Praha, ČR, červen 2022
  • Semantic relativity and syntactic sensitivity, Logic4Peace, online, duben 2022
  • Routley star in information-based semantics (spoluautor: Igor Sedlár, oceněno jako nejlepší příspěvek konference), Non-Classical Logics. Theory and Application, Lodž, Polsko, březen 2022
  • Natural deduction for assertibility and deniability (spoluautor: Berta Grimau), Non-Classical Logics. Theory and Application, Lodž, Polsko, březen 2022
  • Information types in intuitionistic predicate logic (spoluautor: Carles Noguera), Non-Classical Modal and Predicate Logics 2021, Bochum, Německo, listopad 2021
  • Relevant Epistemic Logic with Public Announcements and Common Knowledge (spoluautor: Igor Sedlár), The 4th International Conference on Logic and Argumentation, CLAR 2021, online, listopad 2021
  • Disjunction and Negation in Information Based Semantics (spoluautor: Andrew Tedder), WoLLIC 2021, 27th Workshop on Logic, Language, Information and Computation, online, říjen 2021
  • The Split Schema, Workshop on Logics of Dependence and Independence, online, srpen 2021
  • Jak počítat bez čísel, XXIV. Slovensko-české sympozium o analytické filozofii, Olomouc, ČR, září 2020
  • A hierarchy of dependencies, Workshop on Logics of Dependence and Independence, online, srpen 2020
  • Logical form of counting, 10th European Congress of Analytic Philosophy, ECAP10, online, srpen 2020
  • Logic for nominalists, The International Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19), Gdansk, Polsko, prosinec 2019.
  • FDE-based inquisitive dynamic epistemic logic (zvaná přednáška), A Workshop on FDE-based Modal Logics, Bochum, Německo, listopad 2019.
  • Algebraic semantics for inquisitive logics, The International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) 2019, Praha, Česká republika, srpen 2019.
  • Are mathematical objects just useful fictions? (zvaná přednáška), What does mathematics tell us about the physical world?, Praha, Česká republika, květen 2019.
  • A relevant logic of questions, Colloquium Logicum 2018, Bayreuth, Německo, září 2018.
  • Inquisitive propositional dynamic logic, Non-Classical Logic. Theory and Applications 2018, Toruň, Polsko, září 2018.
  • Inforamtional semantics for superintuitionistic modal logics (spoluautor: Igor Sedlár), Advances in Modal Logic 2018, Bern, Švýcarsko, srpen 2018.
  • Non-classical inquisitive logics (zvaná přednáška), Inquisitive Logic Workshop, Amsterdam, Nizozemsko, červenec 2018.
  • Substructural logics for pooling information (spoluautor: Igor Sedlár), 6th International Workshop on Logic, Rationality, and Interaction (LORI 2017), Sapporo, Japonsko, září 2017.
  • Between material and strict implication, Kyoto Philosophical Logic Workshop III, Kjóto, Japonsko, září 2017.
  • Modelování v logice a empirických vědách (spoluautoři: Barbora Marková a Martin Zach), XXI. česko-slovenské sympózium o analytickej filozofii, Stará Lesná, Slovensko, srpen 2017.
  • Failure of some basic logical laws, Contemporary Philosophy - Problems, Trends, Perspectives, Varna, Bulharsko, srpen 2017.
  • Uniform substitution and replacement of equivalents, Logic Colloquium, Stockholm, Švédsko, srpen 2017.
  • Knowledge is a diamond, 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC 2017), Londýn, Spojené království, červenec 2017.
  • Substructural inquisitive logics, Non-classical Logics and Their Applications: The 8th International Workshop on Logic and Cognition, Guangzhou, Čína, prosinec 2016.
  • Problém svobodné vůle a logika kontrafaktuálních výroků, XX. slovensko-české sympozium o analytické filosofii, Praha, ČR, září 2016.
  • A natural extension of substructural logics, Logical Models, Sofie, Bulharsko, září 2016.
  • Types of information in non-classical logics, Conference on Mathematical Foundations of Informatics, Kišiněv, Moldavsko, červenec 2016.
  • Inquisitive disjunction in intermediate logics, Workshop on Logic of Natural Languages, Kišiněv, Moldavsko, červenec 2016.
  • Generalized inquisitive semantics, Logica 2016, Hejnice, Česká republika, červen 2016.
  • Algebras of information states, Questions in Logic and Semantics, Amsterdam, Nizozemsko, prosinec 2015.
  • Combining relational and algebraic semantics, 15th Congress of Logic, Methodology and Philosophy of Science, Helsinky, Finsko, srpen 2015.
  • Algebras of information states, Logica 2015, Hejnice, ČR, červen 2015.
  • Free will and the logic of counterfactual conditionals, 1st World Congress on Logic and Religion, João Pessoa, Brazílie, duben 2015.
  • A new epistemic approach to formal semantics, Eighth European Congress of Analytic Philosophy (ECAP8), Bukurešť, Rumunsko, srpen 2014.
  • Internal and external logics of Nelson models,  5th World Congress on Paraconsistency (WCP5), Kalkata, Indie, únor 2014.
  • Intensionalisation of logical operators,  Tenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2013), Gudauri, Gruzie, září 2013.
  • Indikativní a subjunktivní hypotetické soudy, XVII. Česko-slovenské symposium o analytickej filozofii (SCS 2013), Trenčianske Teplice, Slovensko, září 2013.
  • Some modifications of inquisitive semantics, Logica 2013, Hejnice, ČR, červen 2013.
  • A logic of assertibility and deniability, International Symposium of Epistemology, Logic and Language (ISELL2012), Lisabon, Portugalsko, říjen 2012.
  • Kde je hranice mezi sémantikou a pragmatikou?,  XVI. Slovensko-české symposium o analytické filosofii, Třešť, ČR, září 2012.
  • Conditionals and Contexts, Logic Workshop at Buenos Aires - A Tribute to Horacio Arló-Costa, Buenos Aires, Argentina, srpen 2012.
  • Matematický realismus a naturalismus Penelope Maddy,  XV. Česko-slovenské symposium o analytickej filozofii, Vrútky, Slovensko, září 2011.
  • A modification of Carnap's modal logic, Logica 2010, Hejnice, ČR, červen 2010.

  Organizace

  Spoluorganizátor konferencí: Logica 2011, Logica 2012, Logica 2013, Logica 2014, Logica 2015, Logica 2016, Logica 2017, Logica 2018

Grantové projekty

Člen řešitelského týmu projektů:

• Logická struktura informačních kanálů (2021-2025, hlavní řešitel, Junior Star projekt GA ČR, 21-23610M)
• Neklasické modely informační dynamiky (2018-2020, GA ČR, 18-19162Y)
• Logické modely usuzování a argumentace v přirozeném jazyce (2017-2019, GA ČR, 17-15645S)
• From Shared Evidence to Group Attitudes (2016-2018, Deutsche Forschungsgemeinschaft and Czech Science Foundation GA16-07954J)
• Základy logiky ve světle nových výsledků filosofie a vědy (2013-2016, GA ČR, GA13-21076S)
• Apriorní, syntetické a analytické od středověku po současnou filozofii (2011-2015, GA ČR, GAP401/11/0371)
• Logické základy sémantiky (2009-2012, GA ČR, GD401/09/H007)

Výuka

FF UK Praha

Logika 2011/12, 2014/15, 2020/21 [dvousemestrální]

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, 2019/20 [dvousemestrální]

Logická propedeutika 2021/22 [jednosemestrální]

Philosophy of Mathematics 2020/21, 2023/2024 [jednosemestrální]

Frege od A do Z 2017/18 [jednosemestrální]

Úvod do teoretické sémantiky 2011/12, 2012/13, 2013/14, 2014/15, 2015/16 [jednosemestrální]

Seminář k předmětu Filosofie jazyka 2013/14 [dvousemestrální]

Logická analýza jazyka 2009/10

FF UHK

Logika 2012/13, 2013/14

Kritické myšlení a argumentace 2013/14

Logická analýza jazyka 2013/14