4 found

View year:

  1.  23
    The Law of Excluded Middle and Berry’s Paradox... Finally.Ross Brady - 2024 - Australasian Journal of Logic 21 (3):100-122.
    This is the culmination of a discussion on Berry's Paradox with Graham Priest, over an extended period from 1983 to 2019, the central point being whether the Paradox can be avoided or not by removal of the Law of Excluded Middle (LEM). Priest is of the view that a form of the Paradox can be derived without the LEM, whilst Brady disputes this. We start by conceptualizing negation in the logic MC of meaning containment and introduce the LEM as part (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  26
    Condorcet-Style Paradoxes for Majority Rule with Infinte Candidates.Matthew Rachar - 2024 - Australasian Journal of Logic 21 (3):123-140.
    This paper presents two possibility results and one impossibility result about a situation with three voters under a pairwise majoritarian aggregation function voting on a countably infi nite number of candidates. First, from individual orders with no maximal or minimal element, it is possible to generate an aggregate order with a maximal or minimal element. Second, from dense individual orders, it is possible to generate a discrete aggregate order. Finally, I show that, from discrete orders with a particular property, namely (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Modeling Deep Disagreement in Default Logic.Frederik J. Andersen - 2024 - Australasian Journal of Logic 21 (2):47-63.
    Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Classical Logic Is Connexive.Camillo Fiore - 2024 - Australasian Journal of Logic (2):91-99.
    Connexive logics are based on two ideas: that no statement entails or is entailed by its own negation (this is Aristotle’s thesis) and that no statement entails both something and the negation of this very thing (this is Boethius' thesis). Usually, connexive logics are contra-classical. In this note, I introduce a reading of the connexive theses that makes them compatible with classical logic. According to this reading, the theses in question do not talk about validity alone; rather, they talk in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues