Search results for 'Formal languages Semantics' (try it on Scholar)

999 found
Order:
  1. Psycholinguistics Semantics & Formal Properties Of Languages (1974). The Following Classification is Pragmatic and is Intended Merely to Facilitate Reference. No Claim to Exhaustive Categorization is Made by the Parenthetical Additions in Small Capitals. Foundations of Language: International Journal of Language and Philosophy 12:149.
     
    Export citation  
     
    My bibliography  
  2. Sten Carl Lindstrom (1981). Formal Languages and Intensional Semantics. Dissertation, Stanford University
    This is a thesis in formal semantics. It consists of two parts corresponding to the distinction, due to Richard Montague, between universal grammar and specific semantic theories. The first part concerns universal grammar and is intended to provide a precise and unified conceptual framework within which different theories of formal semantics can be represented and compared. ;The second part of the thesis is concerned with intensional logic, i.e., with the logical analysis of disclosure involving so called (...)
     
    Export citation  
     
    My bibliography  
  3.  32
    Martin Stokhof (2007). Hand or Hammer? On Formal and Natural Languages in Semantics. Journal of Indian Philosophy 35 (5-6):597-626.
    This paper does not deal with the topic of ‘the generosity of artificial languages from an Asian or a comparative perspective’. Rather, it is concerned with a particular case taken from a development in the Western tradition, when in the wake of the rise of formal logic at the end of the nineteenth and the beginning of the twentieth century people in philosophy and later in linguistics started to use formal languages in the study of the (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  16
    Stokhof Martin, Hand or Hammer? On Formal and Natural Languages in Semantics.
    This paper does not deal with the topic of ‘the generosity of artificial languages from an Asian or a comparative perspective’. Rather, it is concerned with a particular case taken from a development in the Western tradition, when in the wake of the rise of formal logic at the end of the nineteenth and the beginning of the twentieth century people in philosophy and later in linguistics started to use formal languages in the study of the (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  5. Franz Guenthner & S. J. Schmidt (1979). Formal Semantics and Pragmatics for Natural Languages. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  6.  6
    Asa Kasher (1976). On Degrees of Adequacy for Formal Semantics of Natural Languages. Philosophica 18 (2):139-157.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  6
    Truth Definitions (1998). Set Theory Influenced Logic, Both Through its Semantics, by Expanding the Possible Models of Various Theories and by the Formal Definition of a Model; and Through its Syntax, by Allowing for Logical Languages in Which Formulas Can Be Infinite in Length or in Which the Number of Symbols is Uncountable. Bulletin of Symbolic Logic 4 (3).
  8.  3
    Dennis A. Rohatyn (1981). Formal Semantics and Pragmatics for Natural Languages. Edited by F. Guenthner and S. J. Schmidt. Modern Schoolman 58 (4):281-282.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9. A. Kasher (1976). Formal Semantics of Natural Languages'. Philosophica 18:149.
     
    Export citation  
     
    My bibliography   1 citation  
  10.  0
    C. Hill, R. Poli & jan Dejnozka (1998). Reviews of E. Husserl, Logik Und Allgemeine Wissenschaftstheorie. Vorlesungen 1917/18, MIT Ergaumlnzenden Texten Aus der Ersten Fassung 1910/11. Introduction by U. Panzer , ISBN 0 792 33731 X; D. Jacquette, Meinongian Logic. The Semantics of Existence and Nonexistence , ISBN 3 11 014865 X; M. Beaney , The Frege Reader , ISBN 0 631 194 452; Elliott Mendelson, Introduction to Formal Logic, Fourth Edition , ISBN 1 412 808307; Samuel Guttenplan, The Languages of Logic. An Introduction to Formal Logic, Second Edition , ISBN 1 55786 988 X; A. C. Grayling, An Introduction to Philosophical Logic, Third Edition , ISBN 0 631 19982 9; Lewis Carroll, Das Spiel der Logik, Edited with an Afterword by P. Good, Translated by M. Zoumlllner , ISBN 3 7728 1998 2. [REVIEW] History and Philosophy of Logic 19 (2):115-123.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11. Franz Guenthner & Christian Rohrer (eds.) (1978). Studies in Formal Semantics: Intensionality, Temporality, Negation. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
     
    Export citation  
     
    My bibliography  
  12. Edward L. Keenan (ed.) (1975). Formal Semantics of Natural Language: Papers From a Colloquium Sponsored by the King's College Research Centre, Cambridge. Cambridge University Press.
  13.  15
    Thibaut Giraud (2014). Constructing Formal Semantics From an Ontological Perspective. The Case of Second-Order Logics. 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Stephen Schiffer (2015). Meaning and Formal Semantics in Generative Grammar. Erkenntnis 80 (1):61-87.
    A generative grammar for a language L generates one or more syntactic structures for each sentence of L and interprets those structures both phonologically and semantically. A widely accepted assumption in generative linguistics dating from the mid-60s, the Generative Grammar Hypothesis , is that the ability of a speaker to understand sentences of her language requires her to have tacit knowledge of a generative grammar of it, and the task of linguistic semantics in those early days was taken to (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  15
    Jan Woleński (2004). What is Formal in Formal Semantics? Dialectica 58 (3):427–436.
    Formal semantics is understood either as a formal analysis of semantical features of natural language or as model-theoretic semantics of formal(ized) languages. This paper focuses on the second understanding. The problem is how to identify the formal aspects of formal semantics, if we understand ‘formal’ as ‘independent of content’. This is done by showing that the form of semantical interpretation of a language L is given by its syntax and the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  16. Eli Dresner (1998). Formal Semantics and the Algebraic View of Meaning. Dissertation, University of California, Berkeley
    What makes our utterances mean what they do? In this work I formulate and justify a structural constraint on possible answers to this key question in the philosophy of language, and I show that accepting this constraint leads naturally to the adoption of an algebraic formalization of truth-theoretic semantics. I develop such a formalization, and show that applying algebraic methodology to the theory of meaning yields important insights into the nature of language. ;The constraint I propose is, roughly, this: (...)
     
    Export citation  
     
    My bibliography  
  17. Werner Saurer (1981). A Formal Semantics of Tense, Aspect and Aktionsarten. Dissertation, University of Pittsburgh
    The thesis is an attempt to give a precise formal semantics for various time-referential linguistic categories of English such as tense, perfect, progressive and Aktionsart or "action type", with the ultimate goal of explaining why with a verb phrase such as walk the inference from, for instance, John is walking to John has walked is intuitively valid, while with a verb phrase such as build a house the even weaker inference from John is building a house to John (...)
     
    Export citation  
     
    My bibliography  
  18. Daniel Vanderveken (2009). Meaning and Speech Acts: Volume 2, Formal Semantics of Success and Satisfaction. Cambridge University Press.
    The primary units of meaning in the use and comprehension of language are speech acts of the type called illocutionary acts. In Foundations of Illocutionary Logic John Searle and Daniel Vanderveken presented the first formalized logic of a general theory of speech acts. In Meaning and Speech Acts Daniel Vanderveken further develops the logic of speech acts and the logic of propositions to construct a general semantic theory of natural languages. Volume I, Principles of Language Use, explains the general (...)
    No categories
     
    Export citation  
     
    My bibliography  
  19.  23
    Varol Akman (1995). Book Review -- Hans Kamp and Uwe Reyle, From Discourse to Logic: Introduction to Model-Theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. [REVIEW] Philosophical Explorations.
    This is a review of From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, by Hans Kamp and Uwe Reyle, published by Kluwer Academic Publishers in 1993.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20. Hans Kamp & U. Reyle (1993). From Discourse to Logic Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.
     
    Export citation  
     
    My bibliography   1 citation  
  21.  32
    David R. Dowty, Robert Eugene Wall & Stanley Peters (1981). Introduction to Montague Semantics. Springer.
    INTRODUCTION Linguists who work within the tradition of transformational generative grammar tend to regard semantics as an intractable, perhaps ultimately ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   35 citations  
  22.  87
    Juan Barba (2007). Formal Semantics in the Age of Pragmatics. Linguistics and Philosophy 30 (6):637-668.
    This paper aims to argue for two related statements: first, that formal semantics should not be conceived of as interpreting natural language expressions in a single model (a very large one representing the world as a whole, or something like that) but as interpreting them in many different models (formal counterparts, say, of little fragments of reality); second, that accepting such a conception of formal semantics yields a better comprehension of the relation between semantics (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  23.  54
    Stephen C. Levinson (2000). Presumptive Meanings: The Theory of Generalized Conversational Implicature. MIT Press.
    When we speak, we mean more than we say. In this book Stephen C. Levinson explains some general processes that underlie presumptions in communication.
    Direct download  
     
    Export citation  
     
    My bibliography   67 citations  
  24.  9
    Piek Vossen (2005). Handbook of Formal Languages. Journal of Logic, Language and Information 14 (4):457-487.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  25. John N. Martin (1987). Elements of Formal Semantics: An Introduction to Logic for Students of Language. Academic Press.
     
    Export citation  
     
    My bibliography   2 citations  
  26.  2
    J. Gutierrez-Rexach (1999). The Formal Semantics of Clitic Doubling. Journal of Semantics 16 (4):315-380.
    This article presents a study of the semantics of clitic pronouns and clitic doubling in Spanish and related languages. Its main hypothesis is that the co-occurrence restrictions that are observed between the clitic element and its quantifier associate can be properly characterized within Generalized Quantifiers Theory. Clitics are treated as generalized quantifier functions which are restricted to a context set In clitic doubling constructions, the context set is retrieved from the doubled NP-quantifier. Three main constraints are formulated that (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  27.  4
    B. O. G. (1976). Formal Semantics of Natural Language. Review of Metaphysics 30 (1):131-132.
  28.  1
    Benito Müller (1995). Toward a Transcendental Model‐Theoretic Semantics for Scientific Languages. Dialectica 49 (2‐4):203-228.
    Based on an idea of Ajdukiewiu, a method of equifunctionality is developed to provide a formal explication of the notion of sameness of use relative to some system of rules. Given this, a set‐theoretic explication of Lauener's context dependent conception of synonymy is introduced by looking at languages of ropositional logic, and compared both with Ajdukiewicz's original conception and with Carnap's explication of synonymy based on his method of extension and intention.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  2
    Thomas Baldwin & E. L. Keenan (1976). Formal Semantics of Natural Language. Philosophical Quarterly 26 (105):382.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  3
    Adam Morton (1982). Formal Semantics of Natural Language. Canadian Journal of Philosophy 12 (4):805-808.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31. David Holdcroft (1979). KEENAN, L. K. : "Formal Semantics of Natural Language". [REVIEW] British Journal for the Philosophy of Science 30:411.
     
    Export citation  
     
    My bibliography  
  32.  0
    L. Humberstone (1979). KEENAN, E. "Formal Semantics of Natural Language". Australasian Journal of Philosophy 57:171.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33. Daniel Vanderveken (1992). Meaning and Speech Acts. Volume I: Principles of Language Use. Volume II: Formal Semantics of Success and Satisfaction. Tijdschrift Voor Filosofie 54 (2):340-340.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  34.  17
    Matthias Unterhuber (2013). Possible Worlds Semantics for Indicative and Counterfactual Conditionals? A Formal Philosophical Inquiry Into Chellas-Segerberg Semantics. Ontos (Now De Gruyter).
    Conditional structures lie at the heart of the sciences, humanities, and everyday reasoning. It is hence not surprising that conditional logics – logics specifically designed to account for natural language conditionals – are an active and interdisciplinary area. The present book gives a formal and a philosophical account of indicative and counterfactual conditionals in terms of Chellas-Segerberg semantics. For that purpose a range of topics are discussed such as Bennett’s arguments against truth value based semantics for indicative (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  35. Ralph Gregory Taylor (1998). Models of Computation and Formal Languages. Oxford University Press.
    This unique book presents a comprehensive and rigorous treatment of the theory of computability which is introductory yet self-contained. It takes a novel approach by looking at the subject using computation models rather than a limitation orientation, and is the first book of its kind to include software. Accompanying software simulations of almost all computational models are available for use in conjunction with the text, and numerous examples are provided on disk in a user-friendly format. Its applications to computer science (...)
     
    Export citation  
     
    My bibliography   2 citations  
  36.  90
    Christopher Gauker (2010). Contexts in Formal Semantics. Philosophy Compass 5 (7):568-578.
    Recent philosophical literature has debated the question of how much context-relativity needs to be countenanced in precise semantic theories for natural languages and has displayed different conceptions of the way in which it might be accommodated. This article presents reasons to think that context-relativity is a phenomenon that semantic theory must accommodate and identifies some of the issues concerning how it ought to be accommodated.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  37.  29
    Gilbert T. Null (2007). The Ontology of Intentionality II: Dependence Ontology as Prolegomenon to Noetic Modal Semantics. [REVIEW] Husserl Studies 23 (2):119-159.
    This is the second in a sequence of three essays which axiomatize and apply Edmund Husserl's dependence ontology of parts and wholes as a non-Diodorean, non-Kantian temporal semantics for first-order predicate modal languages. The Ontology of Intentionality I introduced enough of Husserl's dependence-ontology of parts and wholes to formulate his account of order as effected by relating moments of unity, and The Ontology of Intentionality II extends that axiomatic dependence-ontology far enough to enable its semantic application. Formalizing the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  38.  14
    Zhaohui Luo (2012). Formal Semantics in Modern Type Theories with Coercive Subtyping. Linguistics and Philosophy 35 (6):491-513.
    In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  39.  6
    Judith Tonhauser (2011). The Paraguayan Guaraní Future Marker-Ta: Formal Semantics and Crosslinguistic Comparison. In Renate Musan & Monika Rathert (eds.), Tense Across Languages. Niemeyer 207--231.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Barbara H. Partee, Formal Semantics.
    Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  41.  4
    Barbara H. Partee (2011). Formal Semantics: Origins, Issues, Early Impact. The Baltic International Yearbook of Cognition, Logic and Communication 6 (1):13.
    Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  42. Barbara Abbott, The Formal Approach to Meaning: Formal Semantics and its Recent Developments.
    Like Spanish moss on a live oak tree, the scientific study of meaning in language has expanded in the last 100 years, and continues to expand steadily. In this essay I want to chart some central themes in that expansion, including their histories and their important figures. Our attention will be directed toward what is called 'formal semantics', which is the adaptation to natural language of analytical techniques from logic.[1] The first, background, section of the paper will survey (...)
    Translate
     
     
    Export citation  
     
    My bibliography  
  43.  31
    Martin Stokhof, The Architecture of Meaning: Wittgenstein's Tractatus and Formal Semantics.
    With a few notable exceptions formal semantics, as it originated from the seminal work of Richard Montague, Donald Davidson, Max Cresswell, David Lewis and others, in the late sixties and early seventies of the previous century, does not consider Wittgenstein as one of its ancestors. That honour is bestowed on Frege, Tarski, Carnap. And so it has been in later developments. Most introductions to the subject will refer to Frege and Tarski (Carnap less frequently) —in addition to the (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  44.  36
    Gert Jan Lokhorst (1988). Ontology, Semantics and Philosophy of Mind in Wittgenstein's Tractatus: A Formal Reconstruction. [REVIEW] Erkenntnis 29 (1):35 - 75.
    The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a language of thought analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  45.  21
    Martin Stokhof, Could Semantics Be Something Else? Philosophical Challenges for Formal Semantics.
    When in 1980, on the Third Amsterdam Colloquium, Johan van Benthem read a paper with the title ‘Why is Semantics What?’ (cf. [1]), I was puzzled: Wasn’t it obvious what semantics is? Why did our concept of it stand in need of justification? Later, much later, I came to appreciate what Van Benthem was doing in this paper (and in some others). Questioning the ‘standard model’, the assumptions on which the working semanticists silently agree, Van Benthem opened up (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  46.  2
    Gert-Jan Lokhorst (1988). Ontology, Semantics and Philosophy of Mind in Wittgenstein's "Tractatus": A Formal Reconstruction. Erkenntnis 29 (1):35 - 75.
    The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a "language of thought" analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. Robert Mattison (1968). An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic. Santa Monica, Calif.,Rand Corp..
  48.  64
    Godehard Link (1983). Logical Semantics for Natural Language. Erkenntnis 19 (1-3):261 - 283.
    It is now a quarter of a century ago that Wolfgang Stegmfiller wrote his monograph 'Das Wahrheitsproblem und die Idee der Semantik' (1957) which dealt with Tarski's and Carnap's foundational work in the field of semantics. While this book is about the definition of the basic semantical concepts in artificial formal languages there is an article written a year earlier (1956) in which Stegmfiller addresses himself specifically to the relation between logic and natural language. Here he gives (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  49. Frâedâeric Nef & Denis Vernant (1998). Le Formalisme En Question le Tournant des Ann'ees Trente. Monograph Collection (Matt - Pseudo).
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  50. Jaroslav Peregrin (1995). Doing Worlds with Words Formal Semantics Without Formal Metaphysics.
     
    Export citation  
     
    My bibliography  
1 — 50 / 999