Results for 'Topic-sensitive Epistemic Two-dimensional Truthmaker Semantics'

966 found
Order:
  1. Topic-sensitive Two-dimensional Truthmaker Semantics.David Elohim - 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 second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. (1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrews
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  3. Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - unknown
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. 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 and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  4. A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.David Elohim - manuscript
    This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Modal and Hyperintensional Cognitivism and Modal and Hyperintensional Expressivism.David Elohim - manuscript
    This paper aims to provide a mathematically tractable background against which to model both modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Modality and Hyperintensionality in Mathematics.David Elohim - manuscript
    This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Hyperintensional Foundations of Mathematical Platonism.David Elohim - manuscript
    This paper aims to provide hyperintensional 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. A Hyperintensional Two-Dimensionalist Solution to the Access Problem.David Elohim - manuscript
    I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. -/- I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. The truth of my first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable i.e. Turing computable and the Turing machine being physically implementable. I apply, further, modal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. 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 (...) two-dimensional semantics. I also describe some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  10. (1 other version)Conceivability, Essence, and Haecceities.David Elohim - manuscript
    This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Belief in Truthmaker Semantics.Mark Jago - forthcoming - Synthese.
    Stephen Yablo has argued that ascriptions of belief and knowledge are sensitive to subject matter and that theorising in such terms may help resolve philosophical questions about the semantics of such ascriptions. Truthmaker semantics offers a way of theorising about subject matters. My main aim in this paper is to investigate what a semantics for knowledge or belief ascriptions might look like within truthmaker semantics. I then discuss what the resulting account might have (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. That May Be Jupiter: A Heuristic for Thinking Two-Dimensionally.Berit Brogaard - 2007 - American Philosophical Quarterly 44 (4):315 - 328.
    According to epistemic two-dimensionalism, every expression is associated with two kinds of meaning: a primary intension (a “Fregean” component) and a secondary intension (a “Russellian” component). While the rst kind of meaning lines up with the speaker’s abilities to pick out referents of correctly employed expressions in hypothetical scenarios, the second kind of meaning is a version of what standard semanticists call “semantic content”—a kind of content which does not pivot on speaker abilities. Despite its conciliatory temperament, epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Two-Dimensionalism, Epistemic Possibility and Metaphysical Possibility.Jingkun Chen - 2020 - Journal of Human Cognition 4 (1):22-34.
    To reject skepticism and lay the foundation for the certainty of knowledge, Kant raised the question of how synthetic a priori proposition is possible. In his solution, the new content of knowledge comes from the syntheses of experience a posteriori, and the universal necessity of knowledge is guaranteed by it’s a priority. Under the influence of Kant, the concept of a priori and necessity has long been regarded as coextensive. But Saul Kripke believes that this will confuse different philosophical fields: (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Epistemic Possibility and the Necessity of Origin.Hane Htut Maung - 2020 - Metaphilosophy 51 (5):685-701.
    The necessity of origin suggests that a person’s identity is determined by the particular pair of gametes from which the person originated. An implication is that speculative scenarios concerning how we might otherwise have been had our gametic origins been different are dismissed as being metaphysically impossible. Given, however, that many of these speculations are intelligible and commonplace in the discourses of competent speakers, it is overhasty to dismiss them as mistakes. This paper offers a way of understanding these speculations (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. 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. (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  17. 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.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  18. Truthmaker Semantics for Epistemic Logic.Peter Hawke & Aybüke Özgün - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 295-335.
    We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  19. Conceptual Analysis and Epistemic Progress.Magdalena Balcerak Jackson - 2013 - Synthese 190 (15):3053-3074.
    This essay concerns the question of how we make genuine epistemic progress through conceptual analysis. Our way into this issue will be through consideration of the paradox of analysis. The paradox challenges us to explain how a given statement can make a substantive contribution to our knowledge, even while it purports merely to make explicit what one’s grasp of the concept under scrutiny consists in. The paradox is often treated primarily as a semantic puzzle. However, in “Sect. 1” I (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  20. Attitudes and epistemics.Mark Schroeder - manuscript
    The semantic theory of expressivism has been applied within metaethics to evaluative words like ‘good’ and ‘wrong’, within epistemology to words like ‘knows’, and within the philosophy of language, to words like ‘true’, to epistemic modals like ‘might’, ‘must’, and ‘probably’, and to indicative conditionals. For each topic, expressivism promises the advantage of giving us the resources to say what sentences involving these words mean by telling us what it is to believe these things, rather than by telling (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  21. An Update on Epistemic Modals.Malte Willer - 2015 - Journal of Philosophical Logic 44 (6):835–849.
    Epistemic modals are a prominent topic in the literature on natural language semantics, with wide-ranging implications for issues in philosophy of language and philosophical logic. Considerations about the role that epistemic "might" and "must" play in discourse and reasoning have led to the development of several important alternatives to classical possible worlds semantics for natural language modal expressions. This is an opinionated overview of what I take to be some of the most exciting issues and (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  22. Truthmaking and Fundamentality.A. R. J. Fisher - 2016 - Pacific Philosophical Quarterly 97 (4):448-473.
    I apply the notion of truthmaking to the topic of fundamentality by articulating a truthmaker theory of fundamentality according to which some truths are truth-grounded in certain entities while the ones that don't stand in a metaphysical-semantic relation to the truths that do. I motivate this view by critically discussing two problems with Ross Cameron's truthmaker theory of fundamentality. I then defend this view against Theodore Sider's objection that the truthmaking approach to fundamentality violates the purity constraint. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  23. (1 other version)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. New York: 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Humble primary intensions: fixing two-dimensional semantics.Joao Fabiano - 2013 - Analysis and Metaphysics 12:105-115.
    Certain problems with standard two-dimensional semantics are addressed and cases in which these problems arise explored. In such cases the primary intension cannot be univocally mapped in one and only one indexical world, thus standard two-dimensional semantics cannot efficiently address the problems presented. Subsequently, a modified model is presented which leads these problems to be averted in the replicated cases. This modified model admits primary intensions that are not univocally mapped. The conclusion discusses the advantages and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Two problems for Zylstra's truthmaker semantics for essence.Lisa Vogt - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    In his article ‘Making semantics for essence’ (Inquiry, 2019), Justin Zylstra proposed a truthmaker semantics for essence and used it to evaluate principles regarding the explanatory role of essence. The aim of this article is to show that Zylstra's semantics has implausible implications and thus cannot adequately capture essence.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  26. An object‐based truthmaker semantics for modals.Friederike Moltmann - 2018 - Philosophical Issues 28 (1):255-288.
    Possible worlds semantics faces a range of difficulties for at least certain types of modals, especially deontic modals with their distinction between heavy and light permissions and obligations. This paper outlines a new semantics of modals that aims to overcome some of those difficulties. The semantics is based on an a novel ontology of modal objects, entities like obligations, permissions, needs, as well as epistemic states, abilities, and essences. Moreover, it is based on truthmaking, in the (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  27. The Two-dimensional Argument Against Physicalism and the Conceptual Analysis.Daniel Kostic - 2011 - Belgrade Philosophical Annual 24:05-17.
    This paper is divided into three sections. In the first section I briefly outline the background of the problem, i.e. Kripke’s modal argument (Kripke 1980). In the second section I present Chalmers’ account of two- dimensional semantics and two-dimensional argument against physicalism. In the third section I criticize Chalmers’ approach based on two crucial points, one is about necessity of identities and the other is about microphysi- cal descriptions and a priori derivation.
    Download  
     
    Export citation  
     
    Bookmark  
  28. To What Do Psychiatric Diagnoses Refer? A Two-Dimensional Semantic Analysis of Diagnostic Terms.Hane Htut Maung - 2016 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 55:1-10.
    In somatic medicine, diagnostic terms often refer to the disease processes that are the causes of patients' symptoms. The language used in some clinical textbooks and health information resources suggests that this is also sometimes assumed to be the case with diagnoses in psychiatry. However, this seems to be in tension with the ways in which psychiatric diagnoses are defined in diagnostic manuals, according to which they refer solely to clusters of symptoms. This paper explores how theories of reference in (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  29. Successful visual epistemic representation.Agnes Bolinska - 2016 - Studies in History and Philosophy of Science Part A 56 (C):153-160.
    In this paper, I characterize visual epistemic representations as concrete two- or three-dimensional tools for conveying information about aspects of their target systems or phenomena of interest. I outline two features of successful visual epistemic representation: that the vehicle of representation contain sufficiently accurate information about the phenomenon of interest for the user’s purpose, and that it convey this information to the user in a manner that makes it readily available to her. I argue that actual (...) representation may involve tradeoffs between these and is successful to the extent that they are present. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  30. Hyperintensional Conceivability, Grounding, and Consciousness.David Elohim - manuscript
    This paper provides a rebuttal to the argument in Elohim (2018) in `Synthese'. Elohim provides a novel hyperintensional, ground-theoretic regimentation of the proposals in the metaphysics of consciousness. He then argues that Chalmers' (2010) intensional two-dimensional conceivability argument against physicalism is unsound, in light of the hyperintensional metaphysics of consciousness. Thus, intensional conceivability cannot be a guide to hyperintensional metaphysics. This paper demonstrates that a multi-hyperintensional version of epistemic two-dimensional semantics can be countenanced, and is sufficient (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. The Two-Dimensional Content of Consciousness.Simon Prosser - 2007 - Philosophical Studies 136 (3):319 - 349.
    In this paper I put forward a representationalist theory of conscious experience based on Robert Stalnaker's version of two-dimensional modal semantics. According to this theory the phenomenal character of an experience correlates with a content equivalent to what Stalnaker calls the diagonal proposition. I show that the theory is closely related both to functionalist theories of consciousness and to higher-order representational theories. It is also more compatible with an anti-Cartesian view of the mind than standard representationalist theories.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  70
    A two-dimensional logic for diagonalization and the a priori.Melissa Fusco - 2020 - Synthese 198 (9):8307-8322.
    Two-dimensional semantics, which can represent the distinction between a priority and necessity, has wielded considerable influence in the philosophy of language. In this paper, I axiomatize the dagger operator of Stalnaker’s “Assertion” in the formal context of two-dimensional modal logic. The language contains modalities of actuality, necessity, and a priority, but is also able to represent diagonalization, a conceptually important operation in a variety of contexts, including models of the relative a priori and a posteriori often appealed (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Knowability Relative to Information.Peter Hawke & Franz Berto - 2021 - Mind 130 (517):1-33.
    We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  34. Modal Knowledge for Expressivists.Peter Hawke - 2024 - Journal of Philosophical Logic 53 (4):1109-1143.
    What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Bifurcated Sceptical Invariantism: Between Gettier Cases and Saving Epistemic Appearances.Christos Kyriacou - 2017 - Journal of Philosophical Research 42:27-44.
    I present an argument for a sophisticated version of sceptical invariantism that has so far gone unnoticed: Bifurcated Sceptical Invariantism (BSI). I argue that it can, on the one hand, (dis)solve the Gettier problem, address the dogmatism paradox and, on the other hand, show some due respect to the Moorean methodological incentive of ‘saving epistemic appearances’. A fortiori, BSI promises to reap some other important explanatory fruit that I go on to adduce (e.g. account for concessive knowledge attributions). BSI (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  36. Wishing, Decision Theory, and Two-Dimensional Content.Kyle Blumberg - 2023 - Journal of Philosophy 120 (2):61-93.
    This paper is about two requirements on wish reports whose interaction motivates a novel semantics for these ascriptions. The first requirement concerns the ambiguities that arise when determiner phrases, such as definite descriptions, interact with ‘wish’. More specifically, several theorists have recently argued that attitude ascriptions featuring counterfactual attitude verbs license interpretations on which the determiner phrase is interpreted relative to the subject’s beliefs. The second requirement involves the fact that desire reports in general require decision-theoretic notions for their (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  37. Sensitivity to three-dimensional orientation in visual search.James T. Enns & Ronald A. Rensink - 1990 - Psychological Science 1 (5):323-326.
    Previous theories of early vision have assumed that visual search is based on simple two-dimensional aspects of an image, such as the orientation of edges and lines. It is shown here that search can also be based on three-dimensional orientation of objects in the corresponding scene, provided that these objects are simple convex blocks. Direct comparison shows that image-based and scene-based orientation are similar in their ability to facilitate search. These findings support the hypothesis that scene-based properties are (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  38. (1 other version)The Two-Dimensional Analysis of Feasibility: A Restatement.Renan Silva - 2019 - Moral Philosophy and Politics 6 (2):357-378.
    Pablo Gilabert and Holly Lawford-Smith have, both in collaboration and individually, provided a compelling account of feasibility, which states that feasibility is both ‘binary’ and ‘scalar’, and both ‘synchronic’ and ‘diachronic’. This two-dimensional analysis, however, has been the subject of four major criticisms: it has been argued that it rests upon a false distinction between ‘hard’ and ‘soft’ constraints, that it ignores the importance of intentional action, and that diachronic feasibility is incoherent and insensitive to the existence of (...) limitations. In this paper, I will argue that such objections do not undermine the persuasiveness of Gilabert and Lawford-Smith’s analysis. Nevertheless, I will contend that the latter is susceptible to two other challenges. First, it mistakenly appeals to morality, and, second, it lacks an analysis of ability. I will maintain, however, that such criticisms can be addressed and that a revised version of the account should be adopted. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  39. The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.
    We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  40. Truth, topicality, and transparency: one-component versus two-component semantics.Peter Hawke, Levin Hornischer & Franz Berto - 2024 - Linguistics and Philosophy 47 (3):481-503.
    When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Sex, Vagueness, and the Olympics.Helen L. Daly - 2015 - Hypatia 30 (4):708-724.
    Sex determines much about one's life, but what determines one's sex? The answer is complicated and incomplete: on close examination, ordinary notions of female and male are vague. In 2012, the International Olympic Committee further specified what they mean by woman in response to questions about who, exactly, is eligible to compete in women's Olympic events. I argue, first, that their stipulation is evidence that the use of vague terms is better described by semantic approaches to vagueness than by (...) approaches. In addition, the IOC's 2012 stipulation was made with sensitivity to its practical consequences. Linguistic actions often have morally relevant consequences, and I contend that, other things equal, we should adopt theories about language that acknowledge the responsibility we bear for what we say. Taking vagueness to be an epistemic phenomenon precludes the sense of agency needed for moral responsibility; taking it to be semantic does not. Thus I advance two arguments for semantic approaches to vagueness, as against epistemic approaches: one descriptive and one normative. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  42. Modal logic and philosophy.Sten Lindström & Krister Segerberg - 2006 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 1149-1214.
    Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  43. A IMPORTÂNCIA DA INCLUSÃO DA AVALIAÇÃO TESTICULAR NA ROTINA ULTRASSONOGRÁFICA BIDIMENSIONAL ABDOMINAL EM CÃES PARA DIAGNÓSTICO DE DOENÇAS TESTICULARES.Marianne Christina Velaqua, Isadora Schenekemberg Vandresen, Marco Antônio Staudt & Carla Fredrichsen Moya - 2021 - In Pedro Henrique Abreu Moura & Vanessa da Fontoura Custódio Monteiro (eds.), Inovação e tecnologia nas ciências agrárias. pp. 208-218.
    O exame ultrassonográfico é uma ferramenta diagnóstica de grande relevância na rotina veterinária, uma vez que, apresenta ampla difusão entre os atendimentos de animais e permite a avaliação de órgãos e estruturas de forma não invasiva, segura e rápida, auxiliando na determinação de diversas afecções, levando ao tratamento adequado e contribuindo de forma positiva no prognóstico do paciente. Atualmente, em muitos casos, a avaliação testicular não faz parte da rotina ultrassonográfica em exames de ênfase abdominal, devido à sua localização anatômica (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Hyperintensional Category Theory and Indefinite Extensibility.David Elohim - 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 in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Reference and Modality: A Theory of Intensions.Alik Pelman - 2007 - Dissertation, University of London, Ucl
    The study of reference often leads to addressing fundamental issues in semantics, metaphysics and epistemology; this suggests that reference is closely linked to the three realms. The overall purpose of this study is to elucidate the structure of some of these links, through a close examination of the “mechanism” of reference. As in many other enquiries, considering the possible (i.e., the modal,) in addition to the actual proves very helpful in clarifying and explicating insights. The reference of a term (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. The Semantic Error Problem for Epistemic Contextualism.Patrick Michael Greenough & Dirk Kindermann - 2017 - In Jonathan Jenkins Ichikawa (ed.), The Routledge Handbook of Epistemic Contextualism. New York: Routledge. pp. 305--320.
    Epistemic Contextualism is the view that “knows that” is semantically context-sensitive and that properly accommodating this fact into our philosophical theory promises to solve various puzzles concerning knowledge. Yet Epistemic Contextualism faces a big—some would say fatal—problem: The Semantic Error Problem. In its prominent form, this runs thus: speakers just don’t seem to recognise that “knows that” is context-sensitive; so, if “knows that” really is context-sensitive then such speakers are systematically in error about what is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  47. Probabilistic semantics for epistemic modals: Normality assumptions, conditional epistemic spaces and the strength of must and might.Guillermo Del Pinal - 2021 - Linguistics and Philosophy 45 (4):985-1026.
    The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Voluntary Imagination: A Fine-Grained Analysis.Ilaria Canavotto, Francesco Berto & Alessandro Giordani - 2020 - Review of Symbolic Logic (2):362-387.
    We study imagination as reality-oriented mental simulation (ROMS): the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  49. Existence is not Evidence for Immortality.Randall G. McCutcheon - manuscript
    Michael Huemer argues, on statistical grounds, that ``existence is evidence for immortality". On reasoning derived from the anthropic principle, however, mere existence cannot be evidence against any non-indexical, ``eternal'' hypothesis that predicts observers. This note attempts to advertise the much-flouted anthropic principle's virtues and workings in a new way, namely by calling attention to the fact that it is the primary intension of one's indexically-described evidence that best characterizes one's epistemic position.
    Download  
     
    Export citation  
     
    Bookmark  
  50. Epistemic relativism and semantic blindness.Benjamin T. Rancourt - 2015 - Synthese 192 (3):859-876.
    Semantic blindness is the inability to recognize semantic features of terms one can competently use. A theory that implies semantic blindness incurs a burden to explain how one can competently use a term without realizing how the term works. An argument advanced in favor of epistemic relativism is that its main competitors, contextualism and subject-sensitive invariantism, imply that speakers suffer from semantic blindness regarding ‘knows’ while relativism has no such implication. However, there is evidence that relativism also implies (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 966