10 found
Order:
  1.  43
    A Note on Logics of Ignorance and Borders.Christopher Steinsvold - 2008 - Notre Dame Journal of Formal Logic 49 (4):385-392.
    We present and show topological completeness for LB, the logic of the topological border. LB is also a logic of epistemic ignorance. Also, we present and show completeness for LUT, the logic of unknown truths. A simple topological completeness proof for S4 is also presented using a T1 space.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  2.  36
    Completeness for various logics of essence and accident.Christopher Steinsvold - 2008 - Bulletin of the Section of Logic 37 (2):93-102.
  3.  61
    Being Wrong: Logics for False Belief.Christopher Steinsvold - 2011 - Notre Dame Journal of Formal Logic 52 (3):245-253.
    We introduce an operator to represent the simple notion of being wrong. Read Wp to mean: the agent is wrong about p . Being wrong about p means believing p though p is false. We add this operator to the language of propositional logic and study it. We introduce a canonical model for logics of being wrong, show completeness for the minimal logic of being wrong and various other systems. En route we examine the expressiveness of the language. In conclusion, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  4.  31
    The Boxdot Conjecture and the Language of Essence and Accident.Christopher Steinsvold - 2011 - Australasian Journal of Logic 10:18-35.
    We show the Boxdot Conjecture holds for a limited but familiar range of Lemmon-Scott axioms. We re-introduce the language of essence and accident, first introduced by J. Marcos, and show how it aids our strategy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  37
    Topological Models of Belief Logics.Christopher Steinsvold - 2007 - Dissertation, Cuny Graduate Center
    In this highly original text, Christopher Steinsvold explores an alternative semantics for logics of rational belief. Topologies, as mathematical objects, are typically interpreted in terms of space; here topologies are re-interpreted in terms of an agent with rational beliefs. The topological semantics tells us that the agent can never, in principle, know everything; that the agent's beliefs can never be complete. -/- A number of completeness proofs are given for a variety of logics of rational belief. Beyond this, the author (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  31
    A Grim Semantics For Logics of Belief.Christopher Steinsvold - 2008 - Journal of Philosophical Logic 37 (1):45-56.
    Patrick Grim has presented arguments supporting the intuition that any notion of a totality of truths is incoherent. We suggest a natural semantics for various logics of belief which reflect Grim’s intuition. The semantics is a topological semantics, and we suggest that the condition can be interpreted to reflect Grim’s intuition. Beyond this, we present a natural canonical topological model for K4 and KD4.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  26
    The Boxdot Conjecture and the Generalized McKinsey Axiom.Christopher Steinsvold - 2018 - Australasian Journal of Logic 15 (3):630-641.
    The Boxdot Conjecture is shown to hold for a novel class of modal systems. Each system in this class is K plus an instance of a natural generalization of the McKinsey axiom. [Note from the editors: This paper was accepted for publication in 2011. It should have been published in 2014. The lateness of the appearance of the article is due entirely to an editorial oversight.].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  39
    A canonical topological model for extensions of K4.Christopher Steinsvold - 2010 - Studia Logica 94 (3):433 - 441.
    Interpreting the diamond of modal logic as the derivative, we present a topological canonical model for extensions of K4 and show completeness for various logics. We also show that if a logic is topologically canonical, then it is relationally canonical.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  22
    Some Formal Semantics for Epistemic Modesty.Christopher Steinsvold - 2020 - Logic and Logical Philosophy 29 (3):381-413.
    Given the frequency of human error, it seems rational to believe that some of our own rational beliefs are false. This is the axiom of epistemic modesty. Unfortunately, using standard propositional quantification, and the usual relational semantics, this axiom is semantically inconsistent with a common logic for rational belief, namely KD45. Here we explore two alternative semantics for KD45 and the axiom of epistemic modesty. The first uses the usual relational semantics and bisimulation quantifiers. The second uses a topological semantics (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  48
    The Book of Ralph.Christopher Steinsvold (ed.) - 2016 - Aurora, IL USA: Medallion Press.
    A message appears on the moon. It is legible from Earth, and almost no one knows how it was created. Markus West leads the government’s investigation to find the creator. -/- The message is simple and familiar. But those three words, written in blazing crimson letters on the lunar surface, will foster the strangest revolution humankind has ever endured and make Markus West wish he was never involved. -/- The message is ‘Drink Diet Coke.’ -/- When Coca-Cola denies responsibility, global (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark