In situation theory, situation semantics (pioneered by Jon Barwise and John Perry in the early 1980s) [1] attempts to provide a solid theoretical foundation for reasoning about common-sense and real world situations, typically in the context of theoretical linguistics, theoretical philosophy, or applied natural language processing,
Situations, unlike worlds, are not complete in the sense that every proposition or its negation holds in a world. According to Situations and Attitudes, meaning is a relation between a discourse situation, a connective situation and a described situation. The original theory of Situations and Attitudes soon ran into foundational difficulties. A reformulation based on Peter Aczel's non-well-founded set theory [2] was proposed by Barwise before this approach to the subject petered out in the early 1990s.
Situation semantics is the first semantic theory that was used in head-driven phrase structure grammar (HPSG). [3]
Barwise and Perry's system was a top-down approach which foundered on practical issues which were early identified by Angelika Kratzer and others. She subsequently developed a considerable body of theory bottom-up by addressing a variety of issues in the areas of context dependency in discourse and the syntax–semantics interface. [4] Because of its practical nature and ongoing development this body of work "with possible situations as parts of possible worlds, now has much more influence than Barwise and Perry’s ideas". [5]
 | This semantics article is a stub. You can help Wikipedia by expanding it. |
The following outline is provided as an overview and topical guide to linguistics:
Discourse is a generalization of the notion of a conversation to any form of communication. Discourse is a major topic in social theory, with work spanning fields such as sociology, anthropology, continental philosophy, and discourse analysis. Following pioneering work by Michel Foucault, these fields view discourse as a system of thought, knowledge, or communication that constructs our experience of the world. Since control of discourse amounts to control of how the world is perceived, social theory often studies discourse as a window into power. Within theoretical linguistics, discourse is understood more narrowly as linguistic information exchange and was one of the major motivations for the framework of dynamic semantics, in which expressions' denotations are equated with their ability to update a discourse context.
In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. It is closely related to, and often crosses over with, the semantics of mathematical proofs.
Game semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.
In set theory, a branch of mathematics, an urelement or ur-element is an object that is not a set, but that may be an element of a set. It is also referred to as an atom or individual. Ur-elements are also not identical with the empty set.
Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on mathematical logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and early 1970s.
Kenneth Jon Barwise was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.
The term phrase structure grammar was originally introduced by Noam Chomsky as the term for grammar studied previously by Emil Post and Axel Thue. Some authors, however, reserve the term for more restricted grammars in the Chomsky hierarchy: context-sensitive grammars or context-free grammars. In a broader sense, phrase structure grammars are also known as constituency grammars. The defining trait of phrase structure grammars is thus their adherence to the constituency relation, as opposed to the dependency relation of dependency grammars.
David Benjamin Kaplan is an American philosopher. He is the Hans Reichenbach Professor of Scientific Philosophy at the UCLA Department of Philosophy. His philosophical work focuses on the philosophy of language, logic, metaphysics, epistemology and the philosophy of Frege and Russell. He is best known for his work on demonstratives, propositions, and reference in intensional contexts. He was elected a Fellow of the American Academy of Arts & Sciences in 1983 and a Corresponding Fellow of the British Academy in 2007.
John Richard Perry is a professor at Stanford University and the University of California, Riverside. He has made significant contributions to philosophy in the fields of philosophy of language, metaphysics, and philosophy of mind. He is known primarily for his work on situation semantics, reflexivity, indexicality, personal identity, and self-knowledge.
Stephen Roy Albert Neale is a British philosopher and specialist in the philosophy of language who has written extensively about meaning, information, interpretation, and communication, and more generally about issues at the intersection of philosophy and linguistics. Neale is a Distinguished Professor of Philosophy and Linguistics and holder of the John H. Kornblith Family Chair in the Philosophy of Science and Values at the Graduate Center, City University of New York (CUNY).
In analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought.
Glue semantics, or simply Glue, is a linguistic theory of semantic composition and the syntax–semantics interface which assumes that meaning composition is constrained by a set of instructions stated within a formal logic. These instructions, called meaning constructors, state how the meanings of the parts of a sentence can be combined to provide the meaning of the sentence.
Situation theory provides the mathematical foundations to situation semantics, and was developed by writers such as Jon Barwise and Keith Devlin in the 1980s. Due to certain foundational problems, the mathematics was framed in a non-well-founded set theory. One could think of the relation of situation theory to situation semantics as like that of type theory to Montague semantics.
Donkey sentences are sentences that contain a pronoun with clear meaning but whose syntactical role in the sentence poses challenges to grammarians. Such sentences defy straightforward attempts to generate their formal language equivalents. The difficulty is with understanding how English speakers parse such sentences.
This is an index of Wikipedia articles in philosophy of language
Formal semantics is the study of grammatical meaning in natural languages using formal tools from logic, mathematics and theoretical computer science. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. It provides accounts of what linguistic expressions mean and how their meanings are composed from the meanings of their parts. The enterprise of formal semantics can be thought of as that of reverse-engineering the semantic components of natural languages' grammars.
In linguistics, the term formalism is used in a variety of meanings which relate to formal linguistics in different ways. In common usage, it is merely synonymous with a grammatical model or a syntactic model: a method for analyzing sentence structures. Such formalisms include different methodologies of generative grammar which are especially designed to produce grammatically correct strings of words; or the likes of Functional Discourse Grammar which builds on predicate logic.
Mary Dalrymple is a British linguist who is professor of syntax at Oxford University. At Oxford, she is a fellow of Linacre College. Prior to that she was a lecturer in linguistics at King's College London, a senior member of the research staff at the Palo Alto Research Center in the Natural Language Theory and Technology group and a computer scientist at SRI International.
Georgia M. Green is an American linguist and academic. She is an emeritus professor at the University of Illinois at Urbana-Champaign. Her research has focused on pragmatics, speaker intention, word order and meaning. She has been an advisory editor for several linguistics journals or publishers and she serves on the usage committee for the American Heritage Dictionary.