Year:

Forthcoming articles
  1. Wesley H. Holliday (forthcoming). Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism. Journal of Philosophical Logic:1-62.
    Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact that agents do (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Nils Kürbis (forthcoming). Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality. Journal of Philosophical Logic:1-15.
    This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Franz Huber (forthcoming). What Should I Believe About What Would Have Been the Case? Journal of Philosophical Logic:1-30.
    The question I am addressing in this paper is the following: how is it possible to empirically test, or confirm, counterfactuals? After motivating this question in Section 1, I will look at two approaches to counterfactuals, and at how counterfactuals can be empirically tested, or confirmed, if at all, on these accounts in Section 2. I will then digress into the philosophy of probability in Section 3. The reason for this digression is that I want to use the way observable (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Marcus Rossberg (forthcoming). Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic. Journal of Philosophical Logic:1-10.
    Boolos has suggested a plural interpretation of second-order logic for two purposes: (i) to escape Quine’s allegation that second-order logic is set theory in disguise, and (ii) to avoid the paradoxes arising if the second-order variables are given a set-theoretic interpretation in second-order set theory. Since the plural interpretation accounts only for monadic second-order logic, Rayo and Yablo suggest an new interpretation for polyadic second-order logic in a Boolosian spirit. The present paper argues that Rayo and Yablo’s interpretation does not (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. H. Andréka, J. van Benthem & I. Németi (forthcoming). Modal Logics and Bounded First-Order Fragments'. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  6. Staffan Angere (forthcoming). The Logical Structure of Truthmaking. Journal of Philosophical Logic:1-24.
    This paper is an investigation in the use of truthmaker theory for exploring the relation of logic to world, and as a tool for metaphysics. A variant of truthmaker theory, which we call the simple theory, is defined and defended against objections. It is characterized formally, and its central features are derived. As part of this project, we give a formal metaphysics based on nondeterministic necessitation relations among possible entities. In what is called the fundamental theorem of truthmaking, it is (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Mathieu Beirlaen, Christian Strasser & Joke Meheus (forthcoming). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Proietti Carlo (forthcoming). Pluralistic Ignorance and Collective Belief: A DDL Approach. Journal of Philosophical Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Pablo Cobreros, Paul Egré, Dave Ripley & Robert van Rooij (forthcoming). Pragmatic Interpretations of Vague Expressions: Strongest Meaning and Nonmonotonic Consequence. Journal of Philosophical Logic:1-19.
    Recent experiments have shown that naive speakers find borderline contradictions involving vague predicates acceptable. In Cobreros et al. (Journal of Philosophical Logic, 41, 347–385, 2012a) we proposed a pragmatic explanation of the acceptability of borderline contradictions, building on a three-valued semantics. In a reply, Alxatib et al. (Journal of Philosophical Logic, 42, 619–634, 2013) show, however, that the pragmatic account predicts the wrong interpretations for some examples involving disjunction, and propose as a remedy a semantic analysis instead, based on fuzzy (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. James Delgrande & Jérôme Lang (forthcoming). Guest Editors' Introduction. Journal of Philosophical Logic:1-5.
    This special issue presents a selection of papers in Knowledge Representation (KR) in Artificial Intelligence (AI), intended to illustrate the depth and breadth of current research in the area. It comes just over 25 years since a similar special issue of the Journal of Philosophical Logic appeared on the topic Philosophical Logic and Artificial Intelligence [15]. This latter special issue covered work addressing the use of logic, in one form or another, for representing and reasoning with knowledge. The papers of (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Thomas Macaulay Ferguson (forthcoming). Logics of Nonsense and Parry Systems. Journal of Philosophical Logic:1-16.
    We examine the relationship between the logics of nonsense of Bochvar and Halldén and the containment logics in the neighborhood of William Parry’s A I. We detail two strategies for manufacturing containment logics from nonsense logics—taking either connexive and paraconsistent fragments of such systems—and show how systems determined by these techniques have appeared as Frederick Johnson’s R C and Carlos Oller’s A L. In particular, we prove that Johnson’s system is precisely the intersection of Bochvar’s B 3 and Graham Priest’s (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Nissim Francez (forthcoming). A Logic Inspired by Natural Language: Quantifiers As Subnectors. Journal of Philosophical Logic:1-20.
    Inspired by the grammar of natural language, the paper presents a variant of first-order logic, in which quantifiers are not sentential operators, but are used as subnectors (operators forming terms from formulas). A quantified term formed by a subnector is an argument of a predicate. The logic is defined by means of a meaning-conferring natural-deduction proof-system, according to the proof-theoretic semantics program. The harmony of the I/E-rules is shown. The paper then presents a translation, called the Frege translation, from the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Jörg Hansen (forthcoming). Be Nice! How Simple Imperatives Simplify Imperative Logic. Journal of Philosophical Logic:1-13.
    In a series of articles, P. Vranas recently proposed a new imperative logic. The strong and weak inferences of this logic are motivated by an appeal to a strong and weak ‘support by reasons’ that transfers from the premisses of an argument to its conclusion. They also combine nonmonotonic and monotonic reasoning patterns. I show that for any moral agent, Vranas’s proposal can be simplified enormously.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Jianmin Ji & Fangzhen Lin (forthcoming). Position Systems in Dynamic Domains. Journal of Philosophical Logic:1-15.
    A dynamic domain consists of a set of legal states and a transition function that maps states to states. AI formalisms for specifying dynamic domains have so far focused on describing the effects of actions, that is, the transition functions. In this paper we propose a notion of characteristic set of position systems for the purpose of describing legal states. A position system for a type of objects is a set of properties that are mutually exclusive, and that in each (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Neil Kennedy (forthcoming). On Possible Worlds with Modal Parts. Journal of Philosophical Logic:1-24.
    This paper is predicated on the idea that some modal operators are better understood as quantificational expressions over worlds that determine not only first-order facts but modal facts also. In what follows, we will present a framework in which these two types of facts are brought closer together. Structural features will be located in (or determined by) the worlds themselves. This result will be achieved by decomposing worlds into parts, where some of these parts will have “modal import” in the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Taishi Kurahashi (forthcoming). Rosser-Type Undecidable Sentences Based on Yablo's Paradox. Journal of Philosophical Logic:1-19.
    It is widely considered that Gödel’s and Rosser’s proofs of the incompleteness theorems are related to the Liar Paradox. Yablo’s paradox, a Liar-like paradox without self-reference, can also be used to prove Gödel’s first and second incompleteness theorems. We show that the situation with the formalization of Yablo’s paradox using Rosser’s provability predicate is different from that of Rosser’s proof. Namely, by using the technique of Guaspari and Solovay, we prove that the undecidability of each instance of Rosser-type formalizations of (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Franz V. Kutschera (forthcoming). Global Supervenience and Doxastic Logic', to Appear in The. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  18. Franz V. Kutschera (forthcoming). Causation', to Appear in The. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  19. Vladimir Lifschitz (forthcoming). The Dramatic True Story of the Frame Default. Journal of Philosophical Logic:1-14.
    This is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his “frame default” remained untested and suspect. But developments in some seemingly unrelated areas of computer science—logic programming and satisfiability solvers—eventually exonerated the frame default and turned it into a basis for important applications.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Gert-Jan C. Lokhorst (forthcoming). Mally's Deontic Logic: Reducibility and Semantics. Journal of Philosophical Logic:1-11.
    We discuss three aspects of the intuitionistic reformulation of Mally’s deontic logic that was recently proposed (Journal of Philosophical Logic 42, 635–641, (2013)). First, this reformulation is more similar to Standard Deontic Logic than appears at first sight: like Standard Deontic Logic, it is Kanger reducible and Anderson reducible to alethic logic and it has a semantical interpretation that can be read in deontic terms. Second, this reformulation has an extension that provides 100% of the theorems stated by Mally himself (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Xavier Parent (forthcoming). Maximality Vs. Optimality in Dyadic Deontic Logic. Journal of Philosophical Logic:1-28.
    This paper reports completeness results for dyadic deontic logics in the tradition of Hansson’s systems. There are two ways to understand the core notion of best antecedent-worlds, which underpins such systems. One is in terms of maximality, and the other in terms of optimality. Depending on the choice being made, one gets different evaluation rules for the deontic modalities, but also different versions of the so-called limit assumption. Four of them are disentangled, and compared. The main observation of this paper (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Jonathan Payne (forthcoming). Natural Deduction for Modal Logic with a Backtracking Operator. Journal of Philosophical Logic:1-22.
    Harold Hodes in [1] introduces an extension of first-order modal logic featuring a backtracking operator, and provides a possible worlds semantics, according to which the operator is a kind of device for ‘world travel’; he does not provide a proof theory. In this paper, I provide a natural deduction system for modal logic featuring this operator, and argue that the system can be motivated in terms of a reading of the backtracking operator whereby it serves to indicate modal scope. I (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Thomas Piecha, Wagner de Campos Sanz & Peter Schroeder-Heister (forthcoming). Failure of Completeness in Proof-Theoretic Semantics. Journal of Philosophical Logic:1-15.
    Several proof-theoretic notions of validity have been proposed in the literature, for which completeness of intuitionistic logic has been conjectured. We define validity for intuitionistic propositional logic in a way which is common to many of these notions, emphasizing that an appropriate notion of validity must be closed under substitution. In this definition we consider atomic systems whose rules are not only production rules, but may include rules that allow one to discharge assumptions. Our central result shows that Harrop’s rule (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Alexander R. Pruss (forthcoming). Popper Functions, Uniform Distributions and Infinite Sequences of Heads. Journal of Philosophical Logic:1-13.
    Popper functions allow one to take conditional probabilities as primitive instead of deriving them from unconditional probabilities via the ratio formula P(A|B)=P(A∩B)/P(B). A major advantage of this approach is it allows one to condition on events of zero probability. I will show that under plausible symmetry conditions, Popper functions often fail to do what they were supposed to do. For instance, suppose we want to define the Popper function for an isometrically invariant case in two dimensions and hence require the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Gil Sagi (forthcoming). Models and Logical Consequence. Journal of Philosophical Logic:1-22.
    This paper deals with the adequacy of the model-theoretic definition of logical consequence. Logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. In this paper, necessity is assumed to be a metaphysical notion, and formality is viewed as a means to avoid dealing with complex metaphysical questions in logical investigations. Logical terms are an essential part of the form of sentences and thus have a crucial role in determining logical (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26. D. Samet (forthcoming). On the Triviality of High-Order Beliefs. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  27. Thomas Schindler (forthcoming). A Disquotational Theory of Truth as Strong as Z 2 −. Journal of Philosophical Logic:1-16.
    T-biconditionals have often been regarded as insufficient as axioms for truth. This verdict is based on Tarski’s (1935) observation that the typed T-sentences suffer from deductive weakness. As indicated by McGee (1992), the situation might change radically if we consider type-free disquotational theories of truth. However, finding a well-motivated set of untyped T-biconditionals that is consistent and recursively enumerable has proven to be very difficult. Moreover, some authors (e.g. Glanzberg (2005)) have argued that any solution to the semantic paradoxes necessarily (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Julia Staffel (forthcoming). Disagreement and Epistemic Utility-Based Compromise. Journal of Philosophical Logic:1-14.
    Epistemic utility theory seeks to establish epistemic norms by combining principles from decision theory and social choice theory with ways of determining the epistemic utility of agents’ attitudes. Recently, Moss (Mind, 120(480), 1053–69, 2011) has applied this strategy to the problem of finding epistemic compromises between disagreeing agents. She shows that the norm “form compromises by maximizing average expected epistemic utility”, when applied to agents who share the same proper epistemic utility function, yields the result that agents must form compromises (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Johannes Stern & Martin Fischer (forthcoming). Paradoxes of Interaction? Journal of Philosophical Logic:1-22.
    Since Montague’s work it is well known that treating a single modality as a predicate may lead to paradox. In their paper “No Future”, Horsten and Leitgeb (2001) show that if the two temporal modalities are treated as predicates paradox might arise as well. In our paper we investigate whether paradoxes of multiple modalities, such as the No Future paradox, are genuinely new paradoxes or whether they “reduce” to the paradoxes of single modalities. In order to address this question we (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Eric Swanson (forthcoming). The Application of Constraint Semantics to the Language of Subjective Uncertainty. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  31. Morgan Thomas (forthcoming). A Generalization of the Routley-Meyer Semantic Framework. Journal of Philosophical Logic:1-17.
    We develop an axiomatic theory of “generalized Routley-Meyer (GRM) logics.” These are first-order logics which are can be characterized by model theories in a certain generalization of Routley-Meyer semantics. We show that all GRM logics are subclassical, have recursively enumerable consequence relations, satisfy the compactness theorem, and satisfy the standard structural rules and conjunction and disjunction introduction/elimination rules. We also show that the GRM logics include classical logic, intuitionistic logic, LP/K3/FDE, and the relevant logics.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Jason Turner (forthcoming). Forthcoming.“Logic and Ontological Pluralism.”. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  33. Sara L. Uckelman, Jesse Alama & Aleks Knoks (forthcoming). A Curious Dialogical Logic and its Composition Problem. Journal of Philosophical Logic:1-36.
    Dialogue semantics for logic are two-player logic games between a Proponent who puts forward a logical formula φ as valid or true and an Opponent who disputes this. An advantage of the dialogical approach is that it is a uniform framework from which different logics can be obtained through only small variations of the basic rules. We introduce the composition problem for dialogue games as the problem of resolving, for a set S of rules for dialogue games, whether the set (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Frederik Van De Putte & Christian Straßer (forthcoming). Preferential Semantics Using Non-Smooth Preference Relations. Journal of Philosophical Logic:1-40.
    This paper studies the properties of eight semantic consequence relations defined from a Tarski-logic L and a preference relation ≺ . They are equivalent to Shoham’s so-called preferential entailment for smooth model structures, but avoid certain problems of the latter in non-smooth configurations. Each of the logics can be characterized in terms of what we call multi-selection semantics. After discussing this type of semantics, we focus on some concrete proposals from the literature, checking a number of meta-theoretic properties and elaborating (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  35. 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.
     
    My bibliography  
     
    Export citation  
  36. Carl Wagner & Mark Shattuck (forthcoming). An Impossibility Theorem for Allocation Aggregation. Journal of Philosophical Logic:1-14.
    Among the many sorts of problems encountered in decision theory, allocation problems occupy a central position. Such problems call for the assignment of a nonnegative real number to each member of a finite (more generally, countable) set of entities, in such a way that the values so assigned sum to some fixed positive real number s. Familiar cases include the problem of specifying a probability mass function on a countable set of possible states of the world (s=1), and the distribution (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. P. D. Welch (forthcoming). The Complexity of the Dependence Operator. Journal of Philosophical Logic:1-4.
    We show that Leitgeb’s dependence operator of Leitgeb (Journal of Philosophical Logic, 34, 155–192, 2005) is a \({{\Pi }^{1}_{1}}\) -operator and that this is best possible.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Matthias Westphal, Stefan Wölfl, Bernhard Nebel & Jochen Renz (forthcoming). On Qualitative Route Descriptions. Journal of Philosophical Logic:1-25.
    The generation of route descriptions is a fundamental task of navigation systems. A particular problem in this context is to identify routes that can easily be described and processed by users. In this work, we present a framework for representing route networks with the qualitative information necessary to evaluate and optimize route descriptions with regard to ambiguities in them. We identify different agent models that differ in how agents are assumed to process route descriptions while navigating through route networks and (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Byeong-Uk Yi (forthcoming). The Language and Logic of Plurals. Journal of Philosophical Logic.
    Direct download  
     
    My bibliography  
     
    Export citation