Year:

  1. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
    Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2.  29
    Free Choice Impossibility Results.Simon Goldstein - 2020 - Journal of Philosophical Logic 49 (2):249-282.
    Free Choice is the principle that possibly p or q implies and is implied by possibly p and possibly q. A variety of recent attempts to validate Free Choice rely on a nonclassical semantics for disjunction, where the meaning of p or q is not a set of possible worlds. This paper begins with a battery of impossibility results, showing that some kind of nonclassical semantics for disjunction is required in order to validate Free Choice. The paper then provides a (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  14
    Euler-type Diagrams and the Quantification of the Predicate.Jens Lemanski - 2020 - Journal of Philosophical Logic 49 (2):401-416.
    Logicians have often suggested that the use of Euler-type diagrams has influenced the idea of the quantification of the predicate. This is mainly due to the fact that Euler-type diagrams display more information than is required in traditional syllogistics. The paper supports this argument and extends it by a further step: Euler-type diagrams not only illustrate the quantification of the predicate, but also solve problems of traditional proof theory, which prevented an overall quantification of the predicate. Thus, Euler-type diagrams can (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  10
    An Accuracy Argument in Favor of Ranking Theory.Eric Raidl & Wolfgang Spohn - 2020 - Journal of Philosophical Logic 49 (2):283-313.
    Fitelson and McCarthy have proposed an accuracy measure for confidence orders which favors probability measures and Dempster-Shafer belief functions as accounts of degrees of belief and excludes ranking functions. Their accuracy measure only penalizes mistakes in confidence comparisons. We propose an alternative accuracy measure that also rewards correct confidence comparisons. Thus we conform to both of William James’ maxims: “Believe truth! Shun error!” We combine the two maxims, penalties and rewards, into one criterion that we call prioritized accuracy optimization. That (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  5
    Blame it on me.Lambèr Royakkers & Jesse Hughes - 2020 - Journal of Philosophical Logic 49 (2):315-349.
    In this paper, we develop a formalisation of the main ideas of the work of Van de Poel on responsibility. Using the basic concepts through which the meanings of responsibility are defined, we construct a logic which enables to express sentences like “individual i is accountable for φ”, “individual i is blameworthy for φ” and “individual i has the obligation to see to it that φ”. This formalization clarifies the definitions of responsibility given by Van de Poel and highlights their (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  19
    Classical Logic and the Strict Tolerant Hierarchy.Chris Scambler - 2020 - Journal of Philosophical Logic 49 (2):351-370.
    In their recent article “A Hierarchy of Classical and Paraconsistent Logics”, Eduardo Barrio, Federico Pailos and Damien Szmuc present novel and striking results about meta-inferential validity in various three valued logics. In the process, they have thrown open the door to a hitherto unrecognized domain of non-classical logics with surprising intrinsic properties, as well as subtle and interesting relations to various familiar logics, including classical logic. One such result is that, for each natural number n, there is a logic which (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  6
    Unsettling Preferential Semantics.Audun Stolpe - 2020 - Journal of Philosophical Logic 49 (2):371-399.
    This paper is concerned with removing the identity schema from the axiomatic basis of deontic conditionals. This is in order to allow a stipulated ideal to be contrary or opposite in nature to the fact it is predicated upon. It is desirable, or so it is argued, to retain the order-theoretic orientation of preferential semantics towards the analysis of deontic conditionals, more specifically of maximality semantics in the tradition from Bengt Hansson. So understood, the problem involves abstracting away the settledness (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  80
    A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.
    In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  9.  26
    Explicating Logical Independence.Lloyd Humberstone - 2020 - Journal of Philosophical Logic 49 (1):135-218.
    Accounts of logical independence which coincide when applied in the case of classical logic diverge elsewhere, raising the question of what a satisfactory all-purpose account of logical independence might look like. ‘All-purpose’ here means: working satisfactorily as applied across different logics, taken as consequence relations. Principal candidate characterizations of independence relative to a consequence relation are that there the consequence relation concerned is determined by only by classes of valuations providing for all possible truth-value combinations for the formulas whose independence (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  11
    Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.
    I present an analysis according to which the current state of the definition of substitution leads to a contradiction in the system of Transparent Intensional Logic. I entail the contradiction using only the basic definitions of TIL and standard results. I then analyse the roots of the contradiction and motivate the path I take in resolving the contradiction. I provide a new amended definition of collision-less substitution which blocks the contradiction in a non-ad hoc way. I elaborate on the consequences (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  44
    The logic of ground.Adam Lovett - 2020 - Journal of Philosophical Logic 49 (1):13-49.
    I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so I suggest, adopting it has important consequences. (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  12.  60
    On Hierarchical Propositions.Giorgio Sbardolini - 2020 - Journal of Philosophical Logic 49 (1):1-11.
    There is an apparent dilemma for hierarchical accounts of propositions, raised by Bruno Whittle : either such accounts do not offer adequate treatment of connectives and quantifiers, or they eviscerate the logic. I discuss what a plausible hierarchical conception of propositions might amount to, and show that on that conception, Whittle’s dilemma is not compelling. Thus, there are good reasons why proponents of hierarchical accounts of propositions did not see the difficulty Whittle raises.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Expectation Biases and Context Management with Negative Polar Questions.Alex Silk - 2020 - Journal of Philosophical Logic 49 (1):51-92.
    This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed most extensively by Romero (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  14
    Author Correction: Supervaluation-Style Truth Without Supervaluations.Johannes Stern - 2020 - Journal of Philosophical Logic 49 (1):219-219.
    The original version of the article unfortunately contained a mistake. In the Acknowledgments section of the original version of the article, the grant number of the Marie Sklodowska-Curie Individual Fellowship supporting the author’s work was misstated.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues