Switch to: References

Add citations

You must login to add citations.
  1. That’s It! Hyperintensional Total Logic.Stephan Krämer - 2023 - Journal of Philosophical Logic 52 (4):963-1004.
    Call a truth complete with respect to a subject matter if it entails every truth about that subject matter. One attractive way to formulate a complete truth is to state all the relevant positive truths, and then add: and that’s it. When the subject matters under consideration are non-contingent, a non-trivial conception of completeness must invoke a hyperintensional conception of entailment, and of the completion operation denoted by ‘that’s it’. This paper develops two complementary hyperintensional conceptions of completion using the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Metaphysics in Counterfactual Logic.Samuel Elgin - manuscript
    This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is equivalent (...)
    Download  
     
    Export citation  
     
    Bookmark