Year:

  1.  13
    De Finettian Logics of Indicative Conditionals Part I: Trivalent Semantics and Validity.Paul Égré, Lorenzo Rossi & Jan Sprenger - 2021 - Journal of Philosophical Logic 50 (2):187-213.
    This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti and Reichenbach. On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: (...)
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  10
    De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics.Paul Égré, Lorenzo Rossi & Jan Sprenger - 2021 - Journal of Philosophical Logic 50 (2):215-247.
    In Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti and Reichenbach on the one hand, and by Cooper and Cantwell on the other. Here we provide the proof theory for the resulting logics DF/TT and CC/TT, using tableau calculi and sequent calculi, and proving soundness and completeness results. Then we turn to the algebraic semantics, where both logics have substantive limitations: DF/TT allows for (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  11
    A Family of Strict/Tolerant Logics.Melvin Fitting - 2021 - Journal of Philosophical Logic 50 (2):363-394.
    Strict/tolerant logic, ST, evaluates the premises and the consequences of its consequence relation differently, with the premises held to stricter standards while consequences are treated more tolerantly. More specifically, ST is a three-valued logic with left sides of sequents understood as if in Kleene’s Strong Three Valued Logic, and right sides as if in Priest’s Logic of Paradox. Surprisingly, this hybrid validates the same sequents that classical logic does. A version of this result has been extended to meta, metameta, … (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  15
    Unwinding Modal Paradoxes on Digraphs.Ming Hsiung - 2021 - Journal of Philosophical Logic 50 (2):319-362.
    The unwinding that Cook, 767–774 2004) proposed is a simple but powerful method of generating new paradoxes from known ones. This paper extends Cook’s unwinding to a larger class of paradoxes and studies further the basic properties of the unwinding. The unwinding we study is a procedure, by which when inputting a Boolean modal net together with a definable digraph, we get a set of sentences in which we have a ‘counterpart’ for each sentence of the Boolean modal net and (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  20
    Logical Predictivism.Ben Martin & Ole Hjortland - 2021 - Journal of Philosophical Logic 50 (2):285-318.
    Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  9
    Convergence to the Truth Without Countable Additivity.Michael Nielsen - 2021 - Journal of Philosophical Logic 50 (2):395-414.
    Must probabilities be countably additive? On the one hand, arguably, requiring countable additivity is too restrictive. As de Finetti pointed out, there are situations in which it is reasonable to use merely finitely additive probabilities. On the other hand, countable additivity is fruitful. It can be used to prove deep mathematical theorems that do not follow from finite additivity alone. One of the most philosophically important examples of such a result is the Bayesian convergence to the truth theorem, which says (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  3
    Some Forms of Collectively Bringing About or ‘Seeing to it that’.Marek Sergot - 2021 - Journal of Philosophical Logic 50 (2):249-283.
    One of the best known approaches to the logic of agency are the ‘stit’ logics. Often, it is not the actions of an individual agent that bring about a certain outcome but the joint actions of a set of agents, collectively. Collective agency has received comparatively little attention in ‘stit’. The paper maps out several different forms, several different senses in which a particular set of agents, collectively, can be said to bring about a certain outcome, and examines how these (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  6
    A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2021 - Journal of Philosophical Logic 50 (1):149-185.
    We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in Maudlin and Malament. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of Tarski : a predicate of betwenness and a four place (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  32
    Counterfactual Logic and the Necessity of Mathematics.Samuel Z. Elgin - 2021 - Journal of Philosophical Logic 50 (1):97-115.
    This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne, who seek to establish that mathematics is committed to its own necessity. I demonstrate that their assumptions collapse the counterfactual conditional into the material conditional. This collapse entails the success of counterfactual strengthening, which is controversial within counterfactual logic, and which has counterexamples within pure and applied mathematics. I close (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  93
    On Stalnaker’s Simple Theory of Propositions.Peter Fritz - 2021 - Journal of Philosophical Logic 50 (1):1-31.
    Robert Stalnaker recently proposed a simple theory of propositions using the notion of a set of propositions being consistent, and conjectured that this theory is equivalent to the claim that propositions form a complete atomic Boolean algebra. This paper clarifies and confirms this conjecture. Stalnaker also noted that some of the principles of his theory may be given up, depending on the intended notion of proposition. This paper therefore also investigates weakened constraints on consistency and the corresponding classes of Boolean (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  25
    Agential Free Choice.Melissa Fusco - 2021 - Journal of Philosophical Logic 50 (1):57-87.
    The Free Choice effect—whereby \\) seems to entail both \ and \—has traditionally been characterized as a phenomenon affecting the deontic modal ‘may’. This paper presents an extension of the semantic account of free choice defended by Fusco to the agentive modal ‘can’, the ‘can’ which, intuitively, describes an agent’s powers. On this account, free choice is a nonspecific de re phenomenon that—unlike typical cases—affects disjunction. I begin by sketching a model of inexact ability, which grounds a modal approach to (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Roads to Necessitarianism.Matthew Mandelkern & Daniel Rothschild - 2021 - Journal of Philosophical Logic 50 (1):89-96.
    We show that each of three natural sets of assumptions about the conditional entails necessitarianism: that anything possible is necessary.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  28
    Routley Star and Hyperintensionality.Sergei Odintsov & Heinrich Wansing - 2021 - Journal of Philosophical Logic 50 (1):33-56.
    We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  14.  20
    A More Unified Approach to Free Logics.Edi Pavlović & Norbert Gratzl - 2021 - Journal of Philosophical Logic 50 (1):117-148.
    Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are varies, but the central ones are that the domain of interpretation is not empty, every name denotes exactly one object in the domain and the quantifiers have existential import. Free logics usually reject the claim that names need to denote in, and of the systems considered in this paper, the positive free logic concedes that (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
 Previous issues
  
Next issues