Results for 'Kripke semantics'

1000+ found
Order:
  1. Negation on the Australian Plan.Franz Berto & Greg Restall - forthcoming - Journal of Philosophical Logic.
    We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness.Susanne Bobzien - 2015 - Aristotelian Society Supplementary Volume 89 (1):61-87.
    Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Kripke: modalità e verità.Achille C. Varzi - 2010 - In Andrea Borghini (ed.), (ed.), Il genio compreso. La filosofia di Saul Kripke. Carocci Editore. pp. 21–76, 186–191.
    An introduction to Kripke’s semantics for propositional and quantified modal logic (with special reference to its historical development from the original 1959 version to the extended versions of 1963 and 1965) and to his theory of truth.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. 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  
  5. Completeness and Correspondence in Chellas–Segerberg Semantics.Matthias Unterhuber & Gerhard Schurz - 2014 - Studia Logica 102 (4):891-911.
    We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.
    Download  
     
    Export citation  
     
    Bookmark  
  6. Names, Sense and Kripke’s Puzzle.Tim Crane - 1992 - From the Logical Point of View 2:11-26.
    Frege introduced the distinction between sense and reference to account for the information conveyed by identity statements. We can put the point like this: if the meaning of a term is exhausted by what it stands for, then how can 'a =a' and 'a =b' differ in meaning? Yet it seems they do, for someone who understands all the terms involved would not necessarily judge that a =b even though they judged that a =a. It seems that 'a =b' just (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7.  63
    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’ (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  8. On the Proper Treatment of Quantification in Contexts of Logical and Metaphysical Modalities.Sten Lindström - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala, Sweden: Uppsala Philosophical Studies 53. pp. 305-323.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Semantic Normativity.Åsa Wikforss - 2001 - Philosophical Studies 102 (2):203-26.
    My paper examines the popular idea, defended by Kripke, that meaning is an essentially normative notion. I consider four common versions of this idea and suggest that none of them can be supported, either because the alleged normativity has nothing to do with normativity or because it cannot plausibly be said that meaning is normative in the sense suggested. I argue that contrary to received opinion, we don’t need normativity to secure the possibility of meaning. I conclude by considering (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  10. Quine's Interpretation Problem and the Early Development of Possible Worlds Semantics.Sten Lindström - 2001 - In Ondrey Majer (ed.), The Logica Yearbook 2000. Filosofia.
    In this paper, I shall consider the challenge that Quine posed in 1947 to the advocates of quantified modal logic to provide an explanation, or interpretation, of modal notions that is intuitively clear, allows “quantifying in”, and does not presuppose, mysterious, intensional entities. The modal concepts that Quine and his contemporaries, e.g. Carnap and Ruth Barcan Marcus, were primarily concerned with in the 1940’s were the notions of (broadly) logical, or analytical, necessity and possibility, rather than the metaphysical modalities that (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  11.  87
    A Note on Kripkenstein's Paradox.Gustavo Picazo - 2016 - Análisis. Revista de Investigación Filosófica 3 (1):3-9.
    In this note I present a solution to Kripkenstein’s paradox, based on a very simple argument: (1) natural language and rule-following are empirical phenomena; (2) no case has been described, in real life, of a person who behaves as Wittgenstein’s or Kripke’s fictional character; (3) therefore, the discussion of such a case is completely devoid of interest. I lay out the example of a ‘Kripkensteinian apple’, which has a normal weight on even days and is weightless on odd days, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Salmon on the Contingent a Priori and the Necessary a Posteriori.Graham Oppy - 1994 - Philosophical Studies 73 (1):5 - 33.
    This paper is an examination of the contingent a priori and the necessary a posteriori. In particular, it considers -- and assesses -- the criticisms that Nathan Salmon makes of the views of Saul Kripke.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  4
    Context Dependence, MOPs,WHIMs and Procedures Recanati and Kaplan on Cognitive Aspects in Semantics.Carlo Penco - 2015 - In Lecture Notes in Artificial Intelligence 9405. pp. 410-422.
    After presenting Kripke’s criticism to Frege’s ideas on context dependence of thoughts, I present two recent attempts of considering cognitive aspects of context dependent expressions inside a truth conditional pragmatics or semantics: Recanati’s non-descriptive modes of presentation (MOPs) and Kaplan’s ways of having in mind (WHIMs). After analysing the two attempts and verifying which answers they should give to the problem discussed by Kripke, I suggest a possible interpretation of these attempts: to insert a procedural or algorithmic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Metaphysics of Pain; Semantics of ‘Pain’.Alik Pelman - 2015 - Ratio 28 (1):302-317.
    Functionalism is often used to identify mental states with physical states. A particularly powerful case is Lewis's analytical functionalism. Kripke's view seriously challenges any such identification. The dispute between Kripke and Lewis's views boils down to whether the term ‘pain’ is rigid or nonrigid. It is a strong intuition of ours that if it feels like pain it is pain, and vice versa, so that ‘pain’ should designate, with respect to every possible world, all and only states felt (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  26
    An Exposition and Development of Kanger's Early Semantics for Modal Logic.Sten Lindström - 1998 - In J. H. Fetzer & P. Humphreys (eds.), The New Theory of Reference: Kripke, Marcus, and its origins. Kluwer Academic Publishers.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Classifying Contingency in the Social Sciences: Diachronic, Synchronic, and Deterministic Contingency.Clint Ballinger - unknown
    This article makes three claims concerning the concept of contingency. First, we argue that the word contingency is used in far too many ways to be useful. Its many meanings are detrimental to clarity of discussion and thought in history and the social sciences. We show how there are eight distinct uses of the word and illustrate this with numerous examples from the social sciences and history, highlighting the scope for confusion caused by the many, often contradictory uses of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Two Notions of Metaphysical Modality.Antonella Mallozzi - 2018 - Synthese:1-22.
    The paper explores the project of an ambitious modal epistemology that attempts to combine the a priori methods of Chalmers’ 2D semantics with Kripke’s modal metaphysics. I argue that such a project is not viable. The ambitious modal epistemology involves an inconsistent triad composed of (1) Modal Monism, (2) Two-Dimensionalism, and what I call (3) “Metaphysical Kripkeanism”. I present the three theses and show how only two of those can be true at a time. There is a fundamental (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  93
    Binding Bound Variables in Epistemic Contexts.Brian Rabern - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-31.
    Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke’s "objectual" interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries in the epistemic case. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Four Problems with Empty Names.Heidi Savage - manuscript
    Empty names vary in their referential features. Some of them, as Kripke argues, are necessarily empty -- those that are used to create works of fiction. Others appear to be contingently empty -- those which fail to refer at this world, but which do uniquely identify particular objects in other possible worlds. I argue against Kripke's metaphysical and semantic reasons for thinking that either some or all empty names are necessarily non-referring, because these reasons are either not the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  20. On the Logic of Common Belief and Common Knowledge.Luc Lismont & Philippe Mongin - 1994 - Theory and Decision 37 (1):75-106.
    The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  21. Hic Rhodos, Hic Salta: From Reductionist Semantics to a Realist Ontology of Forceful Dispositions.Markus Schrenk - 2009 - In G. Damschen, K. Stueber & R. Schnepf (eds.), Debating Dispositions: Issues in Metaphysics, Epistemology and Philosophy of Mind. De Gruyter. pp. 143-167.
    It is widely believed that at least two developments in the last third of the 20th century have given dispositionalism—the view that powers, capacities, potencies, etc. are irreducible real properties—new credibility: (i) the many counterexamples launched against reductive analyses of dispositional predicates in terms of counterfactual conditionals and (ii) a new anti-Humean faith in necessary connections in nature which, it is said, owes a lot to Kripke’s arguments surrounding metaphysical necessity. I aim to show in this paper that necessity (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Kant and Natural Kind Terms.Luca Forgione - 2016 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 31 (1):55-72.
    As is well known, the linguistic/philosophical reflection on natural kind terms has undergone a remarkable development in the early seventies with Putnam and Kripke’s essentialist approaches, touching upon different aspects of Kan’s slant. Preliminarily, however, it might be useful to review some of the theoretical stages in Locke and Leibniz’s approaches on natural kind terms in the light of contemporary reflections, to eventually pinpoint Kant’s contribution and see how some commentators have placed it within the theory of direct reference. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23.  87
    Proofnets for S5: Sequents and Circuits for Modal Logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005. Cambridge: Cambridge University Press. pp. 151-172.
    In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is directly motivated in terms (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  28
    Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  27
    Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Hans Kleine Büning (ed.), Computer Science Logic. CSL 1995. Selected Papers. Berlin: Springer. pp. 1--15.
    It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26.  69
    Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
    In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.
    In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  29.  72
    Is Semantics Really Psychologically Real?Mihaela Popa-Wyatt - 2009 - In J. Larrazabal & L. Zubeldia (eds.), Meaning, Content and Argument. Proceedings of the ILCLI International Workshop on Semantics, Pragmatics, and Rhetoric. University of the Basque Country Press.. pp. 497-514.
    The starting point for this paper is a critical discussion of claims of psychological reality articulated within Borg’s (forth.) minimal semantics and Carpintero’s (2007) character*-semantics. It has been proposed, for independent reasons, that their respective accounts can accommodate, or at least avoid the challenge from psychological evidence. I outline their respective motivations, suggesting various shortcomings in their efforts of preserving the virtues of an uncontaminated semantics in the face of psychological objection (I-II), and try to make the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. 'Ought' and Resolution Semantics.Fabrizio Cariani - 2013 - Noûs 47 (3):534-558.
    I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  31. Why We Need Corpus Linguistics in Intuition-Based Semantics.Leonid Tarasov - forthcoming - Grazer Philosophische Studien 95:1-15.
    The following method is popular in some areas of philosophy and linguistics when trying to describe the semantics of a given sentence Φ. Present ordinary speakers with scenarios that involve an utterance of Φ, ask them whether these utterances are felicitous or infelicitous and then construct a semantics that assigns the truth-value True to felicitous utterances of Φ and the truth-value False to infelicitous utterances of Φ. The author makes five observations about this intuition-based approach to semantics; (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Knowability Relative to Information.Peter Hawke & Franz Berto - forthcoming - Mind.
    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 stable. Aboutness-preservation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33.  28
    Outline of an Object-Based Truthmaker Semantics for Modals and Propositional Attitudes.Friederike Moltmann - forthcoming - In Dirk Kindermann, Peter Van Elswyk & Andy Egan (eds.), Unstructured Content. Oxford University Press.
    Against the background of standard possible-worlds semantics, this paper outlines a truthmaker approach to the semantics of attitude reports and modal sentences. This approach is based on an ontology of attitudinal and modal objects, which are considered the primary bearers of conditions truthmaking or satisfaction.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Aesthetic Adjectives: Experimental Semantics and Context-Sensitivity.Shen-yi Liao & Aaron Meskin - 2017 - Philosophy and Phenomenological Research 94 (2):371–398.
    One aim of this essay is to contribute to understanding aesthetic communication—the process by which agents aim to convey thoughts and transmit knowledge about aesthetic matters to others. Our focus will be on the use of aesthetic adjectives in aesthetic communication. Although theorists working on the semantics of adjectives have developed sophisticated theories about gradable adjectives, they have tended to avoid studying aesthetic adjectives—the class of adjectives that play a central role in expressing aesthetic evaluations. And despite the wealth (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Possible World Semantics and True-True Counterfactuals.Lee Walters - 2016 - Pacific Philosophical Quarterly 97 (3):322-346.
    The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
    Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  37.  48
    Safety, the Preface Paradox and Possible Worlds Semantics.Michael J. Shaffer - forthcoming - Axiomathes:1-15.
    This paper contains an argument to the effect that possible worlds semantics renders semantic knowledge impossible, no matter what ontological interpretation is given to possible worlds. The essential contention made is that possible worlds semantic knowledge is unsafe and this is shown by a parallel with the preface paradox.
    Download  
     
    Export citation  
     
    Bookmark  
  38. Why Philosophers Shouldn’T Do Semantics.Herman Cappelen - 2017 - Review of Philosophy and Psychology 8 (4):743-762.
    The linguistic turn provided philosophers with a range of reasons for engaging in careful investigation into the nature and structure of language. However, the linguistic turn is dead. The arguments for it have been abandoned. This raises the question: why should philosophers take an interest in the minutiae of natural language semantics? I’ll argue that there isn’t much of a reason - philosophy of language has lost its way. Then I provide a suggestion for how it can find its (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  90
    Updating Data Semantics.Anthony S. Gillies - forthcoming - Mind:fzy008.
    This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing language like \expression{maybe} and \expression{if} interact: they (surprisingly) iterate and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox and that resolving that opens the door to a solution to the puzzle. And third, to explore the reach of that solution (it turns out to do work in unexpected places). Along the way, the paper highlights a number (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  20
    Dynamic Semantics.Karen S. Lewis - 2017 - Oxford Handbooks Online.
    This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework. The article examines two questions. First, it explores the consequences of taking the proposition as central semantic notion as characteristic of static semantics, and argues that this is not as limiting in accounting for discourse dynamics as many think. Specifically, it explores what it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. A Preference Semantics for Imperatives.William B. Starr - manuscript
    Imperative sentences like Dance! do not seem to represent the world. Recent modal analyses challenge this idea, but its intuitive and historical appeal remain strong. This paper presents three new challenges for a non-representational analysis, showing that the obstacles facing it are even steeper than previously appreciated. I will argue that the only way for the non-representationalist to meet these three challenges is to adopt a dynamic semantics. Such a dynamic semantics is proposed here: imperatives introduce preferences between (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  42. Outline for a Truth-Conditional Semantics for Tense.Ernest Lepore & Kirk Ludwig - 2003 - In Quentin Smith & Aleksandar Jokic (eds.), Tense, Time and Reference. MIT Press. pp. 49-105.
    Our aim in the present paper is to investigate, from the standpoint of truth-theoretic semantics, English tense, temporal designators and quantifiers, and other expressions we use to relate ourselves and other things to the temporal order. Truth-theoretic semantics provides a particularly illuminating standpoint from which to discuss issues about the semantics of tense, and their relation to thoughts at, and about, times. Tense, and temporal modifiers, contribute systematically to conditions under which sentences we utter are true or (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  43. What Words Mean and Express: Semantics and Pragmatics of Kind Terms and Verbs.Agustin Vicente - 2017 - Journal of Pragmatics 117:231-244.
    For many years, it has been common-ground in semantics and in philosophy of language that semantics is in the business of providing a full explanation about how propositional meanings are obtained. This orthodox picture seems to be in trouble these days, as an increasing number of authors now hold that semantics does not deal with thought-contents. Some of these authors have embraced a “thin meanings” view, according to which lexical meanings are too schematic to enter propositional contents. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Counterfactuals Without Possible Worlds? A Difficulty for Fine’s Exact Semantics for Counterfactuals.Brian Embry - 2014 - Journal of Philosophy (5):276-287.
    In this paper I argue that there is a difficulty for Fine's exact semantics for counterfactuals. The difficulty undermines Fine's reasons for preferring exact semantics to possible worlds semantics.
    Download  
     
    Export citation  
     
    Bookmark  
  45. Embedding Irony and the Semantics/Pragmatics Distinction.Mihaela Popa-Wyatt - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy:1-26.
    This paper argues that we need to re-think the semantics/pragmatics distinction in the light of new evidence from embedding of irony. This raises a new version of the old problem of ‘embedded implicatures’. I argue that embedded irony isn’t fully explained by solutions proposed for other embedded implicatures. I first consider two strategies: weak pragmatics and strong pragmatics. These explain embedded irony as truth-conditional content. However, by trying to shoehorn irony into said-content, they raise problems of their own. I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. 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. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  26
    Do We Need Dynamic Semantics?Karen S. Lewis - 2014 - In Alexis Burgess & Brett Sherman (eds.), Metasemantics: New Essays on the Foundations of Meaning. Oxford University Press. pp. 231-258.
    I suspect the answer to the question in the title of this paper is no. But the scope of my paper will be considerably more limited: I will be concerned with whether certain types of considerations that are commonly cited in favor of dynamic semantics do in fact push us towards a dynamic semantics. Ultimately, I will argue that the evidence points to a dynamics of discourse that is best treated pragmatically, rather than as part of the (...). (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  67
    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 sense (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.
    This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. Kripke's Account of the Rule‐Following Considerations.Andrea Guardo - 2012 - European Journal of Philosophy 20 (3):366-388.
    I argue that most of the alleged straight solutions to Kripke's Wittgenstein's Rule-Following Paradox can be regarded as the first horn of a dilemma whose second horn is the paradox itself. I then argue that the dilemma is a by-product of an unnecessary foundationalist assumption on the notion of justification and is therefore spurious. Finally, I outline an alternative conception of the justification of linguistic behavior which vindicates some of the insights behind Kripkenstein’s skeptical solution of the paradox.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000