Year:

Forthcoming articles
  1.  98
    Jake Chandler & Richard Booth (forthcoming). The Irreducibility of Iterated to Single Revision. Journal of Philosophical Logic:1-14.
    After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one's initial state of belief. Recent work has pushed this thesis further, offering various strong principles that ultimately result in a (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2.  25
    Fabrice Correia (forthcoming). An Impure Logic of Representational Grounding. Journal of Philosophical Logic:1-32.
    I give a semantic characterization of a system for the logic of grounding similar to the system introduced by Kit Fine in his “Guide to Ground”, as well as a semantic characterization of a variant of that system which excludes the possibility of what Fine calls ‘zero-grounding’.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  43
    Paul Égré (forthcoming). Vagueness: Why Do We Believe in Tolerance? Journal of Philosophical Logic:1-17.
    The tolerance principle, the idea that vague predicates are insensitive to sufficiently small changes, remains the main bone of contention between theories of vagueness. In this paper I examine three sources behind our ordinary belief in the tolerance principle, to establish whether any of them might give us a good reason to revise classical logic. First, I compare our understanding of tolerance in the case of precise predicates and in the case of vague predicates. While tolerance in the case of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Anil Gupta & Shawn Standefer (forthcoming). Conditionals in Theories of Truth. Journal of Philosophical Logic:1-37.
    We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  45
    Leon Horsten (forthcoming). One Hundred Years of Semantic Paradox. Journal of Philosophical Logic:1-15.
    This article contains an overview of the main problems, themes and theories relating to the semantic paradoxes in the twentieth century. From this historical overview I tentatively draw some lessons about the way in which the field may evolve in the next decade.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  8
    Johannes Korbmacher (forthcoming). Axiomatic Theories of Partial Ground I. Journal of Philosophical Logic:1-31.
    This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of arithmetic and show that (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. Bryan Pickel & Brian Rabern (forthcoming). Does Semantic Relationism Solve Frege's Puzzle? Journal of Philosophical Logic:1-22.
    In a series of recent works, Kit Fine (2003, 2007) has sketched a novel solution to Frege's puzzle. Radically departing from previous solutions, Fine argues that Frege's puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, we (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  73
    Jared Warren (forthcoming). Revisiting Quine on Truth by Convention. Journal of Philosophical Logic:1-21.
    In “Truth by Convention” W.V. Quine gave an influential argument against logical conventionalism. Even today his argument is often taken to decisively refute logical conventionalism. Here I break Quine’s arguments into two— the super-task argument and the regress argument—and argue that while these arguments together refute implausible explicit versions of conventionalism, they cannot be successfully mounted against a more plausible implicit version of conventionalism. Unlike some of his modern followers, Quine himself recognized this, but argued that implicit conventionalism was explanatorily (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  44
    Bruno Whittle (forthcoming). Hierarchical Propositions. Journal of Philosophical Logic:1-17.
    The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10.  52
    Malte Willer (forthcoming). An Update on Epistemic Modals. Journal of Philosophical Logic:1-15.
    Epistemic modals are a prominent topic in the literature on natural language semantics, with wide-ranging implications for issues in philosophy of language and philosophical logic. Considerations about the role that epistemic "might" and "must" play in discourse and reasoning have led to the development of several important alternatives to classical possible worlds semantics for natural language modal expressions. This is an opinionated overview of what I take to be some of the most exciting issues and developments in the field.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  31
    Emar Maier (forthcoming). Referential Dependencies Between Conflicting Attitudes. Journal of Philosophical Logic:1-27.
    A number of puzzles about propositional attitudes in semantics and philosophy revolve around apparent referential dependencies between different attitudes within a single agent’s mental state. In a series of papers, Hans Kamp offers a general framework for describing such interconnected attitude complexes, building on DRT and dynamic semantics. I demonstrate that Kamp’s proposal cannot deal with referential dependencies between semantically conflicting attitudes, such as those in Ninan’s puzzle about de re imagination. To solve the problem I propose to replace Kamp’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  12.  8
    Ken Akiba (forthcoming). A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach. Journal of Philosophical Logic:1-23.
    The Boolean many-valued approach to vagueness is similar to the infinite-valued approach embraced by fuzzy logic in the respect in which both approaches seek to solve the problems of vagueness by assigning to the relevant sentences many values between falsity and truth, but while the fuzzy-logic approach postulates linearly-ordered values between 0 and 1, the Boolean approach assigns to sentences values in a many-element complete Boolean algebra. On the modal-precisificational approach represented by Kit Fine, if a sentence is indeterminate in (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. H. Andréka, J. van Benthem & I. Németi (forthcoming). Modal Logics and Bounded First-Order Fragments'. Journal of Philosophical Logic.
     
    Export citation  
     
    My bibliography  
  14.  6
    Nicholas Asher, Soumya Paul & Antoine Venant (forthcoming). Message Exchange Games in Strategic Contexts. Journal of Philosophical Logic:1-50.
    When two people engage in a conversation, knowingly or unknowingly, they are playing a game. Players of such games have diverse objectives, or winning conditions: an applicant trying to convince her potential employer of her eligibility over that of a competitor, a prosecutor trying to convict a defendant, a politician trying to convince an electorate in a political debate, and so on. We argue that infinitary games offer a natural model for many structural characteristics of such conversations. We call such (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  13
    Alexandru Baltag & Sonja Smets (forthcoming). Logics of Informational Interactions. Journal of Philosophical Logic:1-13.
    The pre-eminence of logical dynamics, over a static and purely propositional view of Logic, lies at the core of a new understanding of both formal epistemology and the logical foundations of quantum mechanics. Both areas appear at first sight to be based on purely static propositional formalisms, but in our view their fundamental operators are essentially dynamic in nature. Quantum logic can be best understood as the logic of physically-constrained informational interactions between subsystems of a global physical system. Similarly, epistemic (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  15
    Mathieu Beirlaen, Christian Strasser & Joke Meheus (forthcoming). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  5
    Christoph Benzmüller (forthcoming). Cut-Elimination for Quantified Conditional Logic. Journal of Philosophical Logic:1-21.
    A semantic embedding of quantified conditional logic in classical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented embedding approach is adaptable to a wide range of other logics, for many of which cut-elimination is still open. However, special attention has to be payed to cut-simulation, which may render cut-elimination as a pointless criterion.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  29
    Katalin Bimbó (forthcoming). Current Trends in Substructural Logics. Journal of Philosophical Logic:1-16.
    This paper briefly overviews some of the results and research directions. In the area of substructural logics from the last couple of decades. Substructural logics are understood here to include relevance logics, linear logic, variants of Lambek calculi and some other logics that are motivated by the idea of omitting some structural rules or making other structural changes in LK, the original sequent calculus for classical logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  18
    Daniel Bonevac & Hans Kamp (forthcoming). Quantifiers Defined by Parametric Extensions. Journal of Philosophical Logic:1-45.
    This paper develops a metaphysically flexible theory of quantification broad enough to incorporate many distinct theories of objects. Quite different, mutually incompatible conceptions of the nature of objects and of reference find representation within it. Some conceptions yield classical first-order logic; some yield weaker logics. Yet others yield notions of validity that are proper extensions of classical logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  7
    Ethan Brauer (forthcoming). Second-Order Logic and the Power Set. Journal of Philosophical Logic:1-20.
    Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in axiomatizing set theory. I focus here on his claim that the second-order formulation of the Axiom of Separation presupposes the character of the power set operation, thereby preventing a thorough study of the power set of infinite sets, a central part of set theory. In reply I argue that substantive issues often cannot be separated from a logic, but rather must (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. Rachael Briggs (forthcoming). Foundations of Probability. Journal of Philosophical Logic:1-16.
    The foundations of probability are viewed through the lens of the subjectivist interpretation. This article surveys conditional probability, arguments for probabilism, probability dynamics, and the evidential and subjective interpretations of probability.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  12
    Tim Button (forthcoming). Exclusion Problems and the Cardinality of Logical Space. Journal of Philosophical Logic:1-13.
    Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The condition is: (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  3
    Erica Calardo & Antonino Rotolo (forthcoming). Quantification in Some Non-Normal Modal Logics. Journal of Philosophical Logic:1-36.
    This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal systems (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  16
    Proietti Carlo (forthcoming). Pluralistic Ignorance and Collective Belief: A DDL Approach. Journal of Philosophical Logic.
  25.  4
    Edward Elliott (forthcoming). A Representation Theorem for Frequently Irrational Agents. Journal of Philosophical Logic:1-40.
    The standard representation theorem for expected utility theory tells us that if a subject’s preferences conform to certain axioms, then she can be represented as maximising her expected utility given a particular set of credences and utilities—and, moreover, that having those credences and utilities is the only way that she could be maximising her expected utility. However, the kinds of agents these theorems seem apt to tell us anything about are highly idealised, being always probabilistically coherent with infinitely precise degrees (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  32
    Bob Hale & Jessica Leech (forthcoming). Relative Necessity Reformulated. Journal of Philosophical Logic:1-26.
    This paper discusses some serious difficulties for what we shall call the standard account of various kinds of relative necessity, according to which any given kind of relative necessity may be defined by a strict conditional - necessarily, if C then p - where C is a suitable constant proposition, such as a conjunction of physical laws. We argue, with the help of Humberstone, that the standard account has several unpalatable consequences. We argue that Humberstone’s alternative account has certain disadvantages, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  4
    Chrysafis Hartonas (forthcoming). Order-Dual Relational Semantics for Non-Distributive Propositional Logics: A General Framework. Journal of Philosophical Logic:1-28.
    The contribution of this paper lies with providing a systematically specified and intuitive interpretation pattern and delineating a class of relational structures and models providing a natural interpretation of logical operators on an underlying propositional calculus of Positive Lattice Logic and subsequently proving a generic completeness theorem for the related class of logics, sometimes collectively referred to as Generalized Galois Logics.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  12
    Rosalie Iemhoff (forthcoming). On Rules. Journal of Philosophical Logic:1-15.
    This paper contains a brief overview of the area of admissible rules with an emphasis on results about intermediate and modal propositional logics. No proofs are given but many references to the literature are provided.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  9
    Martin L. Jönsson (forthcoming). Interpersonal Sameness of Meaning for Inferential Role Semantics. Journal of Philosophical Logic:1-29.
    Inferential Role Semantics is often criticized for being incompatible with the platitude that words of different speakers can mean the same thing. While many assume that this platitude can be accommodated by understanding sameness of meaning in terms of similarity of meaning, no worked out proposal has ever been produced for Inferential Role Semantics. I rectify this important omission by giving a detailed structural account of meaning similarity in terms of graph theory. I go on to argue that this account (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  15
    Udo Klein & Wolfgang Sternefeld (forthcoming). Same Same But Different: An Alphabetically Innocent Compositional Predicate Logic. Journal of Philosophical Logic:1-31.
  31. Franz V. Kutschera (forthcoming). Global Supervenience and Doxastic Logic', to Appear in The. Journal of Philosophical Logic.
     
    Export citation  
     
    My bibliography  
  32. Franz V. Kutschera (forthcoming). Causation', to Appear in The. Journal of Philosophical Logic.
     
    Export citation  
     
    My bibliography  
  33.  12
    Dilip Ninan (forthcoming). Relational Semantics and Domain Semantics for Epistemic Modals. Journal of Philosophical Logic:1-16.
    The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is specified directly in the points of evaluation. But the new approach only handles the data motivating it if it is supplemented with a non-standard account of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  13
    Elisa Paganini (forthcoming). Vague Objects Within Classical Logic and Standard Mereology, and Without Indeterminate Identity. Journal of Philosophical Logic:1-9.
    Weatherson argues that whoever accepts classical logic, standard mereology and the difference between vague objects and any others, should conclude that there are no vague objects. Barnes and Williams claim that a supporter of vague objects who accepts classical logic and standard mereology should recognize that the existence of vague objects implies indeterminate identity. Even though it is not clearly stated, they all seem to be committed to the assumption that reality is ultimately constituted by mereological atoms. This assumption is (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  16
    Gabriella Pigozzi (forthcoming). The Logic of Group Decisions: Judgment Aggregation. Journal of Philosophical Logic:1-15.
    Judgment aggregation studies how individual opinions on a given set of propositions can be aggregated to form a consistent group judgment on the same propositions. Despite the simplicity of the problem, seemingly natural aggregation procedures fail to return consistent collective outcomes, leading to what is now known as the doctrinal paradox. The first occurrences of the paradox were discovered in the legal realm. However, the interest of judgment aggregation is much broader and extends to political philosophy, epistemology, social choice theory, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  42
    David Ripley (forthcoming). Paraconsistent Logic. Journal of Philosophical Logic:1-10.
    In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that there is considerable open texture to the idea. In Section 2, I’ll give some examples of techniques for (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. D. Samet (forthcoming). On the Triviality of High-Order Beliefs. Journal of Philosophical Logic.
     
    Export citation  
     
    My bibliography  
  38.  8
    Wolfgang Schwarz (forthcoming). Subjunctive Conditional Probability. Journal of Philosophical Logic:1-20.
    There seem to be two ways of supposing a proposition: supposing “indicatively” that Shakespeare didn’t write Hamlet, it is likely that someone else did; supposing “subjunctively” that Shakespeare hadn’t written Hamlet, it is likely that nobody would have written the play. Let P be the probability of B on the subjunctive supposition that A. Is P equal to the probability of the corresponding counterfactual, A□→B? I review recent triviality arguments against this hypothesis and argue that they do not succeed. On (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  2
    Andrew Tedder (forthcoming). On Structural Features of the Implication Fragment of Frege’s Grundgesetze. Journal of Philosophical Logic:1-14.
    We set out the implication fragment of Frege’s Grundgesetze, clarifying the implication rules and showing that this system extends Absolute Implication, or the implication fragment of Intuitionist logic. We set out a sequent calculus which naturally captures Frege’s implication proofs, and draw particular attention to the Cut-like features of his Hypothetical Syllogism rule.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Jason Turner (forthcoming). Forthcoming.“Logic and Ontological Pluralism.”. Journal of Philosophical Logic.
     
    Export citation  
     
    My bibliography  
  41. J. van Eijck & F. J. de Vries (forthcoming). Reasoning About Update Logic', Report CS-R9312, Centre for Mathematics and Computer Science, Amsterdam. Journal of Philosophical Logic.
     
    Export citation  
     
    My bibliography  
  42. Jonathan Weisberg (forthcoming). You’Ve Come a Long Way, Bayesians. Journal of Philosophical Logic:1-18.
    Forty years ago, Bayesian philosophers were just catching a new wave of technical innovation, ushering in an era of scoring rules, imprecise credences, and infinitesimal probabilities. Meanwhile, down the hall, Gettier’s 1963 paper [28] was shaping a literature with little obvious interest in the formal programs of Reichenbach, Hempel, and Carnap, or their successors like Jeffrey, Levi, Skyrms, van Fraassen, and Lewis. And how Bayesians might accommodate the discourses of full belief and knowledge was but a glimmer in the eye (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  25
    Ming Xu (forthcoming). Combinations of Stit with Ought and Know. Journal of Philosophical Logic:1-27.
    This paper presents a short survey of recent developments in stit theories, with an emphasis on combinations of stit and deontic logic, and those of stit and epistemic logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  57
    Byeong-Uk Yi (forthcoming). The Language and Logic of Plurals. Journal of Philosophical Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  45.  5
    Zhiqiang Zhuang, Maurice Pagnucco & Yan Zhang (forthcoming). Inter-Definability of Horn Contraction and Horn Revision. Journal of Philosophical Logic:1-34.
    There have been a number of publications in recent years on generalising the AGM paradigm to the Horn fragment of propositional logic. Most of them focused on adapting AGM contraction and revision to the Horn setting. It remains an open question whether the adapted Horn contraction and Horn revision are inter-definable as in the AGM case through the Levi and Harper identities. In this paper, we give a positive answer by providing methods for generating contraction and revision from their dual (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues