Switch to: References

Add citations

You must login to add citations.
  1. Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
    Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Semantics with Assignment Variables.Alex Silk - 2021 - Cambridge: Cambridge University Press.
    This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • VI-BayesianExpressivism.Seth Yalcin - 2012 - Proceedings of the Aristotelian Society 112 (2pt2):123-160.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   57 citations  
  • Lessons from Descriptive Indexicals.Kjell Johan Sæbø - 2015 - Mind 124 (496):1111-1161.
    Two main methods for analysing de re readings of definite descriptions in intensional contexts coexist: that of evaluating the description in the actual world, whether by means of scope, actuality operators, or non-local world binding, and that of substituting another description, usually one expressing a salient or ‘vivid’ acquaintance relation to an attitude holder, prior to evaluation. Recent work on so-called descriptive indexicals suggests that contrary to common assumptions, both methods are needed, for different ends. This paper aims to show (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Obligation and Aspect.Benj Hellie - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy 59 (4):398-449.
    ‘Fred must open the door’ concerns Fred’s obligations. This obligative meaning is turned off by adding aspect: ‘Fred must have opened/be opening/have been opening the door’ are one and all epistemic. Why? In a nutshell: obligative ’must’ operates on procedural contents of imperative sentences, epistemic ‘must’ on propositional contents of declarative sentences; and adding aspect converts procedural into propositional content.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Imperatives: a Judgemental Analysis.Chris Fox - 2012 - Studia Logica 100 (4):879-905.
    This paper proposes a framework for formalising intuitions about the behaviour of imperative commands. It seeks to capture notions of satisfaction and coherence. Rules are proposed to express key aspects of the general logical behaviour of imperative constructions. A key objective is for the framework to allow patterns of behaviour to be described while avoiding making any commitments about how commands, and their satisfaction criteria, are to be interpreted. We consider the status of some conundrums of imperative logic in the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.
    In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Proceedings of Sinn und Bedeutung 9.Emar Maier, Corien Bary & Janneke Huitink (eds.) - 2005 - Nijmegen Centre for Semantics.