Switch to: References

Add citations

You must login to add citations.
  1. Counterfactuals and Semantic Tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
    The purpose of this paper is to develop a class of semantic tableau systems for some counterfactual logics. All in all I will discuss 1024 systems. Possible world semantics is used to interpret our formal languages. Soundness results are obtained for every tableau system and completeness results for a large subclass of these.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Deontic Logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
  • Moral Dilemmas and Consistency in Ethics.Terrance C. McConnell - 1978 - Canadian Journal of Philosophy 8 (2):269 - 287.
    A moral dilemma is a situation in which an agent ought to do each of two actions, Both of which he cannot do. If there are genuine moral dilemmas, The ethical theorist is presented with a problem: he must reject several very plausible principles of standard deontic logic. The main reasons usually given to show that there are moral dilemmas are examined, And it is argued that they are not sufficient. Several positive arguments are then presented, Arguments which try to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  • The Right to Believe Truth Paradoxes of Moral Regret for No Belief and the Role(s) of Logic in Philosophy of Religion.Billy Joe Lucas - 2012 - International Journal for Philosophy of Religion 72 (2):115-138.
    I offer you some theories of intellectual obligations and rights (virtue Ethics): initially, RBT (a Right to Believe Truth, if something is true it follows one has a right to believe it), and, NDSM (one has no right to believe a contradiction, i.e., No right to commit Doxastic Self-Mutilation). Evidence for both below. Anthropology, Psychology, computer software, Sociology, and the neurosciences prove things about human beliefs, and History, Economics, and comparative law can provide evidence of value about theories of rights. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Deontic Logic and Possible Worlds Semantics: A Historical Sketch.Jan Woleński - 1990 - Studia Logica 49 (2):273 - 282.
    This paper describes and compares the first step in modern semantic theory for deontic logic which appeared in works of Stig Kanger, Jaakko Hintikka, Richard Montague and Saul Kripke in late 50s and early 60s. Moreover, some further developments as well as systematizations are also noted.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Meeting of the Association for Symbolic Logic, Chicago, 1989.Kenneth Manders - 1990 - Journal of Symbolic Logic 55 (1):436-445.
  • Decision Procedures and Semantics for Feys' System S2° and Surrounding Systems.R. Routley - 1970 - Mathematical Logic Quarterly 16 (2):165-174.