27 found
Order:
See also
  1.  26
    Substructural inquisitive logics.Vít Punčochář - 2019 - Review of Symbolic Logic 12 (2):296-330.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  2.  18
    A Relevant Logic of Questions.Vít Punčochář - 2020 - Journal of Philosophical Logic 49 (5):905-939.
    This paper introduces the inquisitive extension of R, denoted as InqR, which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for InqR is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer semantics for R. Moreover, InqR is axiomatized and completeness of the axiomatic system is established. The philosophical interpretation of the duality between Routley-Meyer semantics and the semantics for InqR is (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  3.  32
    A Generalization of Inquisitive Semantics.Vít Punčochář - 2016 - Journal of Philosophical Logic 45 (4):399-428.
    This paper introduces a generalized version of inquisitive semantics, denoted as GIS, and concentrates especially on the role of disjunction in this general framework. Two alternative semantic conditions for disjunction are compared: the first one corresponds to the so-called tensor operator of dependence logic, and the second one is the standard condition for inquisitive disjunction. It is shown that GIS is intimately related to intuitionistic logic and its Kripke semantics. Using this framework, it is shown that the main results concerning (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  25
    Indicative Conditionals in Objective Contexts.Vít Punčochář & Christopher Gauker - 2020 - Theoria 86 (5):651-687.
    A conversation can be conceived as aiming to circumscribe a set of possibilities that are relevant to the goals of the conversation. This set of possibilities may be conceived as determined by the goals and objective circumstances of the interlocutors and not by their propositional attitudes. An indicative conditional can be conceived as circumscribing a set of possibilities that have a certain property: If the set of relevant possibilities is subsequently restricted to one in which the antecedent holds, then it (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  21
    Weak Negation in Inquisitive Semantics.Vít Punčochář - 2015 - Journal of Logic, Language and Information 24 (3):323-355.
    This paper introduces and explores a conservative extension of inquisitive logic. In particular, weak negation is added to the standard propositional language of inquisitive semantics, and it is shown that, although we lose some general semantic properties of the original framework, such an enrichment enables us to model some previously inexpressible speech acts such as weak denial and ‘might’-assertions. As a result, a new modal logic emerges. For this logic, a Fitch-style system of natural deduction is formulated. The main result (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  6.  10
    From Positive PDL to its Non-Classical Extensions.Igor Sedlár & Vít Punčochář - 2019 - Logic Journal of the IGPL 27 (4):522-542.
    We provide a complete binary implicational axiomatization of the positive fragment of propositional dynamic logic. The intended application of this result are completeness proofs for non-classical extensions of positive PDL. Two examples are discussed in this article, namely, a paraconsistent extension with modal De Morgan negation and a substructural extension with the residuated operators of the non-associative Lambek calculus. Informal interpretations of these two extensions are outlined.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  10
    Inquisitive Propositional Dynamic Logic.Vít Punčochář & Igor Sedlár - 2021 - Journal of Logic, Language and Information 30 (1):91-116.
    This paper combines propositional dynamic logic ) with propositional inquisitive logic ). The result of this combination is a logical system \ that conservatively extends both \ and \, and, moreover, allows for an interaction of the question-forming operator from \ with the structured modalities from \. We study this system from a semantic as well as a syntactic point of view. These two perspectives are linked via a completeness proof, which also shows that \ is decidable.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  8.  20
    Inquisitive Heyting Algebras.Vít Punčochář - 2021 - Studia Logica 109 (5):995-1017.
    In this paper we introduce a class of inquisitive Heyting algebras as algebraic structures that are isomorphic to algebras of finite antichains of bounded implicative meet semilattices. It is argued that these structures are suitable for algebraic semantics of inquisitive superintuitionistic logics, i.e. logics of questions based on intuitionistic logic and its extensions. We explain how questions are represented in these structures and provide several alternative characterizations of these algebras. For instance, it is shown that a Heyting algebra is inquisitive (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  9.  45
    Some Modifications of Carnap’s Modal Logic.Vít Punčochář - 2012 - Studia Logica 100 (3):517-543.
    In this paper, Carnap's modal logic C is reconstructed. It is shown that the Carnapian approach enables us to create some epistemic logics in a relatively straightforward way. These epistemic modifications of C are axiomatized and one of them is compared with intuitionistic logic. At the end of the paper, some connections between this epistemic logic and Medvedev's logic of finite problems and inquisitive semantics are shortly discussed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10. The Logica Yearbook.Michal Peliš & Vít Punčochář (eds.) - 2011 - College Publications.
  11.  2
    The Logica Yearbook 2012.Vit Puncochar & Petr Svarny (eds.) - 2013 - College Publications.
    This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2012, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  1
    The Logica Yearbook 2010.Michal Pelis & Vit Puncochar (eds.) - 2011
    This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2010, Hejnice, the Czech Republic. the articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. The Logica Yearbook 2013.Michal Dancak & Vit Puncochar (eds.) - 2014
    This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2013, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. The Logica Yearbook 2011.Michal Pelis & Vit Puncochar (eds.) - 2012 - College Publications.
     
    Export citation  
     
    Bookmark  
  15. Carnap's Modal Logic C.Vit Puncochar - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (2):163-184.
     
    Export citation  
     
    Bookmark  
  16. Disjunction and Negation in Information Based Semantics.Vít Punčochář & Andrew Tedder - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 355-371.
    We investigate an information based generalization of the incompatibility-frame treatment of logics with non-classical negation connectives. Our framework can be viewed as an alternative to the neighbourhood semantics for extensions of lattice logic by various negation connectives, investigated by Hartonas. We set out the basic semantic framework, along with some correspondence results for extensions. We describe three kinds of constructions of canonical models and show that double negation law is not canonical with respect to any of these constructions. We also (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Jak je možná svobodná volba v deterministickém světě.Vít Punčochář - 2021 - Filosofie Dnes 13 (1).
    V tomto článku předkládám některé důvody proti Dvořákovu nedeterministickému pojetí svobodné vůle, které vyložil ve své nedávno publikované knize Kauzalita činitele. Zejména se zabývám Dvořákovým řešením problému náhody, podle kterého je akt svobodné vůle náhodný do té míry, do jaké se nepodřizuje deterministickým zákonům, a do této míry také nemůže být předmětem morálního hodnocení. Proti Dvořákově koncepci stavím vlastní pojetí svobodné vůle, které je variací na to, co Dvořák označuje jako „standardní teorie“. Z hlediska tohoto pojetí je svobodná vůle možná (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Logica 2012.Vit Puncochar - 2012 - Filosoficky Casopis 60 (5):794-795.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Logica Yearbook 2013.Vit Puncochar (ed.) - 2014 - College Publications.
     
    Export citation  
     
    Bookmark  
  20. Logica Year Book 2012.Vit Puncochar & Petr Svarny (eds.) - 2013 - College Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  21. Mathematical Realism and Penelope Maddy's Naturalism.Vit Puncochar - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (1).
     
    Export citation  
     
    Bookmark  
  22. The Logica Yearbook 2013.Punčochář Vít & Dančák Michal (eds.) - 2014 - College Publications.
     
    Export citation  
     
    Bookmark  
  23. Truth Vs. Assertability.Vit Puncochar - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20:122-143.
     
    Export citation  
     
    Bookmark  
  24.  1
    Iterated Team Semantics for a Hierarchy of Informational Types.Vít Punčochář - 2022 - Annals of Pure and Applied Logic 173 (10):103156.
  25.  13
    Carnapova modální logika C.Vít Punčochář - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (2):163-184.
    In this paper, we present Carnap’s modal logic C, which is one of the first attempts to use the concept of possible world in shaping the semantics for modalities. Some older technical results, which concern the logic C, are summarized, namely two different kinds of axiomatization of C, one unusual characterization of C as the only set of formulae having one special property, and semantical and syntactical relations of C to S5. The fact that C is not closed under the (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  12
    Matematický Realismus a Naturalismus Penelope Maddy1.Vít Punčochář - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:199-226.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  12
    Pravdivost Vs. Tvrditelnost.Vít Punčochář - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (1):122-143.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark