View topic on PhilPapers for more information
Related categories

30 found
Order:
More results on PhilPapers
  1. Abstracta and Possibilia: Modal Foundations of Mathematical Platonism.Hasen Khudairi - manuscript
    This paper aims to provide modal foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Epistemic Modality and Absolute Decidability.Hasen Khudairi - manuscript
    This paper aims to contribute to the analysis of the nature of mathematical modality, and to the applications of the latter to unrestricted quantification and absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Conceivability, Haecceities, and Essence.Hasen Khudairi - manuscript
    This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I argue that the interaction between the two-dimensional intensional framework and the mereological parthood relation enables epistemic possibilities to target the haecceitistic properties of individuals. I specify, then, a two-dimensional intensional formula encoding the relation between the epistemic possibility of haecceity comprehension and its metaphysical possibility. I examine the Julius Caesar problem as a test case. I then generalize the approach (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Grothendieck Universes and Indefinite Extensibility.Hasen Khudairi - manuscript
    This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths is identifiable with the elementary embeddings of large cardinal axioms. A modal coalgebraic automata's mappings are further argued to account for both reinterpretations of quantifier domains as well as the ontological expansion effected by the elementary embeddings in the category of sets. The interaction between the interpretational and metaphysical modalities of indefinite extensibility (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Two-Dimensional Truthmaker Semantics.Hasen Khudairi - manuscript
    This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The interaction between the hyperintensional truthmaker semantics and modal ontology is further examined. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. The Logic of Sequence Frames.Fabio Lampert - forthcoming - Review of Symbolic Logic:1-44.
    This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Chalmers and Semantics.Panu Raatikainen - forthcoming - Theoria.
    David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. Epistemic Modality, Mind, and Mathematics.Hasen Khudairi - 2021 - Dissertation, University of St Andrews
    This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and to the types (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. Abductive Two-Dimensionalism: A New Route to the a Priori Identification of Necessary Truths.Biggs Stephen & Wilson Jessica - 2020 - Synthese 197 (1):59-93.
    Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. But, we (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. On the Expressive Power of First-Order Modal Logic with Two-Dimensional Operators.Alexander 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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Actuality and the a Priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.
    We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Categories of First-Order Quantifiers.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.
    One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 39-51.
    We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some point (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. A Hyperintensional Account of Metaphysical Equivalence.Kristie Miller - 2017 - Philosophical Quarterly 67 (269):772-793.
    This paper argues for a particular view about in what metaphysical equivalence consists: namely, that any two metaphysical theories are metaphysically equivalent if and only if those theories are strongly hyperintensionally equivalent. It is consistent with this characterisation that said theories are weakly hyperintensionally distinct, thus affording us the resources to model the content of propositional attitudes directed towards metaphysically equivalent theories in such a way that non-ideal agents can bear different propositional attitudes towards metaphysically equivalent theories.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  15. A Bridge From Semantic Value to Content.Brian Rabern - 2017 - Philosophical Topics 45 (2):181-207.
    A common view relating compositional semantics and the objects of assertion holds the following: Sentences φ and ψ expresses the same proposition iff φ and ψ have the same modal profile. Following Dummett, Evans, and Lewis, Stanley argues that this view is fundamentally mistaken. According to Dummett, we must distinguish the semantic contribution a sentence makes to more complex expressions in which it occurs from its assertoric content. Stojnić insists that views which distinguish the roles of content and semantic value (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  16. Chalmers, semantiikka ja välttämättömyys.Panu Raatikainen - 2016 - In Mahdollisuus. Helsinki: Suomen Filosofinen Yhdistys.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Being at the Centre: Self-Location in Thought and Language.Clas Weber - 2016 - In M. Garcia-Carpintero & S. Torre (eds.), About Oneself: De Se Thought and Communication. Oxford: Oxford University Press. pp. 246-271.
    Self-locating attitudes and assertions provide a challenge to the received view of mental and linguistic intentionality. In this paper I try to show that the best way to meet this challenge is to adopt relativistic, centred possible worlds accounts for both belief and communication. First, I argue that self-locating beliefs support a centred account of belief. Second, I argue that self-locating utterances support a complementary centred account of communication. Together, these two claims motivate a unified centred conception of belief and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Dual Content Semantics, Privative Adjectives and Dynamic Compositionality.Guillermo Del Pinal - 2015 - Semantics and Pragmatics 8 (7):1-53.
    This paper defends the view that common nouns have a dual semantic structure that includes extension-determining and non-extension-determining components. I argue that the non-extension-determining components are part of linguistic meaning because they play a key compositional role in certain constructions, especially in privative noun phrases such as "fake gun" and "counterfeit document". Furthermore, I show that if we modify the compositional interpretation rules in certain simple ways, this dual content account of noun phrase modification can be implemented in a type-driven (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  19. Two-Dimensionalism and the Social Character of Meaning.Derek Ball - 2014 - Erkenntnis 79 (S3):567-595.
    This paper develops and critiques the two-dimensionalist account of mental content developed by David Chalmers. I first explain Chalmers's account and show that it resists some popular criticisms. I then argue that the main interest of two-dimensionalism lies in its accounts of cognitive significance and of the connection between conceivability and possibility. These accounts hinge on the claim that some thoughts have a primary intension that is necessarily true. In this respect, they are Carnapian, and subject to broadly Quinean attack. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. What is the Correct Logic of Necessity, Actuality and Apriority?Peter Fritz - 2014 - Review of Symbolic Logic 7 (3):385-414.
    This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   11 citations  
  21. A Logic for Epistemic Two-Dimensional Semantics.Peter Fritz - 2013 - Synthese 190 (10):1753-1770.
    Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   17 citations  
  22. Soames’s Argument 1 Against Strong Two-Dimensionalism.Robert Michels - 2012 - Philosophical Studies 161 (3):403-420.
    This paper criticizes Soames’s main argument against a variant of two-dimensionalism that he calls strong two-dimensionalism. The idea of Soames’s argument is to show that the strong two-dimensionalist’s semantics for belief ascriptions delivers wrong semantic verdicts about certain complex modal sentences that contain both such ascriptions and claims about the truth of the ascribed beliefs. A closer look at the formal semantics underlying strong two-dimensionalism reveals that there are two feasible ways of specifying the truth conditions for claims of the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Context Dependence.Thomas Ede Zimmermann - 2012 - In C. Maienborn, K. von Heusinger & P. Portner (eds.), Handbook of Semantics. Volume 3. de Gruyter.
    Linguistic expressions frequently make reference to the situation in which they are uttered. In fact, there are expressions whose whole point of use is to relate to their context of utterance. It is such expressions that this article is primarily about. However, rather than presenting the richness of pertinent phenomena (cf. Anderson & Keenan 1985), it concentrates on the theoretical tools provided by the (standard) two-dimensional analysis of context dependence, essentially originating with Kaplan (1989)--with a little help from Stalnaker (1978) (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Reference and Response.Louis deRosset - 2011 - Australasian Journal of Philosophy 89 (1):19-36.
    A standard view of reference holds that a speaker's use of a name refers to a certain thing in virtue of the speaker's associating a condition with that use that singles the referent out. This view has been criticized by Saul Kripke as empirically inadequate. Recently, however, it has been argued that a version of the standard view, a /response-based theory of reference/, survives the charge of empirical inadequacy by allowing that associated conditions may be largely or even entirely implicit. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  25. Two-Dimensionalism: A Neo-Fregean Interpretation.Manuel García-Carpintero - 2006 - In Manuel García-Carpintero & Josep Macià (eds.), Two-Dimensional Semantics. Oxford: Clarendon Press.
    The truth of a statement depends on the world in two ways: what the statement says is true if the world is as the statement says it is; on the other hand, what the expressions in the statement mean depends on what the world is like (for instance, on what conventions are in place). Each of these two kinds of dependence of truth on the world corresponds to one of the dimensions on the two-dimensional semantic framework, developed in the 1970’ (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   27 citations  
  26. A Paradox for Possible World Semantics.Michael J. Shaffer & Jeremy Morris - 2006 - Logique Et Analyse 49 (195):307-317.
    The development of possible worlds semantics for modal claims has led to a more general application of that theory as a complete semantics for various formal and natural languages, and this view is widely held to be an adequate (philosophical) interpretation of the model theory for such languages. We argue here that this view generates a self-referential inconsistency that indicates either the falsity or the incompleteness of PWS.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Two-Dimensionalism and the Metaphysical Possibility of Zombies.Daniel Cohnitz - 2003 - In B. Löwe, W. Malzkorn & T. Räsch (eds.), Foundations of The Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics [Trends in Logic]. Kluwer Academic Publishers. pp. 55--62.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Physicalism Unfalsified: Chalmers' Inconclusive Argument for Dualism.Andrew Melnyk - 2001 - In Carl Gillett & Barry M. Loewer (eds.), Physicalism and its Discontents. Cambridge University Press. pp. 331-349.
    This paper aims to show that David Chalmers' conceivability argument against physicalism, as presented in his 1996 book, The Conscious Mind, is inconclusive. The key point is that, while the argument seems to assume that someone competent with a given concept thereby has access to the primary intension of the concept, there are physicalist-friendly views of conceptual competence which imply that this assumption is not true.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Rigidity and Content.Jason Stanley - 1997 - In Richard G. Heck (ed.), Language, Truth, and Logic. Oxford University Press.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   31 citations  
  30. `Now' and `Then': A Formal Study in the Logic of Tense Anaphora.Frank Vlach - 1973 - Dissertation, University of California Los Angeles
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   23 citations