Switch to: References

Add citations

You must login to add citations.
  1. Supervaluationism, Modal Logic, and Weakly Classical Logic.Joshua Schechter - 2024 - Journal of Philosophical Logic 53 (2):411-61.
    A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical consequence according (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The correctness and relevance of the modal ontological argument.Andrzej Biłat - 2020 - Synthese 199 (1):2727-2743.
    This paper deals with some metaphilosophical aspects of the modal ontological argument originating from Charles Hartshorne. One of the specific premises of the argument expresses the idea that the existence of God is not contingent. Several well-known versions of the argument have been formulated that appeal to different ways of clarifying the latter. A question arises: which of the formally correct and relevant versions is proper or basic? The paper points to some criteria of formal correctness, and distinguishes two types (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reflecting rules: A note on generalizing the deduction theorem.Gillman Payette - 2015 - Journal of Applied Logic 13 (3):188-196.
    The purpose of this brief note is to prove a limitative theorem for a generalization of the deduction theorem. I discuss the relationship between the deduction theorem and rules of inference. Often when the deduction theorem is claimed to fail, particularly in the case of normal modal logics, it is the result of a confusion over what the deduction theorem is trying to show. The classic deduction theorem is trying to show that all so-called ‘derivable rules’ can be encoded into (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Non-genuine MacIntosh logics.Timothy Williamson - 1994 - Journal of Philosophical Logic 23 (1):87 - 101.
    The full-text of this article is not currently available in ORA, but the original publication is available at springerlink.com.
    Download  
     
    Export citation  
     
    Bookmark   1 citation