24 found
Order:
See also
Igor Sedlár
Czech Academy of Sciences
  1.  24
    Hyperintensional Logics for Everyone.Igor Sedlár - 2019 - Synthese 198 (2):933-956.
    We introduce a general representation of unary hyperintensional modalities and study various hyperintensional modal logics based on the representation. It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework. Completeness results pertaining to our hyperintensional modal logics are established.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  23
    Substructural Epistemic Logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
    The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics with distributive substructural logics. Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point set. The main technical result is a general completeness theorem. Axiomatisations are provided by means of two-sorted Hilbert-style calculi. It is also shown that the framework presents a natural solution to the problem of logical omniscience.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  4
    Propositional Dynamic Logic with Belnapian Truth Values.Igor Sedlár - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 503-519.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  72
    C. I. Lewis on Possible Worlds.Igor Sedlar - 2009 - History and Philosophy of Logic 30 (3):283-291.
    This article opposes a view widely accepted in studies concerning the history of modal logic, according to which (i) the approach of C. I. Lewis towards constructing modern modal logic was purely syntactical (i.e. limited to the construction of axiomatic systems S1-S5 of propositional modal logic), and (ii) the notion of a possible world was incorporated into modern logic and philosophy mainly by authors such as Rudolf Carnap and Saul Kripke. The article presents Lewis' definition of a possible world, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  9
    Justifications, Awareness and Epistemic Dynamics.Igor Sedlár - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 307-318.
    The paper introduces a new kind of models for the logic of proofs LP, the group justification models. While being an elaboration of Fitting models, the group justification models are a special case of the models of general awareness. Soundness and completeness results of LP with respect to the new semantics are established. The paper also offers an interpretation of the group models, which pertains to awareness and group epistemic dynamics.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  28
    An Outline of a Substructural Model of BTA Belief.Igor Sedlar - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):160-170.
    The paper outlines an epistemic logic based on the proof theory of substructural logics. The logic is a formal model of belief that i) is based on true assumptions (BTA belief) and ii) does not suffer from the usual omniscience properties.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  4
    Inter-Model Connectives and Substructural Logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Springer. pp. 195-209.
    The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  13
    V čom sa nemôžete mýliť?Igor Sedlár - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (3):351-362.
    The paper sketches an analysis of the notion of a self-fulfilling belief in terms of doxastic modal logic. We point out a connection between self-fulfilling beliefs and Moore’s paradox. Then we look at self-fulfilling beliefs in the context of neighborhood semantics. We argue that the analysis of several interesting self-fulfilling beliefs has to make essential use of propositional quantification.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  9.  3
    Information, Awareness and Substructural Logics.Igor Sedlár - 2013 - In Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.), Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071). Springer. pp. 266-281.
    The paper outlines a generalisation of the awareness-based epistemic semantics by Fagin and Halpern. Awareness is construed as a relation between agents and pieces of information instead of formulas. The main motive for introducing the generalisation is that it shows substructural logics to be a natural component of information-based epistemic logic: substructural logics can be seen as describing the logical behaviour of pieces of information. Substructural epistemic logics are introduced and some of their properties are discussed. In addition, extensions of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. The Logica Yearbook 2019.Martin Blicha & Igor Sedlár (eds.) - forthcoming - College Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  5
    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  
  12. Action Frames for Weak Relevant Logics.Igor Sedlár - 2015 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2014. College Publications. pp. 267-279.
    The article introduces extended models for the propositional dynamic logic PDL. In extended models, valuation assigns to every state a set of atomic formulas and a PDL program. The program is informally construed as an action preferred by a contextually fixed agent. PDL is then extended by introducing a conditional connective expressing partial correctness claims. The main contribution of the article is the observation that the partial correctness conditional is in fact a substructural implication. It is shown that a variant (...)
     
    Export citation  
     
    Bookmark  
  13.  8
    Correction To: Lambek Calculus with Conjugates.Igor Sedlár & Andrew Tedder - 2021 - Studia Logica 109 (3):471-471.
    We, the authors, would like to thank Guillaume Aucher for informing us of his “Displaying Updates in Logic”, published in the Journal of Logic and Computation, 26:1865-1912.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  7
    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  
  15. Infallibility and Logic.Igor Sedlar - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (1):239-254.
     
    Export citation  
     
    Bookmark  
  16. Implication and Three Types of Meaning Connection.Igor Sedlar - 2009 - Filozofia 64 (4):339-345.
    The primary aim of the paper is to introduce a new notion of relevance of the antecedent of a true implication statement to its consequent, and to sketch a formalization of the new notion. The formalization is set up in the framework of the so called Logic of Strict Processes , as articulated by the author in collaboration with J. Podroužek. Their approach to the relevance is presented as a natural part of a wider specter of logics, including modal and (...)
     
    Export citation  
     
    Bookmark  
  17. Kant and Frege on Analyticity.Igor Sedlar - 2007 - Filozofia 62 (4):336-347.
    The question, whether there is a sharp difference between an analytic and a synthetic proposition, is one of the famous philosophical topics of the 20th century. The question, however, urges one to ask following questions: "What is an analytic proposition?", or „What is a synthetic proposition?“. The aim of the paper is to contribute to the discussions of the analyticity in that it tries to answer the first of the two. However, the author does not offer his own conception of (...)
     
    Export citation  
     
    Bookmark  
  18.  4
    Lambek Calculus with Conjugates.Igor Sedlár & Andrew Tedder - 2021 - Studia Logica 109 (3):447-470.
    We study an expansion of the Distributive Non-associative Lambek Calculus with conjugates of the Lambek product operator and residuals of those conjugates. The resulting logic is well-motivated, under-investigated and difficult to tackle. We prove completeness for some of its fragments and establish that it is decidable. Completeness of the logic is an open problem; some difficulties with applying the usual proof method are discussed.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  20
    Moorean Sentences in Update Semantics.Igor Sedlár - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (2):142-153.
    We outline a novel solution to Moore’s paradox within the framework of update semantics, which explains Moorean absurdity in terms of non-cohesiveness. It is argued that, unlike the outlined solution, Gillies’ treatment of the paradox within this framework is not satisfactory.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  13
    Neomylnosť a logika1.Igor Sedlár - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:239-254.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  17
    On What You Cannot Be Mistaken About?Igor Sedlar - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (3):351-362.
    The paper sketches an analysis of the notion of a self-fulfilling belief in terms of doxastic modal logic. We point out a connection between self-fulfilling beliefs and Moore’s paradox. Then we look at self-fulfilling beliefs in the context of neighborhood semantics. We argue that the analysis of several interesting self-fulfilling beliefs has to make essential use of propositional quantification.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Relating Logics of Justification and Evidence.Igor Sedlár - 2014 - In Vít Punčochář & Michal Dančák (eds.), The Logica Yearbook 2013. College Publications. pp. 207-222.
    The paper relates evidence and justification logics, both philosophically and technically. On the philosophical side, it is suggested that the difference between the approaches to evidence in the two families of logics can be explained as a result of their focusing on two different notions of support provided by evidence. On the technical side, a justification logic with operators pertaining to both kinds of support is shown to be sound and complete with respect to a special class of awareness models. (...)
     
    Export citation  
     
    Bookmark  
  23. The Logica Yearbook 2018.Igor Sedlár & Martin Blicha (eds.) - 2019 - College Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  24.  12
    The Semantics of Empirical Unverifiability.Igor Sedlár - 2015 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 22 (3):358-377.
    Pavel Cmorej has argued that the existence of unverifiable and unfalsifiable empirical propositions follows from certain plausible assumptions concerning the notions of possibility and verification. Cmorej proves, it the context of a bi-modal alethic-epistemic axiom system AM4, that (1) p and it is not verified that p is unverifiable; (2) p or it is falsified that p is unfalsifiable; (3) every unverifiable p is logically equivalent to p and it is not verifiable that p; (4) every unverifiable p entails that (...)
    Direct download  
     
    Export citation  
     
    Bookmark