Results for 'Kripke frame semantics'

1000+ found
Order:
  1.  77
    Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
    Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  3. 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   5 citations  
  4.  81
    Modeling the concept of truth using the largest intrinsic fixed point of the strong Kleene three valued semantics (in Croatian language).Boris Culina - 2004 - Dissertation, University of Zagreb
    The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Analytic Truths and Kripke’s Semantic Turn.Zsófia Zvolenszky - 2006 - Croatian Journal of Philosophy 6 (2):327-341.
    In his influential Naming and Necessity lectures, Saul Kripke made new sense of modal statements: “Kant might have been a bachelor”, “Königsberg is necessarily identical with Kaliningrad”. Many took the notions he introduced-metaphysical necessity and rigid designation -- to herald new metaphysical issues and have important consequences. In fact, the Kripkean insight is at bottom semantic, rather than metaphysical: it is part of how proper names work that they purport to refer to individuals to whom modal properties can be (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. A Formal Model of Metaphor in Frame Semantics.Vasil Penchev - 2015 - In Proceedings of the 41st Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour. New York: Curran Associates, Inc.. pp. 187-194.
    A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space. The practical way for a probability distribution and a corresponding wave function to be assigned to a given metaphor in a given language is considered. A series of formal definitions is deduced from this for: “representation”, “reality”, “language”, “ontology”, etc. All are based on Hilbert space. A few statements (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. A Model of Causal and Probabilistic Reasoning in Frame Semantics.Vasil Penchev - 2020 - Semantics eJournal (Elsevier: SSRN) 2 (18):1-4.
    Quantum mechanics admits a “linguistic interpretation” if one equates preliminary any quantum state of some whether quantum entity or word, i.e. a wave function interpret-able as an element of the separable complex Hilbert space. All possible Feynman pathways can link to each other any two semantic units such as words or term in any theory. Then, the causal reasoning would correspond to the case of classical mechanics (a single trajectory, in which any next point is causally conditioned), and the probabilistic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Negation on the Australian Plan.Francesco Berto & Greg Restall - 2019 - Journal of Philosophical Logic 48 (6):1119-1144.
    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   10 citations  
  9. 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  
  10. Semantic Normativity.Åsa Maria 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   83 citations  
  11. Semantic Dispositionalism and Non-Inferential Knowledge.Andrea Guardo - 2014 - Philosophia 42 (3):749-759.
    The paper discusses Saul Kripke's Normativity Argument against semantic dispositionalism: it criticizes the orthodox interpretation of the argument, defends an alternative reading and argues that, contrary to what Kripke himself seems to have been thinking, the real point of the Normativity Argument is not that meaning is normative. According to the orthodox interpretation, the argument can be summarized as follows: (1) it is constitutive of the concept of meaning that its instances imply an ought, but (2) it is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Semantic Originalism.Lawrence B. Solum - manuscript
    Semantic originalism is a theory of constitutional meaning that aims to disentangle the semantic, legal, and normative strands of debates in constitutional theory about the role of original meaning in constitutional interpretation and construction. This theory affirms four theses: (1) the fixation thesis, (2) the clause meaning thesis, (3) the contribution thesis, and (4) the fidelity thesis. -/- The fixation thesis claims that the semantic content of each constitutional provision is fixed at the time the provision is framed and ratified: (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  13. Semantic Paradox and Alethic Undecidability.Stephen Barker - 2014 - Analysis 74 (2):201-209.
    I use the principle of truth-maker maximalism to provide a new solution to the semantic paradoxes. According to the solution, AUS, its undecidable whether paradoxical sentences are grounded or ungrounded. From this it follows that their alethic status is undecidable. We cannot assert, in principle, whether paradoxical sentences are true, false, either true or false, neither true nor false, both true and false, and so on. AUS involves no ad hoc modification of logic, denial of the T-schema's validity, or obvious (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Semantic Dispositionalism Without Exceptions.Arvid Båve - 2020 - Philosophical Studies 177 (6):1751-1771.
    Semantic dispositionalism is roughly the view that meaning a certain thing by a word, or possessing a certain concept, consists in being disposed to do something, e.g., infer a certain way. Its main problem is that it seems to have so many and disparate exceptions. People can fail to infer as required due to lack of logical acumen, intoxication, confusion, deviant theories, neural malfunctioning, and so on. I present a theory stating possession conditions of concepts that are counterfactuals, rather than (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  15. 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  
  16. Kripke’s Category Error: Why There Are No Necessary A Posteriori Propositions.Peter Ulric Tse - manuscript
    Kripke’s main argument against descriptivism is rooted in a category error that confuses statements about the world with statements about models of the world. It is only because of the ambiguity introduced by the fact that a single sentence can frame two different propositions, one necessary and the other a posteriori, that one reaches the mistaken conclusion that there can be necessary a posteriori truths. This ambiguity from language was carried over into modal logic by Kripke. However, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Explaining Away Kripke’s Wittgenstein.Derek Green - forthcoming - Erkenntnis:1-21.
    The paradox of rule-following that Saul Kripke finds in Wittgenstein’s Philosophical Investigations purports to show that words and thoughts have no content—that there is no intentionality. This paper refutes the paradox with a dilemma. Intentional states are posited in rational explanations, which use propositional attitudes to explain actions and thoughts. Depending on which of the two plausible views of rational explanation is right, either: the paradox is mistaken about the a priori requirements for content; or, a fatal flaw in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18.  76
    Foucault and Kripke on the Proper Names of Authors.Christopher Mole - 2016 - Philosophy and Literature 40 (2):383-398.
    The semantic issues that Saul Kripke addressed in Naming and Necessity overlap substantially with those that were addressed by Michel Foucault in “What Is an Author?”. The present essay examines their area of overlap, with a view to showing that each of these works affords a perspective on the other, from which facets that are usually obscure can be brought into view. It shows that Foucault needs to take some assumptions from Kripke’s theory of naming in order to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Updating the Frame Problem for Artificial Intelligence Research.Lisa Miracchi - 2020 - Journal of Artificial Intelligence and Consciousness 7 (2):217-230.
    The Frame Problem is the problem of how one can design a machine to use information so as to behave competently, with respect to the kinds of tasks a genuinely intelligent agent can reliably, effectively perform. I will argue that the way the Frame Problem is standardly interpreted, and so the strategies considered for attempting to solve it, must be updated. We must replace overly simplistic and reductionist assumptions with more sophisticated and plausible ones. In particular, the standard (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. The Ambiguity Thesis Vs. Kripke's Defence of Russell: Further Developments.Murali Ramachandran & Nadja Rosental - 2000 - Philosophical Writings 14:49-57.
    Kripke (1977) presents an argument designed to show that the considerations in Donnellan (1966) concerning attributive and referential uses of (definite) descriptions do not, by themselves, refute Russell’s (1905) unitary theory of description sentences (RTD), which takes (utterances of) them to express purely general, quantificational, propositions. Against Kripke, Marga Reimer (1998) argues that the two uses do indeed reflect a semantic ambiguity (an ambiguity at the level of literal truth conditions). She maintains a Russellian (quantificational) analysis of utterances (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Swahili Conditional Constructions in Embodied Frames of Reference: Modeling Semantics, Pragmatics, and Context-Sensitivity in UML Mental Spaces.Roderick Fish - 2020 - Dissertation, Trinity Western University
    Studies of several languages, including Swahili [swa], suggest that realis (actual, realizable) and irrealis (unlikely, counterfactual) meanings vary along a scale (e.g., 0.0–1.0). T-values (True, False) and P-values (probability) account for this pattern. However, logic cannot describe or explain (a) epistemic stances toward beliefs, (b) deontic and dynamic stances toward states-of-being and actions, and (c) context-sensitivity in conditional interpretations. (a)–(b) are deictic properties (positions, distance) of ‘embodied’ Frames of Reference (FoRs)—space-time loci in which agents perceive and from which they contextually (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22.  84
    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   4 citations  
  23. 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  
  24.  18
    Back to the Golden Age: Saul Kripke's Naming and Necessity and Twenty‐First Century Philosophy.Andrea Bianchi - forthcoming - Theoria.
    In this paper, I try to outline what I take to be Naming and Necessity’s fundamental legacy to my generation and those that follow, and the new perspectives it has opened up for twenty-first century philosophy. The discussion is subdivided into three sections, concerning respectively philosophy of language, metaphysics, and metaphilosophy. The general unifying theme is that Naming and Necessity is helping philosophy to recover a Golden Age, by freeing it from the strictures coming from the empiricist and Kantian traditions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Speaker’s Reference, Semantic Reference, and Intuition.Richard Heck - 2018 - Review of Philosophy and Psychology 9 (2):251-269.
    Some years ago, Machery, Mallon, Nichols, and Stich reported the results of experiments that reveal, they claim, cross-cultural differences in speaker’s ‘intuitions’ about Kripke’s famous Gödel–Schmidt case. Several authors have suggested, however, that the question they asked their subjects is ambiguous between speaker’s reference and semantic reference. Machery and colleagues have since made a number of replies. It is argued here that these are ineffective. The larger lesson, however, concerns the role that first-order philosophy should, and more importantly should (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  79
    Speaker’s Reference, Semantic Reference, and the Gricean Project.Andrea Bianchi - 2019 - Croatian Journal of Philosophy 19 (57):423-448.
    In this paper, I focus on the alleged distinction between speaker’s reference and semantic reference. I begin by discussing Saul Kripke’s notion of speaker’s reference and the theoretical roles it is supposed to play, arguing that they do not justify the claim that reference comes in two different sorts and highlighting that Kripke’s own definition makes the notion incompatible with the nowadays widely endorsed Gricean project, which aims at explaining semantic reference in terms of speaker’s reference. I then (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. The Quasi-Verbal Dispute Between Kripke and 'Frege-Russell'.J. P. Smit - manuscript
    Traditional descriptivism and Kripkean causalism are standardly interpreted as rival theories on a single topic. I argue that there is no such shared topic, i.e. that there is no question that they can be interpreted as giving rival answers to. The only way to make sense of the commitment to epistemic transparency that characterizes traditional descriptivism is to interpret Russell and Frege as proposing rival accounts of how to characterize a subject’s beliefs about what names refer to. My argument relies (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Reconciling Semantic Dispositionalism with Semantic Holism.Adam C. Podlaskowski - 2010 - Philosophia 38 (1):169-178.
    Dispositionalist theories of mental content have been attacked on the grounds that they are incompatible with semantic holism. In this paper, I resist important worries of this variety, raised by Paul Boghossian. I argue that his objections can be avoided by a conceptual role version of dispositionalism, where the multifarious relationships between mental contents are grounded on the relationships between their corresponding, grounding dispositions.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. The Structure of Semantic Competence: Compositionality as an Innate Constraint of The Faculty of Language.Guillermo Del Pinal - 2015 - Mind and Language 30 (4):375–413.
    This paper defends the view that the Faculty of Language is compositional, i.e., that it computes the meaning of complex expressions from the meanings of their immediate constituents and their structure. I fargue that compositionality and other competing constraints on the way in which the Faculty of Language computes the meanings of complex expressions should be understood as hypotheses about innate constraints of the Faculty of Language. I then argue that, unlike compositionality, most of the currently available non-compositional constraints predict (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  38
    On the Correspondence Between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Chalmers and Semantics.Panu Raatikainen - 2021 - Theoria 87 (5):1193-1221.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32.  77
    Pure Informational Semantics and the Narrow/Broad Dichotomy.Murat Aydede - 1997 - In Dunja Jutronic (ed.), The Maribor Papers in Naturalized Semantics. Maribor. pp. 157.
    The influence of historical-causal theories of reference developed in the late sixties and early seventies by Donnellan, Kripke, Putnam and Devitt has been so strong that any semantic theory that has the consequence of assigning disjunctive representational content to the mental states of twins (e.g. [H2O or XYZ]) has been thereby taken to refute itself. Similarly, despite the strength of pre-theoretical intuitions that exact physical replicas like Davidson's Swampman have representational mental states, people have routinely denied that they have (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33.  19
    The Prejudice of Freedom: An Application of Kripke’s Notion of a Prejudice to Our Understanding of Free Will.James Cain - 2021 - Acta Analytica 36 (3):323-339.
    This essay reframes salient issues in discussions of free will using conceptual apparatus developed in the works of Saul Kripke, with particular attention paid to his little-discussed technical notion of a prejudice. I begin by focusing on how various forms of modality underlie alternate forms of compatibilism and discuss why it is important to avoid conflating these forms of compatibilism. The concept of a prejudice is then introduced. We consider the semantic role of prejudices, in particular conditions in which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  81
    On Deriving Nested Calculi for Intuitionistic Logics From Semantic Systems.Tim Lyon - 2020 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 177-194.
    This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. The Birth of Semantics.Richard Kimberly Heck & Robert C. May - 2020 - Journal for the History of Analytical Philosophy 8 (6):1-31.
    We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Simple Tasks, Abstractions, and Semantic Dispositionalism.Adam C. Podlaskowski - 2012 - Dialectica 66 (4):453-470.
    According to certain kinds of semantic dispositionalism, what an agent means by her words is grounded by her dispositions to complete simple tasks. This sort of position is often thought to avoid the finitude problem raised by Kripke against simpler forms of dispositionalism. The traditional objection is that, since words possess indefinite (or infinite) extensions, and our dispositions to use words are only finite, those dispositions prove inadequate to serve as ground for what we mean by our words. I (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. A Suitable Semantics for Implicit and Explicit Belief.Alessandro Giordani - 2015 - Logique Et Analyse 58 (231).
    In the present paper a new semantic framework for modelling the distinction between implicit and explicit belief is proposed and contrasted with the currently standard framework based on the idea that explicit belief can be construed as implicit belief accompanied by awareness. It is argued that within this new framework it is possible to get both a more intuitive interpretation of the aforementioned distinction and a straightforward solution to two critical problems to which the standard view is subjected. A system (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Two Epistemological Arguments Against Two Semantic Dispositionalisms.Andrea Guardo - 2020 - Journal for the Philosophy of Language, Mind and the Arts 1 (1):13-25.
    Even though he is not very explicit about it, in “Wittgenstein on Rules and Private Language” Kripke discusses two different, albeit related, skeptical theses ‒ the first one in the philosophy of mind, the second one in the metaphysics of language. Usually, what Kripke says about one thesis can be easily applied to the other one, too; however, things are not always that simple. In this paper, I discuss the case of the so-called “Normativity Argument” against semantic dispositionalism (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Causal Theory of Reference of Saul Kripke.Nicolae Sfetcu - manuscript
    Since the 1960s, Kripke has been a central figure in several fields related to mathematical logic, language philosophy, mathematical philosophy, metaphysics, epistemology and set theory. He had influential and original contributions to logic, especially modal logic, and analytical philosophy, with a semantics of modal logic involving possible worlds, now called Kripke semantics. In Naming and Necessity, Kripke proposed a causal theory of reference, according to which a name refers to an object by virtue of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Why God is Not a Semantic Realist.D. L. Anderson - 2002 - In William P. Alston (ed.), Realism & Antirealism. Cornell Up. pp. 131--48.
    Traditional theists are, with few exceptions, global semantic realists about the interpretation of external world statement. Realism of this kind is treated by many as a shibboleth of traditional Christianity, a sine qua non of theological orthodoxy. Yet, this love affair between theists and semantic realism is a poor match. I suggest that everyone (theist or no) has compelling evidence drawn from everyday linguistic practice to reject a realist interpretation of most external world statements. But theists have further reason to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Goodman Paradox, Hume's Problem, Goodman-Kripke Paradox: Three Different Issues.Beppe Brivec - manuscript
    This paper reports (in section 1 “Introduction”) some quotes from Nelson Goodman which clarify that, contrary to a common misunderstanding, Goodman always denied that “grue” requires temporal information and “green” does not require temporal information; and, more in general, that Goodman always denied that grue-like predicates require additional information compared to what green-like predicates require. One of the quotations is the following, taken from the first page of the Foreword to chapter 8 “Induction” of the Goodman’s book “Problems and Projects”: (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. 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   4 citations  
  43. 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   7 citations  
  44.  72
    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  
  45. Explaining Reference: A Plea for Semantic Psychologism.Santiago Echeverri - 2014 - In Julien Dutant, Davide Fassio & Anne Meylan (eds.), Liber Amicorum Pascal Engel. University of Geneva. pp. 550-580.
    ‘Modest’ and ‘full-blooded’ conceptions of meaning disagree on whether we should try to provide explanations of reference. In this paper, I defend a psychological brand of the full-blooded program. As I understand it, there are good reasons to provide a psychological explanation of referential abilities. This explanation is to be framed at an intermediary level of description between the personal level and the explanations provided by neuroscience. My defense of this program has two parts: First, I display the explanatory insufficiency (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. 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   7 citations  
  47. Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer International Publishing. pp. 803 - 819.
    We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.
    Download  
     
    Export citation  
     
    Bookmark  
  48. Mereological Composition and Plural Quantifier Semantics.Manuel Lechthaler & Ceth Lightfield - 2018 - Philosophia 46 (4):943-958.
    Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model brings (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49.  45
    Minimal Negation in the Ternary Relational Semantics.Gemma Robles, José M. Méndez & Francisco Salto - 2005 - Reports on Mathematical Logic 39:47-65.
    Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Conceptual Atomism and the Computational Theory of Mind: A Defense of Content-Internalism and Semantic Externalism.John-Michael Kuczynski - 2007 - John Benjamins & Co.
    Contemporary philosophy and theoretical psychology are dominated by an acceptance of content-externalism: the view that the contents of one's mental states are constitutively, as opposed to causally, dependent on facts about the external world. In the present work, it is shown that content-externalism involves a failure to distinguish between semantics and pre-semantics---between, on the one hand, the literal meanings of expressions and, on the other hand, the information that one must exploit in order to ascertain their literal meanings. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000