Switch to: References

Add citations

You must login to add citations.
  1. Philosophy, Drama and Literature.Rick Benitez - 2011 - In Graham Robert Oppy, Nick Trakakis, Lynda Burns, Steven Gardner & Fiona Leigh (eds.), A companion to philosophy in Australia & New Zealand. Clayton, Victoria, Australia: Monash University Publishing. pp. 371-372.
    Philosophy and Literature is an internationally renowned refereed journal founded by Denis Dutton at the University of Canterbury, Christchurch. It is now published by the Johns Hopkins University Press. Since its inception in 1976, Philosophy and Literature has been concerned with the relation between literary and philosophical studies, publishing articles on the philosophical interpretation of literature as well as the literary treatment of philosophy. Philosophy and Literature has sometimes been regarded as iconoclastic, in the sense that it repudiates academic pretensions, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Actuality, Tableaux, and Two-Dimensional Modal Logics.Fabio Lampert - 2018 - Erkenntnis 83 (3):403-443.
    In this paper we present tableau methods for two-dimensional modal logics. Although models for such logics are well known, proof systems remain rather unexplored as most of their developments have been purely axiomatic. The logics herein considered contain first-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actual or reference worlds, and the lower indices representing worlds of evaluation—first and second dimensions, respectively. The tableaux modulate (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Contrariety re-encountered: nonstandard contraries and internal negation*.Lloyd Humberstone - 2023 - Logic Journal of the IGPL 31 (6):1084-1134.
    This discussion explores the possibility of distinguishing a tighter notion of contrariety evident in the Square of Opposition, especially in its modal incarnations, than as that binary relation holding statements that cannot both be true, with or without the added rider ‘though can both be false’. More than one theorist has voiced the intuition that the paradigmatic contraries of the traditional Square are related in some such tighter way—involving the specific role played by negation in contrasting them—that distinguishes them from (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Sequent Calculus for Urn Logic.Rohan French - 2015 - Journal of Logic, Language and Information 24 (2):131-147.
    Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be read as saying that “after the individuals a1,..., an have been drawn, A is the case”.
    Download  
     
    Export citation  
     
    Bookmark   1 citation