Year:

  1.  6
    A Review of Proposed Principles of Causal Non-Monotonic Reasoning. [REVIEW]Patrick Marchisella - 2020 - Australasian Journal of Logic 17 (3):14.
    Within Non-monotonic Reasoning, numerous principles of causal reasoning have been proposed. Many of these principles have been viewed as desirable in formalisms that reason with causality, and have been widely adopted throughout the literature. We provide a critique of these principles, evaluate their suitability for characterising and formulating causal non-monotonic reasoning, and find that most are unsuitable. Further, we discuss a new approach to causal non-monotonic reasoning motivated by how humans typically reason with causality.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  3
    Revisiting McKinsey's 'Syntactical' Construction of Modality.Max Cresswell - 2020 - Australasian Journal of Logic 17 (2):123.
    In 1945 J.C.C. McKinsey produced a ‘semantics’ for modal logic based on necessity defined in terms of validity. The present papers looks at how to update F.R. Drake’s completeness proof for McKinsey’s semantics by comparing McKinsey ‘models’ with the now standard Kripke models. It also looks at the motivation behind the system McKinsey called S4.1, but which we now call S4M; and use this motivation to produce a McKinsey semantics for that system. One lesson which emerges from this work is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  1
    Non-Representable Relation Algebras From Vector Spaces.Ian Hodkinson - 2020 - Australasian Journal of Logic 17 (2):82.
    Extending a construction of Andreka, Givant, and Nemeti, we construct some finite vector spaces and use them to build finite non-representable relation algebras. They are simple, measurable, and persistently finite, and they validate arbitrary finite sets of equations that are valid in the variety RRA of representable relation algebras. It follows that there is no finitely axiomatisable class of relation algebras that contains RRA and validates every equation that is both valid in RRA and preserved by completions of relation algebras. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  3
    Free Lattices Proof-Theoretically.Tomasz Kowalski - 2020 - Australasian Journal of Logic 17 (2):110.
    A sequent system is used to give alternative proofs of two well known properties of free lattices: Whitman’s condition and semidistributivity. It demonstrates usefulness of such proof systems outside logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  2
    Introduction to Special Issue in Honour of Robert Goldblatt.Edwin Mares - 2020 - Australasian Journal of Logic 17 (2):81.
    This is a brief introduction to the special issue.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  17
    Modal Meinongianism and Object Theory.Francesco Berto, Filippo Casati, Naoya Fujikawa & Graham Priest - 2020 - Australasian Journal of Logic 17 (1):1.
    We reply to various arguments by Otavio Bueno and Edward Zalta against Modal Meinongianism, including that it presupposes, but cannot maintain, a unique denotation for names of fictional characters, and that it is not generalizable to higher-order objects. We individuate the crucial difference between Modal Meinongianism and Object Theory in the former’s resorting to an apparatus of worlds, possible and impossible, for the representational purposes for which the latter resorts to a distinction between two kinds of predication, exemplification and encoding. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    Grounding Rules and (Hyper-)Isomorphic Formulas.Francesca Poggiolesi - 2020 - Australasian Journal of Logic 17 (1):70.
    An oft-defended claim of a close relationship between Gentzen inference rules and the meaning of the connectives they introduce and eliminate has given rise to a whole domain called proof-theoretic semantics, see Schroeder- Heister ; Prawitz. A branch of proof-theoretic semantics, mainly developed by Dosen ; Dosen and Petric, isolates in a precise mathematical manner formulas that have the same meaning. These isomorphic formulas are defined to be those that behave identically in inferences. The aim of this paper is to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  6
    The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers.Daniel Rönnedal - 2020 - Australasian Journal of Logic 17 (1):22.
    The Moral Law is fulfilled iff everything that ought to be the case is the case, and The Good is realised in a possible world w at a time t iff w is deontically accessible from w at t. In this paper, I will introduce a set of temporal modal deontic systems with propositional quantifiers that can be used to prove some interesting theorems about The Moral Law and The Good. First, I will describe a set of systems without any (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues