10 found
Order:
See also:
Profile: Igor Sedlár (Comenius University)
  1.  7
    Igor Sedlar (2013). An Outline of a Substructural Model of BTA Belief. 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  
     
    My bibliography   1 citation  
  2.  42
    Igor Sedlar (2009). C. I. Lewis on Possible Worlds. 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 (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  6
    Igor Sedlár (2011). Moorean Sentences in Update Semantics. 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  
     
    My bibliography  
  4.  8
    Igor Sedlár (2012). Neomylnosť a logika1. Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:239-254.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  5.  4
    Igor Sedlár (2011). V čom sa nemôžete mýliť? 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
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  6.  1
    Igor Sedlár (2015). Substructural Epistemic Logics. 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 (3 more)  
     
    Export citation  
     
    My bibliography  
  7. Igor Sedlar (2012). Infallibility and Logic. Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (1):239-254.
     
    Export citation  
     
    My bibliography  
  8. Igor Sedlar (2009). Implication and Three Types of Meaning Connection. 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  
     
    My bibliography  
  9. Igor Sedlar (2007). Kant and Frege on Analyticity. 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  
     
    My bibliography  
  10. Igor Sedlar (2011). On What You Cannot Be Mistaken About? 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.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography