Results for 'interpretive semantics'

962 found
Order:
  1. Against ‘Interpretation’: Quantum Mechanics Beyond Syntax and Semantics.Raoni Wohnrath Arroyo & Gilson Olegario da Silva - 2022 - Axiomathes 32 (6):1243-1279.
    The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  2. Proof-Theoretic Semantics and the Interpretation of Atomic Sentences.Preston Stovall - 2020 - In Martin Blicha & Igor Sedlar (eds.), The Logica Yearbook 2019. College Publications. pp. 163-178.
    This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretation of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.
    Download  
     
    Export citation  
     
    Bookmark  
  3. An Interpretation of McCall’s “Real Possible Worlds” and His Semantics for Counterfactuals.Alexandru Dragomir - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (1):65-78.
    McCall (1984) offered a semantics of counterfactual conditionals based on “real possible worlds” that avoids using the vague notion of similarity between possible worlds. I will propose an interpretation of McCall’s counterfactuals in a formal framework based on Baltag-Moss-Solecki events and protocols. Moreover, I will argue that using this interpretation one can avoid an objection raised by Otte (1987).
    Download  
     
    Export citation  
     
    Bookmark  
  4. Principles of Interpretive Charity and the Semantics of Knowledge Attributions.Gregory Stoutenburg - 2016 - Acta Analytica 31 (2):153-168.
    Positions in the debate about the correct semantics of “S knows that p” are sometimes motivated in part by an appeal to interpretive charity. In particular, non-skeptical views hold that many utterances of the sentence “S knows that p” are true and some of them think the fact that their views are able to respect this is a reason why their views are more charitable than skeptical invariantism. However, little attention has been paid to why charity should be (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  90
    Two semantic interpretations of probabilities in description logics of typicality.Antonio Lieto & Gian Luca Pozzato - forthcoming - Logic Journal of the IGPL.
    We intoduce a novel extension of Description Logics (DLs) of typicality by means of probabilities able to represent and reason about typical properties and defeasible inheritance in DLs.
    Download  
     
    Export citation  
     
    Bookmark  
  6. Implementation is Semantic Interpretation.Willam J. Rapaport - 1999 - The Monist 82 (1):109-130.
    What is the computational notion of “implementation”? It is not individuation, instantiation, reduction, or supervenience. It is, I suggest, semantic interpretation.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  7. (1 other version)To Save the Semantic View: An Argument for Returning to Suppes' Interpretation.Thomas Cunningham - 2008
    Recent work on the semantic view of scientific theories is highly critical of the position. This paper identifies two common criticisms of the view, describes two popular alternatives for responding to them, and argues those responses do not suffice. Subsequently, it argues that retuning to Patrick Suppes’ interpretation of the position provides the conceptual resources for rehabilitating the semantic view.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. 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  
     
    Export citation  
     
    Bookmark   4 citations  
  9. The Modern Semantic Principles Behind Gilson’s Existential Interpretation of Aquinas (Part 1).Elliot T. Polsky - 2024 - Studia Gilsoniana 13 (2):303–337.
    Gilson’s Being and Some Philosophers (BSP) has been widely influential well beyond Thomistic circles, but its modern historical sources and logical consequences call for further investigation. The first part of this two-part article explores three modern semantic assumptions or principles without which BSP’s innovative theory of existential judgment cannot be fully appreciated—the existential neutrality of the copula ubiquitous among modern logicians; Kant’s introduction of a positing or “thetic” function of judgment, the understanding of which evolved in nineteenth-century logic; and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. The Modern Semantic Principles Behind Gilson’s Existential Interpretation of Aquinas (Part 2).Elliot Polsky - forthcoming - Studia Gilsoniana.
    Part one of this two-part paper looked at the modern semantic developments underlying Gilson’s innovative and highly influential semantic theory in Being and Some Philosophers (BSP)—the existential neutrality of the copula, the distinction between predication and some positing or “thetic” function of judgment, and the distinction between predication and assertion. The present part of this paper offers a rereading of Gilson’s work in light of this modern backdrop. It argues that Gilson’s BSP, rather than being a purely historical exegesis of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Semantic Interpretation of the Classical / Intuitionist Logical Divide Through the Language of Scientific Theories.Antonino Drago - manuscript
    Double negations are easily recognised in both the so-called “negative literature” and the original texts of some important scientific theories. Often they are not equivalent to the corresponding affirmative propositions. In the case the law of double negation fails they belong to non-classical logic, as first, intuitionist logic. Through a comparative analysis of the theories including them the main features of a new kind of theoretical organization governed by intuitionist logic are obtained. Its arguing proceeds through doubly negated propositions and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Semantics for Natural Languages / Semantika za prirodne jezike (Bosnian translation by Nijaz Ibrulj).Nijaz Ibrulj & Donald Davidson - 1997 - Odjek 1 (1-3):71-73.
    The essay "Semantics for Natural Languages" is here translated from a collection of Davidson's essays published under the title "Inquiries into Truth and Interpretation", Claredon Press, Oxford 1984.
    Download  
     
    Export citation  
     
    Bookmark  
  13. 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  
     
    Export citation  
     
    Bookmark   10 citations  
  14. Interpretive Rules and the Description of the Aspects.H. J. Verkuyl - 1976 - Foundations of Language 14 (4):471-503.
    This paper aims at showing that the generative-semantic framework is not essential to the proposal in H.J. Verkuyl On the Compositional Nature of the Aspects Reidel:Dordrecht 1972. Compositionality can be shown to be neutral as to the then-difference between generative-semantic and the interpretive-semantic branch of transformational grammar.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. 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 not constitutive (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  16. Semantics without the distinction between sense and force.Stephen J. Barker - 2007 - In Savas L. Tsohatzidis (ed.), John Searle's Philosophy of Language: Force, Meaning and Mind. Cambridge University Press. pp. 190-210.
    At the heart of semantics in the 20th century is Frege’s distinction between sense and force. This is the idea that the content of a self-standing utterance of a sentence S can be divided into two components. One part, the sense, is the proposition that S’s linguistic meaning and context associates with it as its semantic interpretation. The second component is S’s illocutionary force. Illocutionary forces correspond to the three basic kinds of sentential speech acts: assertions, orders, and questions. (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  17. Did Aquinas Answer Cajetan's Question? Aquinas's Semantic Rules for Analogy and the Interpretation of De Nominum Analogia.Joshua P. Hochschild - 2003 - Proceedings of the American Catholic Philosophical Association 77:273-288.
    Cajetan’s analogy theory is usually evaluated in terms of its fidelity to the teachings of Aquinas. But what if Cajetan was trying to answer questions Aquinas himself did not raise, and so could not help to answer? Cajetan’s De Nominum Analogia can be interpreted as intending to solve a particular semantic problem: to characterize the unity of the analogical concept, so as to defend the possibility of a non-univocal term’s mediating syllogistic reasoning. Aquinas offers various semantic characterizations of analogy, saying (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  96
    A Davidsonian Truth-theoretic Semantics Treatment of an EkeGusii Proverb.Evans Gesura Mecha & Isaac Nilson Opande - 2021 - Macrolinguistics 9 (2):68-94.
    The paper examines some doctrines of the Davidsonian Programme of truth conditional Semantics that relates truth to meaning using Tarski’s T-Convention, in relation to its efficacy in a semantic valuation of the EkeGusii proverb: Nda ’indongi ereta morogi ereta moibi which exemplifies a kind of complex sentence that a given system of Semantics is meant to account for. The coverage of Davidsonian truth-conditional notion of T-convention and that of compositionality are considered to have only a partial reach in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Semantic interoperability in healthcare. State of the art in the US. A position paper with background materials.Werner Ceusters & Barry Smith - 2010 - In Ceusters Werner & Smith Barry (eds.), European Union ARGOS Project: Transatlantic Observatory for Meeting Global Health Policy Challenges through ICT-Enabled Solution.
    Semantic interoperability can be defined as the ability of two or more computer systems to exchange information in such a way that the meaning of that information can be automatically interpreted by the receiving system accurately enough to produce useful results to the end users of both systems. Several activities are currently being performed by a variety of stakeholders to achieve semantic interoperability in healthcare. Many of these activities are not beneficial, because they place too great a focus on business (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. (1 other version)Semantic information and the correctness theory of truth.Luciano Floridi - 2011 - Erkenntnis 74 (2):147–175.
    Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  21. 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   19 citations  
  22. Numerals and quantifiers in X-bar syntax and their semantic interpretation.Henk J. Verkuyl - 1981 - In Jeroen A. G. Groenendijk (ed.), Formal methods in the study of language. U of Amsterdam. pp. 567-599.
    The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  23. Tagging: semantics at the iconic/symbolic interface.Gabriel Greenberg - 2019 - In Julian J. Schlöder, Dean McHugh & Floris Roelofsen (eds.), Proceedings of the 22nd Amsterdam Colloquium. pp. 11-20.
    Tagging is the phenomenon in which regions of a picture, map, or diagram are annotated with words or other symbols, to provide descriptive information about a depicted object. The interpretive principles that govern tagged images are not well understood, due in part to the difficulty of integrating pictorial and linguistic semantic rules. Rather than directly combining these rules, I propose to use the framework of perspectival feature maps as an intermediary representation of content, in which the outputs of pictorial (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Mental time-travel, semantic flexibility, and A.I. ethics.Marcus Arvan - 2023 - AI and Society 38 (6):2577-2596.
    This article argues that existing approaches to programming ethical AI fail to resolve a serious moral-semantic trilemma, generating interpretations of ethical requirements that are either too semantically strict, too semantically flexible, or overly unpredictable. This paper then illustrates the trilemma utilizing a recently proposed ‘general ethical dilemma analyzer,’ GenEth. Finally, it uses empirical evidence to argue that human beings resolve the semantic trilemma using general cognitive and motivational processes involving ‘mental time-travel,’ whereby we simulate different possible pasts and futures. I (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  25. Is semantic information meaningful data?Luciano Floridi - 2007 - Philosophy and Phenomenological Research 70 (2):351-370.
    There is no consensus yet on the definition of semantic information. This paper contributes to the current debate by criticising and revising the Standard Definition of semantic Information (SDI) as meaningful data, in favour of the Dretske‐Grice approach: meaningful and well‐formed data constitute semantic information only if they also qualify as contingently truthful. After a brief introduction, SDI is criticised for providing necessary but insufficient conditions for the definition of semantic information. SDI is incorrect because truth‐values do not supervene on (...)
    Download  
     
    Export citation  
     
    Bookmark   100 citations  
  26. Functorial Semantics for the Advancement of the Science of Cognition.Venkata Posina, Dhanjoo N. Ghista & Sisir Roy - 2017 - Mind and Matter 15 (2):161-184.
    Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  27. Syntax, Semantics, and Computer Programs.William J. Rapaport - 2020 - Philosophy and Technology 33 (2):309-321.
    Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Is semantics formal?Mark Schroeder - manuscript
    In this paper I will be concerned with the question of the extent to which semantics can be thought of as a purely formal exercise, which we can engage in in a way that is neutral with respect to how our formal system is to be interpreted. I will be arguing, to the contrary, that the features of the formal systems which we use to do semantics are closely linked, in several different ways, to the interpretation that we (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  29. Semantic Information and the Complexity of Deduction.Salman Panahy - 2023 - Erkenntnis 88 (4):1-22.
    In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are hopeful, their definitions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Semantic deflationism deflated.Mahrad Almotahari - 2019 - Synthese 196 (6):2435-2454.
    Deflationism is the view that certain metaphysical debates are defective, leaving it open whether the defect is best explained in semantic, conceptual, or epistemic terms. Local semantic deflationism is the thesis that familiar metaphysical debates, which appear to be about the existence and identity of material objects, are merely verbal. It’s a form of local deflationism because it restricts itself to one particular area of metaphysics. It’s a form of semantic deflationism because the defect it purports to identify in these (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Fictional names in psychologistic semantics.Emar Maier - 2017 - Theoretical Linguistics 43 (1-2):1-46.
    Fictional names pose a difficult puzzle for semantics. We can truthfully maintain that Frodo is a hobbit, while at the same time admitting that Frodo does not exist. To reconcile this paradox I propose a way to formalize the interpretation of fiction as ‘prescriptions to imagine’ (Walton 1990) within an asymmetric semantic framework in the style of Kamp (1990). In my proposal, fictional statements are analyzed as dynamic updates on an imagination component of the interpreter’s mental state, while plain (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  32. Perspectives on the semantics/pragmatics debate: insights from aphasia research.Roberto Graci & Alessandro Capone - 2023 - Frontiers in Psychology 2023 (14):1-20.
    n the philosophy of language, there are many ongoing controversies that stem from relying too heavily on an utterance-based framework. The traditional approach of rigidly partitioning the utterance’s meaning into what is grammatically determined from what is not may not fully capture the complexity of human language in real-world communicative contexts. To address this issue, we suggest shifting focus toward a broader analysis level encompassing conversations and discourses. From this broader perspective, it is possible to obtain a more integrated view (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. A Single-Type Semantics for Natural Language.Kristina Liefke - 2014 - Dissertation, Tilburg University
    Montague (1970) interprets a small fragment of English through the use of two basic types of objects: individuals and propositions. My dissertation develops an alternative semantics that only uses one basic type (hence, *single-type semantics*). Such a semantics has been conjectured by Partee (2006) as a ‘minimality test’ for the Montagovian type system, which captures the lowest ontological requirements on any successful semantics for Montague’s fragment. The development of this semantics answers a number of important (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Semantic Naturalization via Interactive Perceptual Causality.John Dilworth - 2008 - Minds and Machines 18 (4):527-546.
    A novel semantic naturalization program is proposed. Its three main differences from informational semantics approaches are as follows. First, it makes use of a perceptually based, four-factor interactive causal relation in place of a simple nomic covariance relation. Second, it does not attempt to globally naturalize all semantic concepts, but instead it appeals to a broadly realist interpretation of natural science, in which the concept of propositional truth is off-limits to naturalization attempts. And third, it treats all semantic concepts (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. The interpretation of indefinites in future tense sentences. A novel argument for the modality of will?Fabio Del Prete - 2014 - In Mikhail Kissine, Philippe de Brabanter & Saghie Sharifzadeh (eds.), Oxford Studies of Time in Language and Thought.
    The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is introduced in the interpretation of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Truth-Theoretic Semantics and Its Limits.Kirk Ludwig - 2017 - Argumenta (3):21-38.
    Donald Davidson was one of the most influential philosophers of the last half of the 20th century, especially in the theory of meaning and in the philosophy of mind and action. In this paper, I concentrate on a field-shaping proposal of Davidson’s in the theory of meaning, arguably his most influential, namely, that insight into meaning may be best pursued by a bit of indirection, by showing how appropriate knowledge of a finitely axiomatized truth theory for a language can put (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. COEVOLUTIONARY SEMANTICS OF TECHNOLOGICAL CIVILIZATION GENESIS AND EVOLUTIONARY RISK (BETWEEN THE BIOAESTHETICS AND BIOPOLITICS).V. T. Cheshko & O. N. Kuz - 2016 - Anthropological Dimensions of Philosophical Studies (10):43-55.
    Purpose (metatask) of the present work is to attempt to give a glance at the problem of existential and anthropo- logical risk caused by the contemporary man-made civilization from the perspective of comparison and confronta- tion of aesthetics, the substrate of which is emotional and metaphorical interpretation of individual subjective values and politics feeding by objectively rational interests of social groups. In both cases there is some semantic gap pre- sent between the represented social reality and its representation in perception (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Verbal Disagreement and Semantic Plans.Alexander W. Kocurek - 2023 - Erkenntnis.
    I develop an expressivist account of verbal disagreements as practical disagreements over how to use words rather than factual disagreements over what words actually mean. This account enjoys several advantages over others in the literature: it can be implemented in a neo-Stalnakerian possible worlds framework; it accounts for cases where speakers are undecided on how exactly to interpret an expression; it avoids appeals to fraught notions like subject matter, charitable interpretation, and joint-carving; and it naturally extends to an analysis of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. On the Semantics of Email Addresses.Brian Rabern - manuscript
    At the turn of the century, electronic mail emerged as a core mode of communication, fundamentally transforming the way individuals and organizations interact. In this digital age, one ubiquitous representational device is the email address. Given the importance of email addresses in our lives, it is natural to ask: what do email addresses represent? And how do they represent it? Given that email addresses have a semantic interpretation, and that they have a formal syntax, it is reasonable to assume that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. ARGOS policy brief on semantic interoperability.Dipak Kalra, Mark Musen, Barry Smith & Werner Ceusters - 2011 - Studies in Health Technology and Informatics 170 (1):1-15.
    Semantic interoperability requires the use of standards, not only for Electronic Health Record (EHR) data to be transferred and structurally mapped into a receiving repository, but also for the clinical content of the EHR to be interpreted in conformity with the original meanings intended by its authors. Accurate and complete clinical documentation, faithful to the patient’s situation, and interoperability between systems, require widespread and dependable access to published and maintained collections of coherent and quality-assured semantic resources, including models such as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
    The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  42. Notes on a semantic analysis of variable binding term operators.J. Corcoran & John Herring - 1971 - Logique Et Analyse 55:644-657.
    -/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Is Semantics Really Psychologically Real?Mihaela Popa-Wyatt - 2009 - In L. Larrazabal J. & Zubeldia (ed.), 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  
  44. Fine-grained semantics for attitude reports.Harvey Lederman - 2021 - Semantics and Pragmatics 14 (1).
    I observe that the “concept-generator” theory of Percus and Sauerland (2003), Anand (2006), and Charlow and Sharvit (2014) does not predict an intuitive true interpretation of the sentence “Plato did not believe that Hesperus was Phosphorus”. In response, I present a simple theory of attitude reports which employs a fine-grained semantics for names, according to which names which intuitively name the same thing may have distinct compositional semantic values. This simple theory solves the problem with the concept-generator theory, but, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. Semantic Criteria of Correct Formalization.Timm Lampert - 2010 - In Lampert Timm (ed.), Proceedings of Gap Conference.
    This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.
    Download  
     
    Export citation  
     
    Bookmark  
  46. Constructing formal semantics from an ontological perspective. The case of second-order logics.Thibaut Giraud - 2014 - Synthese 191 (10):2115-2145.
    In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. 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   12 citations  
  48. Static and dynamic vector semantics for lambda calculus models of natural language.Mehrnoosh Sadrzadeh & Reinhard Muskens - 2018 - Journal of Language Modelling 6 (2):319-351.
    Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Formalizing UMLS Relations Using Semantic Partitions in the Context of a Task-Based Clinical Guidelines Model.Anand Kumar, Matteo Piazza, Barry Smith, Silvana Quaglini & Mario Stefanelli - 2004 - In Anand Kumar, Matteo Piazza, Barry Smith, Silvana Quaglini & Mario Stefanelli (eds.), Formalizing UMLS Relations Using Semantic Partitions in the Context of a Task-Based Clinical Guidelines Model. Saarbrücken: IFOMIS.
    An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Picturing words: The semantics of speech balloons.Emar Maier - 2019 - In Julian J. Schlöder, Dean McHugh & Floris Roelofsen (eds.), Proceedings of the 22nd Amsterdam Colloquium. pp. 584-592.
    Semantics traditionally focuses on linguistic meaning. In recent years, the Super Linguistics movement has tried to broaden the scope of inquiry in various directions, including an extension of semantics to talk about the meaning of pictures. There are close similarities between the interpretation of language and of pictures. Most fundamentally, pictures, like utterances, can be either true or false of a given state of affairs, and hence both express propositions (Zimmermann, 2016; Greenberg, 2013; Abusch, 2015). Moreover, sequences of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 962