Year:

Forthcoming articles
  1. Eduardo Barrio, Lucas Rosenblatt & Diego Tajer (forthcoming). The Logics of Strict-Tolerant Logic. Journal of Philosophical Logic:1-21.
    Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. André Bazzoni (forthcoming). Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts. Journal of Philosophical Logic:1-10.
    The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic (IFL) is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another standard (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Jude Brighton (forthcoming). Cut Elimination for GLS Using the Terminability of its Regress Process. Journal of Philosophical Logic:1-7.
    The system GLS, which is a modal sequent calculus system for the provability logic GL, was introduced by G. Sambin and S. Valentini in Journal of Philosophical Logic, 11, 311–342, , and in 12, 471–476, , the second author presented a syntactic cut-elimination proof for GLS. In this paper, we will use regress trees in order to present a simpler and more intuitive syntactic cut derivability proof for GLS1, which is a variant of GLS without the cut rule.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Eric Pacuit (forthcoming). On the Use of Logic in Game Theory. Journal of Philosophical Logic:1-13.
    IntroductionA quick glance at the opening paragraphs in many of the classic logic textbooks reveals a common view: Logical methods highlight the reasoning patterns of a single agent engaged in some form of mathematical thinking.A sampling from my bookshelf: Shoenfield’s Mathematical Logic: “Logic is the study of reasoning; and mathematical logic is the study of the type of reasoning done by mathematicians”; Enderton’s A Mathematical Introduction of Logic: “Symbolic logic is a mathematical model of deductive thought”; and Chiswell and Hodges (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. 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  
  7. 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  
  8. 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  
  9. Franz Baader, Stefan Borgwardt & Rafael Peñaloza (forthcoming). On the Decidability Status of Fuzzy A ℒ C with General Concept Inclusions. Journal of Philosophical Logic:1-30.
    The combination of Fuzzy Logics and Description Logics has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp Description Logics have been extended to reason also with their fuzzy counterparts. It has turned out, however, that in the presence of general concept inclusion axioms this extension is less straightforward than thought. In fact, a number of tableau algorithms claimed to deal correctly with fuzzy DLs with (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. 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  
  11. 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)  
     
    My bibliography  
     
    Export citation  
  12. Proietti Carlo (forthcoming). Pluralistic Ignorance and Collective Belief: A DDL Approach. Journal of Philosophical Logic.
  13. 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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Vincenzo Crupi (forthcoming). Inductive Logic. Journal of Philosophical Logic:1-10.
    The current state of inductive logic is puzzling. Survey presentations are recurrently offered and a very rich and extensive handbook was entirely dedicated to the topic just a few years ago [23]. Among the contributions to this very volume, however, one finds forceful arguments to the effect that inductive logic is not needed and that the belief in its existence is itself a misguided illusion , while other distinguished observers have eventually come to see at least the label as “slightly (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. 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  
  16. Kenny Easwaran (forthcoming). Formal Epistemology. Journal of Philosophical Logic:1-12.
    Doxastic TheoriesThe application of formal tools to questions related to epistemology is of course not at all new. However, there has been a surge of interest in the field now known as “formal epistemology” over the past decade, with two annual conference series and an annual summer school at Carnegie Mellon University, in addition to many one-off events devoted to the field. A glance at the programs of these series illustrates the wide-ranging set of topics that have been grouped under (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Andreas Fjellstad (forthcoming). Naive Modus Ponens and Failure of Transitivity. Journal of Philosophical Logic:1-8.
    In the recent paper “Naive modus ponens”, Zardini presents some brief considerations against an approach to semantic paradoxes that rejects the transitivity of entailment. The problem with the approach is, according to Zardini, that the failure of a meta-inference closely resembling modus ponens clashes both with the logical idea of modus ponens as a valid inference and the semantic idea of the conditional as requiring that a true conditional cannot have true antecedent and false consequent. I respond on behalf of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Geoff Georgi (forthcoming). Logic for Languages Containing Referentially Promiscuous Expressions. Journal of Philosophical Logic:1-23.
    Some expressions of English, like the demonstratives ‘this’ and ‘that’, are referentially promiscuous: distinct free occurrences of them in the same sentence can differ in content relative to the same context. One lesson of referentially promiscuous expressions is that basic logical properties like validity and logical truth obtain or fail to obtain only relative to a context. This approach to logic can be developed in just as rigorous a manner as David Kaplan’s classic logic of demonstratives. The result is a (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Norbert Gratzl (forthcoming). Incomplete Symbols — Definite Descriptions Revisited. Journal of Philosophical Logic:1-18.
    We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase ‘incomplete symbols’ is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase ‘no meaning in isolation’ in a formal way.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. 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)  
     
    My bibliography  
     
    Export citation  
  21. Leon Horsten & Øystein Linnebo (forthcoming). Term Models for Abstraction Principles. Journal of Philosophical Logic:1-23.
    Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the method is (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. 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  
  23. Franz V. Kutschera (forthcoming). Global Supervenience and Doxastic Logic', to Appear in The. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  24. Franz V. Kutschera (forthcoming). Causation', to Appear in The. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  25. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. 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  
  27. José M. Méndez, Gemma Robles & Francisco Salto (forthcoming). An Interpretation of Łukasiewicz’s 4-Valued Modal Logic. Journal of Philosophical Logic:1-15.
    A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true , etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Thomas Müller (forthcoming). Time and Determinism. Journal of Philosophical Logic:1-12.
    This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Reinhard Muskens & Stefan Wintein (forthcoming). Analytic Tableaux for All of SIXTEEN 3. Journal of Philosophical Logic:1-15.
    In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t , ⊧ f , ⊧ i , and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Gillman Payette (forthcoming). Getting the Most Out of Inconsistency. Journal of Philosophical Logic:1-20.
    In this paper we look at two classic methods of deriving consequences from inconsistent premises: Rescher-Manor and Schotch-Jennings. The overall goal of the project is to confine the method of drawing consequences from inconsistent sets to those that do not require reference to any information outside of very general facts about the set of premises. Methods in belief revision often require imposing assumptions on premises, e.g., which are the important premises, how the premises relate in non-logical ways. Such assumptions enable (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. 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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Yohan Pelosse (forthcoming). The Intrinsic Quantum Nature of Nash Equilibrium Mixtures. Journal of Philosophical Logic:1-40.
    In classical game theory the idea that players randomize between their actions according to a particular optimal probability distribution has always been viewed as puzzling. In this paper, we establish a fundamental connection between n-person normal form games and quantum mechanics , which eliminates the conceptual problems of these random strategies. While the two theories have been regarded as distinct, our main theorem proves that if we do not give any other piece of information to a player in a game, (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. 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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. 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)  
     
    My bibliography  
     
    Export citation  
  35. 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  
  36. 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)  
     
    My bibliography  
     
    Export citation  
  37. Daniel Rothschild (forthcoming). Conditionals and Propositions in Semantics. Journal of Philosophical Logic:1-11.
    IntroductionThe project of giving an account of meaning in natural languages goes largely by assigning truth-conditional content to sentences. I will call the view that sentences have truth-conditional content propositionalism as it is common to identify the truth-conditional content of a sentence with the proposition it expresses. This content plays an important role in our explanations of the speech-acts, attitude ascriptions, and the meaning of sentences when they appear as parts of longer sentences. Much work in philosophy of language and (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Gillian Russell (forthcoming). The Justification of the Basic Laws of Logic. Journal of Philosophical Logic:1-11.
    Take a correct sequent of formal logic, perhaps a simple logical truth, like the law of excluded middle, or something with premises, like disjunctive syllogism, but basically a claim of the form \.Γ can be empty. If you don’t like my examples, feel free to choose your own, everything I have to say should apply to those as well. Such a sequent attributes the properties of logical truth or logical consequence to a schematic sentence or argument. This paper aims to (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. D. Samet (forthcoming). On the Triviality of High-Order Beliefs. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  40. 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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Christine Schurz (forthcoming). Contextual-Hierarchical Reconstructions of the Strengthened Liar Problem. Journal of Philosophical Logic:1-34.
    In this paper we shall introduce two types of contextual-hierarchical approaches to the strengthened liar problem. These approaches, which we call the ‘standard’ and the ‘alternative’ ch-reconstructions of the strengthened liar problem, differ in their philosophical view regarding the nature of truth and the relation between the truth predicates T r n and T r n+1 of different hierarchy-levels. The basic idea of the standard ch-reconstruction is that the T r n+1-schema should hold for all sentences of \ . In (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. 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  
  43. 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  
  44. Eric Swanson (forthcoming). The Application of Constraint Semantics to the Language of Subjective Uncertainty. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  45. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Jason Turner (forthcoming). Forthcoming.“Logic and Ontological Pluralism.”. Journal of Philosophical Logic.
     
    My bibliography  
     
    Export citation  
  47. 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  
  48. Heinrich Wansing & Graham Priest (forthcoming). External Curries. Journal of Philosophical Logic:1-19.
    Curry’s paradox is well known. The original version employed a conditional connective, and is not forthcoming if the conditional does not satisfy contraction. A newer version uses a validity predicate, instead of a conditional, and is not forthcoming if validity does not satisfy structural contraction. But there is a variation of the paradox which uses “external validity” . And since external validity contracts, one might expect the appropriate version of the Curry paradox to be inescapable. In this paper we show (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. 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)  
     
    My bibliography  
     
    Export citation  
  50. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  51. 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  
  52. Byeong-Uk Yi (forthcoming). The Language and Logic of Plurals. Journal of Philosophical Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  53. Dongmo Zhang & Michael Thielscher (forthcoming). Representing and Reasoning About Game Strategies. Journal of Philosophical Logic:1-34.
    As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language and extends it by a standard modality for linear time along with two dual connectives to express preferences when combining strategies. The semantics of the language is provided by a standard state-transition model. As such, problems that require reasoning about games can be solved by the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
 Previous issues
  
Next issues