Year:

  1.  11
    A Note on Priest's Mereology.Aaron Cotnoir - 2018 - Australasian Journal of Logic 15 (4):642.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  5
    The Boxdot Conjecture and the Generalized McKinsey Axiom.Christopher Steinsvold - 2018 - Australasian Journal of Logic 15 (3):630-641.
    The Boxdot Conjecture is shown to hold for a novel class of modal systems. Each system in this class is K plus an instance of a natural generalization of the McKinsey axiom. [Note from the editors: This paper was accepted for publication in 2011. It should have been published in 2014. The lateness of the appearance of the article is due entirely to an editorial oversight.].
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  46
    Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC.Richard Zach - 2018 - Australasian Journal of Logic 15 (3):609-628.
    Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  4
    Paraconsistency and its Philosophical Interpretations.Eduardo Barrio & Bruno Da Re - 2018 - Australasian Journal of Logic 15 (2):151-170.
    Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  2
    Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics.Katalin Bimbo, Jon Michael Dunn & Nicholas Ferenz - 2018 - Australasian Journal of Logic 15 (2):171-209.
    A ternary relation is often used nowadays to interpret an implication connective of a logic, a practice that became dominant in the semantics of relevance logics. This paper examines two early manuscripts --- one by Routley, another by Meyer --- in which they were developing set-theoretic semantics for various relevance logics. A standard presentation of a ternary relational semantics for, let us say, the logic of relevant implication R is quite illuminating, yet the invention of this semantics was fraught with (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  5
    Starting the Dismantling of Classical Mathematics.Ross Brady - 2018 - Australasian Journal of Logic 15 (2):280-300.
    This paper uses the relevant logic, MCQ, of meaning containment to explore mathematics without various classical theses, in particular, without the law of excluded middle.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  16
    Introduction.Filippo Casati, Chris Mortensen & Graham Priest - 2018 - Australasian Journal of Logic 15 (2):28.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  27
    Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.
    This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  11
    Full-Blooded Anti-Exceptionalism About Logic.Newton Da Costa & Jonas R. Becker Arenhart - 2018 - Australasian Journal of Logic 15 (2):362-380.
    Problems of logical theory choice are current being widely dis- cussed in the context of anti-exceptionalist views on logic. According to those views, logic is not a special science among others, so, in particular, the methodology for theory choice should be the same in logic as for other scientific disciplines. Richard Routley advanced one such methodology which meshes well with anti-exceptionalism, and argued that it leads one to choosing one single logic, which is a kind of ultralogic. We argue that (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  2
    Richard Routley, "Semantic Analysis of Entailment and Relevant Implications: I".Nicholas Ferenz - 2018 - Australasian Journal of Logic 15 (2):210-279.
    A transcription of Richard Routley's manuscript, "Semantic Analysis of Entailment and Relevant Implication: I".
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  6
    Parity, Revelance, and Gentle Explosiveness in the Context of Sylvan's Mate Function.Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):381-406.
    The Routley star, an involutive function between possible worlds or set-ups against which negation is evaluated, is a hallmark feature of Richard Sylvan and Val Plumwood's set-up semantics for the logic of first-degree entailment. Less frequently acknowledged is the weaker mate function described by Sylvan and his collaborators, which results from stripping the requirement of involutivity from the Routley star. Between the mate function and the Routley star, however, lies an broad field of intermediate semantical conditions characterizing an infinite number (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  4
    Everything is True.Luis Estrada González - 2018 - Australasian Journal of Logic 15 (2):64-76.
    I defend the idea that there are universal fictions, and that the Routley-Deutsch-Kapsner way of generating them – namely, with a story including deliberately and explicitly the proposition Everything is true – is still the best one. I reconstruct Wildman and Folde’s Finean criticisms to universal fictions a la Routley-Deutsch-Kapsner based on the idea that the universal quantifier in such fictions may not target the intended range of quantification, that is, all propositions. I show that Wildman and Folde’s argument does (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  1
    Is There a Need for Intrinsic Values in Conservation Biology?Dominic Hyde - 2018 - Australasian Journal of Logic 15 (2):498-512.
    Conservation biology has amongst its aims the conservation of the biologically valuable. As a consequence, some underlying theory of value is invoked. Clear challenges to orthodox value theory have been on the table for some time now, with some arguing for recognition of intrinsic values in nature, and some conservation biologists subsequently drawing on such a view. However, this development of value theory has recently been criticised for lacking sufficient clarity and failing to serve the needs of decision-making in conservation (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  1
    The Last Man.Roger Lamb - 2018 - Australasian Journal of Logic 15 (2):513-591.
    I examine the basic logical character of ‘the last man example’, as well as the logical character of one of its more important variants. Although it has one striking antecedent in recent philosophy – of which more later – it’s fair to regard it as an example first presented to a contemporary audience by Richard Routley in his 1973 paper, ‘Is There a Need for a New, an Environmental, Ethic?’. I want to determine exactly how the example goes and what (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. The Urgency of the Greening of Ethics.Anna Malavisi - 2018 - Australasian Journal of Logic 15 (2):592-608.
    Richard Sylvan, a vanguard in the field of environmental philosophy published a book in 1994 with David Bennett titled The Greening of Ethics. Nearly twenty-five years later, where the environmental situation of our world is even more serious, and where some governments deny the existence and negative effects of human caused climate change, the greening of ethics is even more urgent. In this paper, I revisit Sylvan’s and Bennett’s work arguing that their approach to environmental ethics should be one that (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  5
    Exploring Routley's Nuclear Meinongianism and Beyond.Fujikawa Naoya - 2018 - Australasian Journal of Logic 15 (2):41.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  18
    Reflections on Routley's Ultralogic Program.Daniel Nolan - 2018 - Australasian Journal of Logic 15 (2):407-430.
    In this paper, I take up three tasks in turn. The first is to set out what Routley thought we should demand of an all-purpose universal logic, and some of his reasons for those demands. The second is to sketch Routley's own response to those demands. The third is to explore how else we could satisfy some of the theoretical demands Routley identified, if we are not to follow him in endorsing Routleyan Ultralogic as a foundational logic. As part of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  8
    Sosein as Subject Matter.Matteo Plebani - 2018 - Australasian Journal of Logic 15 (2):77-94.
    Meinongians in general, and Routley in particular, subscribe to the principle of the independence of Sosein from Sein. In this paper, I put forward an interpretation of the independence principle that philosophers working outside the Meinongian tradition can accept. Drawing on recent work by Stephen Yablo and others on the notion of subject matter, I offer a new account of the notion of Sosein as a subject matter and argue that in some cases Sosein might be independent from Sein. The (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  1
    Sylvan's Bottle and Other Problems.Diane Proudfoot - 2018 - Australasian Journal of Logic 15 (2):95-123.
    According to Richard Routley, a comprehensive theory of fiction is impossible, since almost anything is in principle imaginable. In my view, Routley is right: for any purported logic of fiction, there will be actual or imaginable fictions that successfully counterexample the logic. Using the example of ‘impossible’ fictions, I test this claim against theories proposed by Routley’s Meinongian contemporaries and also by Routley himself and his 21st century heirs. I argue that the phenomenon of impossible fictions challenges even today’s modal (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Bayesian Confirmation, Connexivism and an Unkindness of Ravens.Elisangela Ramirez - 2018 - Australasian Journal of Logic 15 (2):449-475.
    Bayesian confirmation theories might be the best standing theories of confirmation to date, but they are certainly not paradox-free. Here I recognize that BCTs’ appeal mainly comes from the fact that they capture some of our intuitions about confirmation better than those the- ories that came before them and that the superiority of BCTs is suffi- ciently justified by those advantages. Instead, I will focus on Sylvan and Nola’s claim that it is desirable that our best theory of confirmation be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  13
    A Note on Goddard and Routley's Significance Logic.Damian Szmuc & Hitoshi Omori - 2018 - Australasian Journal of Logic 15 (2):431-448.
    The present note revisits the joint work of Leonard Goddard and Richard Routley on significance logics with the aim of shedding new light on their understanding by studying them under the lens of recent semantic developments, such as the plurivalent semantics developed by Graham Priest. These semantics allow sentences to receive one, more than one, or no truth-value at all from a given carrier set. Since nonsignificant sentences are taken to be neither true nor false, i.e. truth-value gaps, in this (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Logically Impossible Worlds.Koji Tanaka - 2018 - Australasian Journal of Logic 15 (2):489.
  23.  4
    Ontological Syncretistic Noneism.Alberto Voltolini - 2018 - Australasian Journal of Logic 15 (2):124-138.
    In this paper I want to claim, first, that despite close similarities, noneism and Crane’s psychological reductionism are different ontological doctrines. For unlike the latter, the former is ontologically committed to objects that are nonentities. Once one splits ontological from existential commitment, this claim, I guess, is rather uncontroversial. Second, however, I want to claim something more controversial; namely, that this ontological interpretation of noneism naturally makes noneism be nonstandardly read as a form of allism, to be however appropriately distinguished (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  4
    Negation as Cancellation, Connexive Logic, and qLPm.Heinrich Wansing - 2018 - Australasian Journal of Logic 15 (2):476-488.
    In this paper, we shall consider the so-called cancellation view of negation and the inferential role of contradictions. We will discuss some of the problematic aspects of negation as cancellation, such as its original presentation by Richard and Valery Routley and its role in motivating connexive logic. Furthermore, we will show that the idea of inferential ineffectiveness of contradictions can be conceptually separated from the cancellation model of negation by developing a system we call qLPm, a combination of Graham Priest’s (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  6
    Bi-Modal Naive Set Theory.John Wigglesworth - 2018 - Australasian Journal of Logic 15 (2):139-150.
    This paper describes a modal conception of sets, according to which sets are 'potential' with respect to their members. A modal theory is developed, which invokes a naive comprehension axiom schema, modified by adding `forward looking' and `backward looking' modal operators. We show that this `bi-modal' naive set theory can prove modalized interpretations of several ZFC axioms, including the axiom of infinity. We also show that the theory is consistent by providing an S5 Kripke model. The paper concludes with some (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  17
    Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic.Steven Kuhn & Brian Weatherson - 2018 - Australasian Journal of Logic 15 (1).
    Lloyd Humberstone’s recently published Philosophical Applications of Modal Logic presents a number of new ideas in modal logic as well explication and critique of recent work of many others. We extend some of these ideas and answer some questions that are left open in the book.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. On the Negative Disjuntion Property.Craig Graham Mckay - 2018 - Australasian Journal of Logic 15 (1).
    In the field of intermediate logics, the concept of the disjunction property plays an important part. Lloyd Humberstone has drawn my attention to an analogious principle called the Negative Disjunction Property which applies when the disjuncts involved are negated. The author investigates the NDP in the case of intermediate propositional logics.
    Direct download  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues