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

1000+ 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.
  2.  9
    Adonai Sant'Anna, Otavio Bueno & Newton da Costa, A Set-Theoretic Predicate for Semantics in Natural and Formal Languages.
    We present an axiomatic framework for semantics that can be applied to natural and formal languages. Our main goal is to suggest a very simple mathematical model that describes fundamental cognitive aspects of the human brain and that can still be applied to artificial intelligence. One of our main results is a theorem that allows us to infer syntactical properties of a language out of its corresponding semantics. The role of pragmatics in semantics in our (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. 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  
  4.  46
    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 (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5. 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
     
     
    Export citation  
     
    My bibliography  
  6. Franz Guenthner & S. J. Schmidt (1979). Formal Semantics and Pragmatics for Natural Languages. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  7.  19
    Asa Kasher (1976). On Degrees of Adequacy for Formal Semantics of Natural Languages. Philosophica 18 (2):139-157.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  16
    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).
  9. A. Kasher (1976). Formal Semantics of Natural Languages'. Philosophica 18:149.
     
    Export citation  
     
    My bibliography   1 citation  
  10.  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  
  11. 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  12. 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   1 citation  
  13.  22
    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 (3 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. 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   2 citations  
  16. 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   1 citation  
  17.  18
    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  
  18. Anna Kollenberg & Alex Burri (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 be (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  19. 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  
  20. 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.
  21.  37
    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   50 citations  
  22.  82
    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   122 citations  
  23.  11
    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  
  24.  10
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  25.  16
    M. J. Cresswell (1973). Logics and Languages. London,Methuen [Distributed in the U.S.A. By Harper & Row.
    Originally published in 1973, this book shows that methods developed for the semantics of systems of formal logic can be successfully applied to problems about the semantics of natural languages; and, moreover, that such methods can take account of features of natural language which have often been thought incapable of formal treatment, such as vagueness, context dependence and metaphorical meaning. Parts 1 and 2 set out a class of formal languages and their (...). Parts 3 and 4 show that these formal languages are rich enought to be used in the precise description of natural languages. Appendices describe some of the concepts discussed in the text. (shrink)
    Direct download  
     
    Export citation  
     
    My bibliography   82 citations  
  26.  2
    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  
  27.  24
    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   2 citations  
  28.  40
    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  
  29. 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  
  30.  96
    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   1 citation  
  31.  13
    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   1 citation  
  32. 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  
  33. Robert Mattison (1968). An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic. Santa Monica, Calif.,Rand Corp..
  34. 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  
  35.  9
    J. P. Ressayre (1988). Formal Languages Defined by the Underlying Structure of Their Words. Journal of Symbolic Logic 53 (4):1009-1026.
    i) We show for each context-free language L that by considering each word of L as a structure in a natural way, one turns L into a finite union of classes which satisfy a finitary analog of the characteristic properties of complete universal first order classes of structures equipped with elementary embeddings. We show this to hold for a much larger class of languages which we call free local languages. ii) We define local languages, a class of (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  36.  7
    Catarina Dutilh Novaes (2012). Towards a Practice-Based Philosophy of Logic: Formal Languages as a Case Study. Philosophia Scientiae 16 (1):71-102.
    Au cours des dernières décennies, les travaux portant sur les pratiques humaines réelles ont pris de l'importance dans différents domaines de la philosophie, sans pour autant atteindre une position dominante. À ce jour, ce type de tournant pratique n'a cependant pas encore pénétré la philosophie de la logique. En première partie, j'esquisse ce que serait une philosophie de la logique centrée sur l'étude des pratiques, en insistant en particulier sur sa pertinence et sur la manière de la conduire. En deuxième (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Catarina Dutilh Novaes (2012). Formal Languages in Logic: A Philosophical and Cognitive Analysis. Cambridge University Press.
    Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going (...)
    No categories
     
    Export citation  
     
    My bibliography  
  38. Catarina Dutilh Novaes (2014). Formal Languages in Logic: A Philosophical and Cognitive Analysis. Cambridge University Press.
    Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going (...)
    No categories
     
    Export citation  
     
    My bibliography  
  39.  22
    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   3 citations  
  40. Mark Schroeder, Is Semantics Formal?
    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 (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  41.  45
    Ronnie Cann (1993). Formal Semantics: An Introduction. Cambridge University Press.
    This accessible introduction to formal, and especially Montague, semantics within a linguistic framework, presupposes no previous background in logic, but takes students step-by-step from simple predicate/argument structures and their interpretation to Montague's intentional logic.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  42.  55
    Adam Morton (1982). Formal Semantics of Natural Language. Canadian Journal of Philosophy 12 (4):805-808.
    a review of Keenan, ed. *Formal Semantics of Natural Language*.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  43. Nirit Kadmon (2001). Formal Pragmatics Semantics, Pragmatics, Presupposition, and Focus.
  44.  13
    Kathryn Davidson (2015). Quotation, Demonstration, and Iconicity. Linguistics and Philosophy 38 (6):477-520.
    Sometimes form-meaning mappings in language are not arbitrary, but iconic: they depict what they represent. Incorporating iconic elements of language into a compositional semantics faces a number of challenges in formal frameworks as evidenced by the lengthy literature in linguistics and philosophy on quotation/direct speech, which iconically portrays the words of another in the form that they were used. This paper compares the well-studied type of iconicity found with verbs of quotation with another form of iconicity common in (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  15
    Roberto M. Amadio (1998). Domains and Lambda-Calculi. Cambridge University Press.
    This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  46. Regine Eckardt (1998). Formale Diachrone Semantik = Formal Diachronic Semantics. Fachgruppe Sprachwissenschaft der Universitèat Konstanz.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  47. 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   2 citations  
  48.  28
    Josep Macià (2000). On the Interpretation of Formal Languages and the Analysis of Logical Properties. Theoria 15 (2):235-258.
    We can distinguish different senses in which a formal language can be said to have been provided with an interpretation. We focus on two: (i) We provide a model (or structure) and a definition of satisfaction and truth in the standard way (ii) We provide a translation into a natural language. We argue that the sentences of a formal language interpreted as in (i) do not have meaning. A formal language interpreted as in (i) models the way (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  49.  21
    Marcus Kracht (2011). Interpreted Languages and Compositionality. Springer.
    This book argues that languages are composed of sets of ‘signs’, rather than ‘strings’. This notion, first posited by de Saussure in the early 20th century, has for decades been neglected by linguists, particularly following Chomsky’s heavy critiques of the 1950s. Yet since the emergence of formal semantics in the 1970s, the issue of compositionality has gained traction in the theoretical debate, becoming a selling point for linguistic theories. Yet the concept of ‘compositionality’ itself remains ill-defined, an (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  50.  4
    Peter Swiggart (1974). Self Reference in Formal Languages. Notre Dame Journal of Formal Logic 15 (4):608-612.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000