Switch to: References

Add citations

You must login to add citations.
  1. Modeling future indeterminacy in possibility semantics.Fabrizio Cariani - manuscript
    Possibility semantics offers an elegant framework for a semantic analysis of modal logic that does not recruit fully determinate entities such as possible worlds. The present papers considers the application of possibility semantics to the modeling of the indeterminacy of the future. Interesting theoretical problems arise in connection to the addition of object-language determinacy operator. We argue that adding a two-dimensional layer to possibility semantics can help solve these problems. The resulting system assigns to the two-dimensional determinacy operator a well-known (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Identity and Harmony and Modality.Julian J. Schlöder - 2023 - Journal of Philosophical Logic 52 (5):1269-1294.
    Stephen Read presented harmonious inference rules for identity in classical predicate logic. I demonstrate here how this approach can be generalised to a setting where predicate logic has been extended with epistemic modals. In such a setting, identity has two uses. A rigid one, where the identity of two referents is preserved under epistemic possibility, and a non-rigid one where two identical referents may differ under epistemic modality. I give rules for both uses. Formally, I extend Quantified Epistemic Multilateral Logic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Epistemic Modals in Hypothetical Reasoning.Maria Aloni, Luca Incurvati & Julian J. Schlöder - 2023 - Erkenntnis 88 (8):3551-3581.
    Data involving epistemic modals suggest that some classically valid argument forms, such as _reductio_, are invalid in natural language reasoning as they lead to modal collapses. We adduce further data showing that the classical argument forms governing the existential quantifier are similarly defective, as they lead to a _de re–de dicto_ collapse. We observe a similar problem for disjunction. But if the classical argument forms for negation, disjunction and existential quantification are invalid, what are the correct forms that govern the (...)
    Download  
     
    Export citation  
     
    Bookmark