Switch to: References

Add citations

You must login to add citations.
  1. The many readings of many: POS in the reverse proportional reading.Maribel Romero - 2020 - Linguistics and Philosophy 44 (2):281-321.
    Besides their ordinary cardinal and proportional meanings, many and few have been argued to allow for a ‘reverse proportional’ reading. This reading has later been characterised in two opposite directions: Cohen’s reading where the proportion \ matters and Herburger’s where it does not. We develop a compositional analysis that derives the correct truth conditions for both characterisations of Westerståhl-style sentences while maintaining conservativity, assuming a standard syntax/semantics mapping and reducing their context-dependence to mechanisms independently needed for degree constructions in general. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Fitch-Church Paradox and First Order Modal Logic.Carlo Proietti - 2016 - Erkenntnis 81 (1):87-104.
    Reformulation strategies for solving Fitch’s paradox of knowability date back to Edgington. Their core assumption is that the formula \, from which the paradox originates, does not correctly express the intended meaning of the verification thesis, which should concern possible knowledge of actual truths, and therefore the contradiction does not represent a logical refutation of verificationism. Supporters of these solutions claim that can be reformulated in a way that blocks the derivation of the paradox. Unfortunately, these reformulation proposals come with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Looking backwards in type logic.Jan Köpping & Thomas Ede Zimmermann - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):646-672.
    ABSTRACT Backwards-looking operators Saarinen, E. [1979. “Backwards-Looking Operators in Tense Logic and in Natural Language.” In Essays on Mathematical and Philosophical Logic, edited by J. Hintikka, I. Niiniluoto, and E. Saarinen, 341–367. Dordrecht: Reidel] that have the material in their scope depend on higher intensional operators, are known to increase the expressivity of some intensional languages and have thus played a central role in debates about approaches to intensionality in terms of implicit parameters vs. variables explicitly quantifying over them. The (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Problem of Cross-world Predication.Alexander W. Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.
    While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
    Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Logic talk.Alexander W. Kocurek - 2021 - Synthese 199 (5-6):13661-13688.
    Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations