32 found
Order:
See also
Wesley H. Holliday
University of California, Berkeley
  1.  14
    A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
    In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism.Wesley H. Holliday - 2015 - Journal of Philosophical Logic 44 (1):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 (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  3. Fallibilism and Multiple Paths to Knowledge.Wesley H. Holliday - 2015 - Oxford Studies in Epistemology 5:97-144.
    This chapter argues that epistemologists should replace a “standard alternatives” picture of knowledge, assumed by many fallibilist theories of knowledge, with a new “multipath” picture of knowledge. The chapter first identifies a problem for the standard picture: fallibilists working with this picture cannot maintain even the most uncontroversial epistemic closure principles without making extreme assumptions about the ability of humans to know empirical truths without empirical investigation. The chapter then shows how the multipath picture, motivated by independent arguments, saves fallibilism (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  81
    Moorean Phenomena in Epistemic Logic.Wesley H. Holliday & Thomas F. Icard - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin B. Shehtman (eds.), Advances in Modal Logic 8. College Publications.
    A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬BOXp, read as “p is true but you do not know p.” Not only is the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  5. Roles, Rigidity, and Quantification in Epistemic Logic.Wesley H. Holliday & John Perry - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer. pp. 591-629.
    Epistemic modal predicate logic raises conceptual problems not faced in the case of alethic modal predicate logic : Frege’s “Hesperus-Phosphorus” problem—how to make sense of ascribing to agents ignorance of necessarily true identity statements—and the related “Hintikka-Kripke” problem—how to set up a logical system combining epistemic and alethic modalities, as well as others problems, such as Quine’s “Double Vision” problem and problems of self-knowledge. In this paper, we lay out a philosophical approach to epistemic predicate logic, implemented formally in Melvin (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  18
    Complete Additivity and Modal Incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.
    In this article, we tell a story about incompleteness in modal logic. The story weaves together an article of van Benthem, “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, ${\cal V}$-baos. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem’s article resolves the open question (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Measure Semantics and Qualitative Semantics for Epistemic Modals.Wesley H. Holliday & Thomas F. Icard - 2013 - Proceedings of SALT 23:514-534.
    In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown to result from Kratzer’s (1991) semantics by Yalcin (2006, 2009, 2010). In contrast to the alternative semantics presented by Yalcin and Lassiter (2010, 2011), based on finitely additive probability measures, we introduce semantics based on qualitatively additive measures, as well as semantics based on purely qualitative orderings, including orderings on propositions derived from orderings on worlds in the tradition of Kratzer (1991). All of these (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  8.  12
    Choice-Free Stone Duality.Nick Bezhanishvili & Wesley H. Holliday - forthcoming - Journal of Symbolic Logic:1-48.
    The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this paper, we describe a choice-free topological representation of Boolean algebras. This representation uses a subclass of the spectral spaces that Stone used in his representation of distributive lattices via compact open sets. It also takes advantage of Tarski’s observation that the regular open sets of any topological space form a Boolean (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  18
    A Bimodal Perspective on Possibility Semantics.Johan van Benthem, Nick Bezhanishvili & Wesley H. Holliday - 2017 - Journal of Logic and Computation 27 (5):1353–1389.
    In this article, we develop a bimodal perspective on possibility semantics, a framework allowing partiality of states that provides an alternative modelling for classical propositional and modal logics. In particular, we define a full and faithful translation of the basic modal logic K over possibility models into a bimodal logic of partial functions over partial orders, and we show how to modulate this analysis by varying across logics and model classes that have independent topological motivations. This relates the two realms (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  69
    A Note on Cancellation Axioms for Comparative Probability.Matthew Harrison-Trainor, Wesley H. Holliday & Thomas F. Icard - 2016 - Theory and Decision 80 (1):159-166.
    We prove that the generalized cancellation axiom for incomplete comparative probability relations introduced by Rios Insua and Alon and Lehrer is stronger than the standard cancellation axiom for complete comparative probability relations introduced by Scott, relative to their other axioms for comparative probability in both the finite and infinite cases. This result has been suggested but not proved in the previous literature.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Freedom and the Fixity of the Past.Wesley H. Holliday - 2012 - Philosophical Review 121 (2):179-207.
    According to the Principle of the Fixity of the Past (FP), no one can now do anything that would require the past to have unfolded differently than it actually did, for the past is fixed, over and done with. Why might doing something in the future require the past to be different? Because if determinism is true—if the laws of nature and the initial conditions of the Big Bang determined a unique future for our universe—then doing anything other than what (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  9
    When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?Wesley H. Holliday, Yifeng Ding & Cedegao Zhang - 2019 - Electronic Proceedings in Theoretical Computer Science 297:121–139.
    The early literature on epistemic logic in philosophy focused on reasoning about the knowledge or belief of a single agent, especially on controversies about "introspection axioms" such as the 4 and 5 axioms. By contrast, the later literature on epistemic logic in computer science and game theory has focused on multi-agent epistemic reasoning, with the single-agent 4 and 5 axioms largely taken for granted. In the relevant multi-agent scenarios, it is often important to reason about what agent A believes about (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  74
    A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications.
    Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  51
    Partiality and Adjointness in Modal Logic.Wesley H. Holliday - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Vol. 10. College Publications. pp. 313-332.
    Following a proposal of Humberstone, this paper studies a semantics for modal logic based on partial “possibilities” rather than total “worlds.” There are a number of reasons, philosophical and mathematical, to find this alternative semantics attractive. Here we focus on the construction of possibility models with a finitary flavor. Our main completeness result shows that for a number of standard modal logics, we can build a canonical possibility model, wherein every logically consistent formula is satisfied, by simply taking each individual (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Epistemic Logic and Epistemology.Wesley H. Holliday - forthcoming - In Sven Ove Hansson Vincent F. Hendricks (ed.), Handbook of Formal Philosophy. Springer.
    This chapter provides a brief introduction to propositional epistemic logic and its applications to epistemology. No previous exposure to epistemic logic is assumed. Epistemic-logical topics discussed include the language and semantics of basic epistemic logic, multi-agent epistemic logic, combined epistemic-doxastic logic, and a glimpse of dynamic epistemic logic. Epistemological topics discussed include Moore-paradoxical phenomena, the surprise exam paradox, logical omniscience and epistemic closure, formalized theories of knowledge, debates about higher-order knowledge, and issues of knowability raised by Fitch’s paradox. The references (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  74
    Information Dynamics and Uniform Substitution.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii - 2013 - Synthese 190 (1):31-55.
    The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17. On Being in an Undiscoverable Position.Wesley H. Holliday - 2016 - Thought: A Journal of Philosophy 5 (1):33-40.
    The Paradox of the Surprise Examination has been a testing ground for a variety of frameworks in formal epistemology, from epistemic logic to probability theory to game theory and more. In this paper, I treat a related paradox, the Paradox of the Undiscoverable Position, as a test case for the possible-worlds style representation of epistemic states. I argue that the paradox can be solved in this framework, further illustrating the power of possible-worlds style modeling. The solution also illustrates an important (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  6
    Strategic Voting Under Uncertainty About the Voting Method.Wesley H. Holliday & Eric Pacuit - 2019 - Electronic Proceedings in Theoretical Computer Science 297:252–272.
    Much of the theoretical work on strategic voting makes strong assumptions about what voters know about the voting situation. A strategizing voter is typically assumed to know how other voters will vote and to know the rules of the voting method. A growing body of literature explores strategic voting when there is uncertainty about how others will vote. In this paper, we study strategic voting when there is uncertainty about the voting method. We introduce three notions of manipulability for a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  9
    A Note on Algebraic Semantics for $Mathsf{S5}$ with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
    In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  4
    Algebraic and Topological Semantics for Inquisitive Logic Via Choice-Free Duality.Nick Bezhanishvili, Gianluca Grilletti & Wesley H. Holliday - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. WoLLIC 2019. Lecture Notes in Computer Science, Vol. 11541. Springer. pp. 35-52.
    We introduce new algebraic and topological semantics for inquisitive logic. The algebraic semantics is based on special Heyting algebras, which we call inquisitive algebras, with propositional valuations ranging over only the ¬¬-fixpoints of the algebra. We show how inquisitive algebras arise from Boolean algebras: for a given Boolean algebra B, we define its inquisitive extension H(B) and prove that H(B) is the unique inquisitive algebra having B as its algebra of ¬¬-fixpoints. We also show that inquisitive algebras determine Medvedev’s logic (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Epistemic Logic, Relevant Alternatives, and the Dynamics of Context.Wesley H. Holliday - 2012 - Lecture Notes in Computer Science 7415:109-129.
    According to the Relevant Alternatives (RA) Theory of knowledge, knowing that something is the case involves ruling out (only) the relevant alternatives. The conception of knowledge in epistemic logic also involves the elimination of possibilities, but without an explicit distinction, among the possibilities consistent with an agent’s information, between those relevant possibilities that an agent must rule out in order to know and those remote, far-fetched or otherwise irrelevant possibilities. In this article, I propose formalizations of two versions of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  14
    A Semantic Hierarchy for Intuitionistic Logic.Guram Bezhanishvili & Wesley H. Holliday - 2019 - Indagationes Mathematicae 30 (3):403-469.
    Brouwer's views on the foundations of mathematics have inspired the study of intuitionistic logic, including the study of the intuitionistic propositional calculus and its extensions. The theory of these systems has become an independent branch of logic with connections to lattice theory, topology, modal logic and other areas. This paper aims to present a modern account of semantics for intuitionistic propositional systems. The guiding idea is that of a hierarchy of semantics, organized by increasing generality: from the least general Kripke (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  48
    Response to Egré and Xu.Wesley H. Holliday - 2013 - In Johan van Benthem Fenrong Liu (ed.), Logic Across the University: Foundations and Applications. College Publications. pp. 39-46.
    In this note, I respond to comments by Paul Egré and Xu Zhaoqing on my “Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism” (Journal of Philosophical Logic).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  5
    Moorean Phenomena in Epistemic Logic.Wesley H. Holliday & Thomas F. Icard Iii - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 178-199.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  17
    Axiomatization in the Meaning Sciences.Wesley H. Holliday & Thomas Icard - 2018 - In Derek Ball & Brian Rabern (eds.), The Science of Meaning: Essays on the Metatheory of Natural Language Semantics. Oxford, UK: Oxford University Press. pp. 73-97.
    While much of semantic theorizing is based on intuitions about logical phenomena associated with linguistic constructions—phenomena such as consistency and entailment—it is rare to see axiomatic treatments of linguistic fragments. Given a fragment interpreted in some class of formally specified models, it is often possible to ask for a characterization of the reasoning patterns validated by the class of models. Axiomatizations provide such a characterization, often in a perspicuous and efficient manner. In this paper, we highlight some of the benefits (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  68
    Freedom and Modality.Wesley H. Holliday - 2017 - In John Keller (ed.), Being, Freedom, and Method: Themes From the Philosophy of Peter van Inwagen. Oxford University Press. pp. 149-156.
    This paper provides further motivation for a principle relating freedom and modality that appeared in “Freedom and the Fixity of the Past” (The Philosophical Review, Vol. 121), where the principle was used to argue for incompatibilism about freedom and determinism. The paper also replies to objections to that principle from Tognazzini and Fischer (“Incompatibilism and the Past,” this volume).
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  24
    Inferring Probability Comparisons.Matthew Harrison-Trainor, Wesley H. Holliday & Thomas Icard - forthcoming - Mathematical Social Sciences.
    The problem of inferring probability comparisons between events from an initial set of comparisons arises in several contexts, ranging from decision theory to artificial intelligence to formal semantics. In this paper, we treat the problem as follows: beginning with a binary relation ≥ on events that does not preclude a probabilistic interpretation, in the sense that ≥ has extensions that are probabilistically representable, we characterize the extension ≥+ of ≥ that is exactly the intersection of all probabilistically representable extensions of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  18
    Indicative Conditionals and Dynamic Epistemic Logic.Wesley H. Holliday & Thomas Icard - 2017 - Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Liverpool, UK, 24-26 July 2017.
    Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic epistemic logic can be used to give a simple, complete axiomatization of Yalcin's [16] semantic consequence relation for (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  7
    A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 348-367.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Lecture Notes in Computer Science (LNCS) 9394.Wiebe van der Hoek, Wesley H. Holliday & Wen-Fang Wang (eds.) - 2015 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  31. Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings.Wiebe van der Hoek, Wesley H. Holliday & Wen-Fang Wang (eds.) - 2015 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  32. Logic, Rationality, and Interaction.Wiebe Van Der Hoek, Wesley H. Holliday & Wen Fang Wang (eds.) - 2015 - Springer.
    No categories
     
    Export citation  
     
    Bookmark