Search results for 'update semantics' (try it on Scholar)

1000+ found
Sort by:
  1. Frank Veltman (1996). Defaults in Update Semantics. Journal of Philosophical Logic 25 (3):221 - 261.score: 66.0
    The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic phenomena may successfully be analysed in it: (ii) to give a detailed analysis of one such phenomenon: default reasoning.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Henk Zeevat (1992). Presupposition and Accommodation in Update Semantics. Journal of Semantics 9 (4):379-412.score: 63.0
    A reconstruction is presented of van der Sandt's theory of presupposition in the framework of update semantics and extended to belief sentences. The resulting view is confronted with earlier approaches to presupposition (especially Heim's) in update semantics, concentrating on the approach to accommodation. It is shown in some detail that the anaphoric view of presupposition can be maintained for only a subclass of presuppositional triggers and must be given up for another class. The paper shows that (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. James Brawner & James Vorbach (1998). An Algorithmic Logic Approach to Formalizing Database Update Semantics. Journal of Applied Non-Classical Logics 8 (3):199-220.score: 60.0
    ABSTRACT To more efficiently cover a wide spectrum of conceptual modeling applications such as computer-aided design, computer-aided manufacturing, and medical information systems, we envision multi-paradigm design environments which have reasoning capability to support analyzing specifcations for correctness. For such applications, information system designers employ conceptual models characterized by semantically-rich specification languages. The problem of providing a comprehensive formal framework for such languages has not been adequately addressed. This paper investigates a formal system for this purpose called Event-Formula Logic (EFL). The (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Rosja Mastop (2011). Imperatives as Semantic Primitives. Linguistics and Philosophy 34 (4):305-340.score: 48.0
    This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. Arjen Hommersom, John-jules Meyer & Erik De vink (2004). Update Semantics of Security Protocols. Synthese 142 (2):229 - 267.score: 46.0
    We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agents’ beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Arjen Hommersom, John-Jules Meyer & Erik De Vink (2004). Update Semantics of Security Protocols. Synthese 142 (2):229 - 267.score: 46.0
    We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agent's beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Malte Willer (2010). New Surprises for the Ramsey Test. Synthese 176 (2):291 - 309.score: 45.0
    In contemporary discussions of the Ramsey Test for conditionals, it is commonly held that (i) supposing the antecedent of a conditional is adopting a potential state of full belief, and (ii) Modus Ponens is a valid rule of inference. I argue on the basis of Thomason Conditionals (such as ' If Sally is deceiving, I do not believe it') and Moore's Paradox that both claims are wrong. I then develop a double-indexed Update Semantics for conditionals which takes these (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Rosja Mastop (2011). Norm Performatives and Deontic Logic. European Journal of Analytic Philosophy 7 (2):83-105.score: 45.0
    Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic logic. That is, we first define norm systems (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Fengkui Ju & Fenrong Liu (2011). Prioritized Imperatives and Normative Conflicts. European Journal of Analytic Philosophy 7 (2):35-58.score: 45.0
    Imperatives occur ubiquitously in natural languages. They produce forces which change the addressee’s cognitive state and regulate her actions accordingly. In real life we often receive conflicting orders, typically, issued by various authorities with different ranks. A new update semantics is proposed in this paper to formalize this idea. The general properties of this semantics, as well as its background ideas are discussed extensively. In addition, we compare our framework with other approaches of deontic logics in the (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Berislav Žarnić (2003). Prima Facie Consequence in Update Semantics for Change Expressions. Bulletin of Symbolic Logic 9 (1):111-112.score: 45.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Igor Sedlár (2011). Moorean Sentences in Update Semantics. Organon F 18 (2):142-153.score: 45.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Frank Veltman (1996). ``Defaults in Update Semantics&Quot. Journal of Philosophical Logic 25:221-261.score: 45.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. Nate Charlow (2010). Restricting and Embedding Imperatives. In M. Aloni, H. Bastiaanse, T. de Jager & K. Schulz (eds.), Logic, Language, and Meaning: Selected Papers from the 17th Amsterdam Colloquium. Springer.score: 42.0
    We use imperatives to refute a naïve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses. Our analysis retains Kratzer's analysis of if-clauses as restrictors of some operator, but avoids typing it as a generalized quantifier over worlds (against her), instead as a dynamic force operator. Arguments for a restrictor treatment (but (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Anthony S. Gillies (2007). Counterfactual Scorekeeping. Linguistics and Philosophy 30 (3):329 - 360.score: 30.0
    Counterfactuals are typically thought--given the force of Sobel sequences--to be variably strict conditionals. I go the other way. Sobel sequences and (what I call) Hegel sequences push us to a strict conditional analysis of counterfactuals: counterfactuals amount to some necessity modal scoped over a plain material conditional, just which modal being a function of context. To make this worth saying I need to say just how counterfactuals and context interact. No easy feat, but I have something to say on the (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  15. Peter Beim Graben (2014). Order Effects in Dynamic Semantics. Topics in Cognitive Science 6 (1):67-73.score: 30.0
    In their target article, Wang and Busemeyer (2013) discuss question order effects in terms of incompatible projectors on a Hilbert space. In a similar vein, Blutner recently presented an orthoalgebraic query language essentially relying on dynamic update semantics. Here, I shall comment on some interesting analogies between the different variants of dynamic semantics and generalized quantum theory to illustrate other kinds of order effects in human cognition, such as belief revision, the resolution of anaphors, and default reasoning (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Alvaro Val & Yoav Shoham (1994). Deriving Properties of Belief Update From Theories of Action. Journal of Logic, Language and Information 3 (2):81-119.score: 30.0
    We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared “persistent by default”. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold:We prove a representation theorem for KM semantics in terms of a (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Philippe Schlenker (2007). Anti-Dynamics: Presupposition Projection Without Dynamic Semantics. [REVIEW] Journal of Logic, Language and Information 16 (3):325--356.score: 27.0
    Heim 1983 suggested that the analysis of presupposition projection requires that the classical notion of meanings as truth conditions be replaced with a dynamic notion of meanings as Context Change Potentials. But as several researchers (including Heim herself) later noted, the dynamic framework is insufficiently predictive: although it allows one to state that, say, the dynamic effect of F and G is to first update a Context Set C with F and then with G (i.e., C[F and G] = (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Fernando Raymundo Velázquez-Quesada (2009). Inference and Update. Synthese 169 (2):283 - 300.score: 27.0
    We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Jan van Eijck (2012). Action Emulation. Synthese 185 (1):131-151.score: 27.0
    The effects of public announcements, private communications, deceptive messages to groups, and so on, can all be captured by a general mechanism of updating multi-agent models with update action models, now in widespread use. There is a natural extension of the definition of a bisimulation to action models. Surely enough, updating with bisimilar action models gives the same result (modulo bisimulation). But the converse turns out to be false: update models may have the same update effects without (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Jan Eijck, Ji Ruan & Tomasz Sadzik (2012). Action Emulation. Synthese 185 (S1):131-151.score: 27.0
    The effects of public announcements, private communications, deceptive messages to groups, and so on, can all be captured by a general mechanism of updating multi-agent models with update action models, now in widespread use. There is a natural extension of the definition of a bisimulation to action models. Surely enough, updating with bisimilar action models gives the same result (modulo bisimulation). But the converse turns out to be false: update models may have the same update effects without (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Jaap van der Does, Willem Groeneveld & Frank Veltman (1997). An Update on “Might”. Journal of Logic, Language and Information 6 (4):361-380.score: 24.0
    This paper is on the update semantics for might of Veltman (1996). Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  22. Jaap van Der Does, Willem Groeneveld & Frank Veltman (1997). An Update on €œMight”. Journal of Logic, Language and Information 6 (4):361-380.score: 24.0
    This paper is on the update semantics for might of Veltman (1996). Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Alvaro Vadell & Yoav Shoham (1994). Deriving Properties of Belief Update From Theories of Action. Journal of Logic, Language and Information 3 (2).score: 24.0
    We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared persistent by default. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold: • We prove a representation theorem for KM semantics in terms (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. David J. Chalmers (2006). The Foundations of Two-Dimensional Semantics. In Manuel Garcia-Carpintero & Josep Macia (eds.), Two-Dimensional Semantics: Foundations and Applications. Oxford University Press. 55-140.score: 21.0
    Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. Robert Stalnaker (2006). Assertion Revisited: On the Interpretation of Two-Dimensional Modal Semantics. In Garc (ed.), Two-Dimensional Semantics. Oxford: Clarendon Press. 299-322.score: 21.0
    This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, my interpretation (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  26. James R. Hurford (2007). Semantics: A Coursebook. Cambridge University Press.score: 21.0
    This practical coursebook introduces all the basics of semantics in a simple, step-by-step fashion. Each unit includes short sections of explanation with examples, followed by stimulating practice exercises to complete in the book. Feedback and comment sections follow each exercise to enable students to monitor their progress. No previous background in semantics is assumed, as students begin by discovering the value and fascination of the subject and then move through all key topics in the field, including sense and (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Daniel Rothschild, Making Dynamics Semantics Explanatory: Presupposition Projection.score: 21.0
    Understanding the pattern by which complex sentences inherit the presuppositions of their parts (presupposition projection) has been a major topic in formal pragmatics since the 1970s. Heim’s classic paper “On the Projection Problem for Presuppositions” (1983) proposed a replacement of truth-conditional semantics with a dynamic semantics that treats meanings as instructions to update the common ground. Heim’s system predicts the basic pattern of presupposition projection quite accurately. The classic objection to this program (including other versions of dynamic (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Luis Alonso-Ovalle (2008). Innocent Exclusion in an Alternative Semantics. Natural Language Semantics 16 (2):115-128.score: 21.0
    The exclusive component of unembedded disjunctions is standardly derived as a conversational implicature by assuming that or forms a lexical scale with and. It is well known, however, that this assumption does not suffice to determine the required scalar competitors of disjunctions with more than two atomic disjuncts (McCawley, Everything that linguists have always wanted to know about logic* (But were ashamed to ask). Chicago University Press, Chicago, 1993, p. 324; Simons, “Or”: Issues in the semantics and pragmatics of (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  29. James Delgrande & Francis Jeffry Pelletier, Compositional Belief Update.score: 21.0
    In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to provide an update operator that is intuitive, in that its definition is based on a recursive decomposition of the update sentence’s structure, and that may be reasonably implemented. In addressing update, we first provide a definition phrased in terms of the models of a knowledge (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.score: 21.0
    Logical frameworks for analysing the dynamics ofinformation processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off. This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate that (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Murat Aydede (1997). Pure Informational Semantics and the Narrow/Broad Dichotomy. In Dunja Jutronic (ed.), The Maribor Papers in Naturalized Semantics. Maribor. 157.score: 19.0
    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 any (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Ned Block (1998). Conceptual Role Semantics. In Edward Craig (ed.), Routledge Encyclopedia of Philosophy. Routledge. 242-256.score: 18.0
    According to Conceptual Role Semantics ("CRS"), the meaning of a representation is the role of that representation in the cognitive life of the agent, e.g. in perception, thought and decision-making. It is an extension of the well known "use" theory of meaning, according to which the meaning of a word is its use in communication and more generally, in social interaction. CRS supplements external use by including the role of a symbol inside a computer or a brain. The uses (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  33. Peter Fritz (2013). A Logic for Epistemic Two-Dimensional Semantics. Synthese 190 (10):1753-1770.score: 18.0
    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. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  34. Robert Stalnaker (2004). Assertion Revisited: On the Interpretation of Two-Dimensional Modal Semantics. Philosophical Studies 118 (1-2):299-322.score: 18.0
    This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, my interpretation (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  35. William B. Starr, A Preference Semantics for Imperatives.score: 18.0
    There is a rich canon of work on the meaning of imperative sentences, e.g. "Dance!", in philosophy and much recent research in linguistics has made its own exciting advances. However, in this paper I argue that three observations about English imperatives are problematic for approaches from both traditions. In response, I offer a new analysis according to which the meaning of an imperative is identified with the characteristic effect its uses have on the agents’ attitudes. More specifically: an imperative’s meaning (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Ernest Lepore & Kirk Ludwig (2003). Outline for a Truth-Conditional Semantics for Tense. In Quentin Smith & Aleksandar Jokic (eds.), Tense, Time and Reference. MIT. 49-105.score: 18.0
    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 (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Jonathan Schaffer & Zoltan Gendler Szabo (2013). Epistemic Comparativism: A Contextualist Semantics for Knowledge Ascriptions. Philosophical Studies (2):1-53.score: 18.0
    Knowledge ascriptions seem context sensitive. Yet it is widely thought that epistemic contextualism does not have a plausible semantic implementation. We aim to overcome this concern by articulating and defending an explicit contextualist semantics for ‘know,’ which integrates a fairly orthodox contextualist conception of knowledge as the elimination of the relevant alternatives, with a fairly orthodox “Amherst” semantics for A-quantification over a contextually variable domain of situations. Whatever problems epistemic contextualism might face, lack of an orthodox semantic implementation (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  38. Kit Fine (2000). Semantics for the Logic of Essence. Journal of Philosophical Logic 29 (6):543-584.score: 18.0
    This paper provides a possible worlds semantics for the system of the author's previous paper 'The Logic of Essence'. The basic idea behind the semantics is that a statement should be taken to be true in virtue of the nature of certain objects just in case it is true in any possible world compatible with the nature of those objects. It is shown that a slight variant of the original system is sound and complete under the proposed (...). (shrink)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  39. B. Jack Copeland (2002). The Genesis of Possible Worlds Semantics. Journal of Philosophical Logic 31 (2):99-137.score: 18.0
    This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  40. David J. Chalmers & Brian Rabern (2014). Two-Dimensional Semantics and the Nesting Problem. Analysis 74 (2):210-224.score: 18.0
    Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems concern nested environments: linguistic environments where sentences are nested under both modal and epistemic operators. Closely related problems involving nested environments have been raised by Scott Soames (2005) and Josh Dever (2007). Soames goes so far as to say that nested environments pose the “chief technical problem” for strong two-dimensionalism. We call the problem of handling nested environments within two-dimensional semantics “the nesting problem”. We show that the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  41. Christopher Menzel (1990). Actualism, Ontological Commitment, and Possible World Semantics. Synthese 85 (3):355 - 389.score: 18.0
    Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  42. Nate Charlow (2014). Logic and Semantics for Imperatives. Journal of Philosophical Logic 43 (4):617-664.score: 18.0
    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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  43. Alessandro Giordani (2013). A New Semantics for Systems of Logic of Essence. Studia Logica (3):1-30.score: 18.0
    The purpose of the present paper is to provide a way of understanding systems of logic of essence by introducing a new semantic framework for them. Three central results are achieved: first, the now standard Fitting semantics for the propositional logic of evidence is adapted in order to provide a new, simplified semantics for the propositional logic of essence; secondly, we show how it is possible to construe the concept of necessary truth explicitly by using the concept of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  44. Laura Schroeter (2004). The Rationalist Foundations of Chalmers's 2-D Semantics. Philosophical Studies 118 (1-2):227-255.score: 18.0
    In Epistemic Two-Dimensional Semantics, David Chalmers seeks to develop a version of 2-D semantics which can vindicate the rationalist claim that there are constitutive connections between meaning, possibility and a priority. Chalmers lays out different ways of filling in his preferred epistemic approach to 2-D semantics so as to avoid controversial philosophical assumptions. In these comments, however, I argue that there are some distinctively rationalist commitments in Chalmers's epistemic approach to 2-D semantics. I start by explaining (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  45. Manuel Garcia-Carpintero & Josep Macia (eds.) (2006). Two-Dimensional Semantics. Oxford: Clarendon Press.score: 18.0
    Two-dimensional semantics is a framework that helps us better understand some of the most fundamental issues in philosophy: those having to do with the relationship between the meaning of words, the way the world is, and our knowledge of the meaning of words. This selection of new essays by some of the world's leading authorities in this field sheds fresh light both on foundational issues regarding two-dimensional semantics and on its specific applications. Contributors: Richard Breheny, Alex Byrne, David (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Jack Bilmes (2011). Occasioned Semantics: A Systematic Approach to Meaning in Talk. [REVIEW] Human Studies 34 (2):129-153.score: 18.0
    This paper puts forward an argument for a systematic, technical approach to formulation in verbal interaction. I see this as a kind of expansion of Sacks’ membership categorization analysis, and as something that is not offered (at least not in a fully developed form) by sequential analysis, the currently dominant form of conversation analysis. In particular, I suggest a technique for the study of “occasioned semantics,” that is, the study of structures of meaningful expressions in actual occasions of conversation. (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  47. Tapio Korte, Ari Maunu & Tuomo Aho (2009). Modal Logic From Kant to Possible Worlds Semantics. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.score: 18.0
    This chapter begins with a discussion of Kant's theory of judgment-forms. It argues that it is not true in Kant's logic that assertoric or apodeictic judgments imply problematic ones, in the manner in which necessity and truth imply possibility in even the weakest systems of modern modal logic. The chapter then discusses theories of judgment-form after Kant, the theory of quantification, Frege's Begriffsschrift, C. I. Lewis and the beginnings of modern modal logic, the proof-theoretic approach to modal logic, possible world (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. D. A. Cruse (1986). Lexical Semantics. Cambridge University Press.score: 18.0
    Lexical Semantics is about the meaning of words. Although obviously a central concern of linguistics, the semantic behaviour of words has been unduly neglected in the current literature, which has tended to emphasize sentential semantics and its relation to formal systems of logic. In this textbook D. A. Cruse establishes in a principled and disciplined way the descriptive and generalizable facts about lexical relations that any formal theory of semantics will have to encompass. Among the topics covered (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Sebastian Lutz, The Semantics of Scientific Theories.score: 18.0
    Marian Przełęcki’s semantics for the Received View is a good explication of Carnap’s position on the subject, anticipates many discussions and results from both proponents and opponents of the Received View, and can be the basis for a thriving research program.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. William J. Rapaport (2000). How to Pass a Turing Test: Syntactic Semantics, Natural-Language Understanding, and First-Person Cognition. Journal of Logic, Language, and Information 9 (4):467-490.score: 18.0
    I advocate a theory of syntactic semantics as a way of understanding how computers can think (and how the Chinese-Room-Argument objection to the Turing Test can be overcome): (1) Semantics, considered as the study of relations between symbols and meanings, can be turned into syntax – a study of relations among symbols (including meanings) – and hence syntax (i.e., symbol manipulation) can suffice for the semantical enterprise (contra Searle). (2) Semantics, considered as the process of understanding one (...)
    Direct download (17 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000