Switch to: References

Add citations

You must login to add citations.
  1. Mechanizing Principia Logico-Metaphysica in Functional Type-Theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2020 - Review of Symbolic Logic 13 (1):206-218.
    Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Selectional Restrictions, Types and Categories.Nicholas Asher - 2014 - Journal of Applied Logic 12 (1):75-87.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
    This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Deontic Modals and Hyperintensionality.Federico L. G. Faroldi - 2019 - Logic Journal of the IGPL 27 (4):387-410.
    In this paper I argue that deontic modals are hyperintensional, i.e. logically equivalent contents cannot be substituted in their scope. I give two arguments, one deductive and the other abductive. First, I show that the contrary thesis leads to falsity; second, I argue that a hyperintensional theory of deontic modals fares better than its rivals in terms of elegance, theoretical simplicity and explanatory power. I then propose a philosophical analysis of this thesis and outline some consequences. In Section 1 I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
    We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henkin models is established and exploited. Our embedding supports the application of off-the-shelf higher-order theorem provers for reasoning within and about quantified multimodal logics. Moreover, it provides a starting point for further logic embeddings and their combinations in simple type theory.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Theory of Names and True Intensionality.Reinhard Muskens - 2012 - In Maria Aloni, V. Kimmelman, Floris Roelofsen, G. Weidman Sassoon, Katrin Schulz & M. Westera (eds.), Logic, Language and Meaning: 18th Amsterdam Colloquium. Springer. pp. 441-449.
    Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.
    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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Predication and Cognitive Context: Between Minimalism and Contextualism.Sandro Balletta & Filippo Domaneschi - 2019 - Ratio 32 (3):182-191.
    Download  
     
    Export citation  
     
    Bookmark  
  • Higher‐Order Abstraction Principles.Beau Madison Mount - 2015 - Thought: A Journal of Philosophy 4 (4):228-236.
    I extend theorems due to Roy Cook on third- and higher-order versions of abstraction principles and discuss the philosophical importance of results of this type. Cook demonstrated that the satisfiability of certain higher-order analogues of Hume's Principle is independent of ZFC. I show that similar analogues of Boolos's new v and Cook's own ordinal abstraction principle soap are not satisfiable at all. I argue, however, that these results do not tell significantly against the second-order versions of these principles.
    Download  
     
    Export citation  
     
    Bookmark  
  • CERES in Higher-Order Logic.Stefan Hetzl, Alexander Leitsch & Daniel Weller - 2011 - Annals of Pure and Applied Logic 162 (12):1001-1034.
    We define a generalization of the first-order cut-elimination method CERES to higher-order logic. At the core of lies the computation of an set of sequents from a proof π of a sequent S. A refutation of in a higher-order resolution calculus can be used to transform cut-free parts of π into a cut-free proof of S. An example illustrates the method and shows that can produce meaningful cut-free proofs in mathematics that traditional cut-elimination methods cannot reach.
    Download  
     
    Export citation  
     
    Bookmark   1 citation