|
Dynamic Semantics
Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In static semantics, knowing the meaning of a sentence amounts to knowing when it is true; in dynamic semantics, knowing the meaning of a sentence means knowing "the change it brings about in the information state of anyone who accepts the news conveyed by it." In dynamic semantics, sentences are mapped to functions called ''context change potentials'', which take an input context and return an output context. Dynamic semantics was originally developed by Irene Heim and Hans Kamp in 1981 to model anaphora, but has since been applied widely to phenomena including presupposition, plurals, questions, discourse relations, and modality. Dynamics of anaphora The first systems of dynamic semantics were the closely related ''File Change Semantics'' and ''discourse representation theory'', developed simultaneously and independently by Iren ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Quantifier
In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable. It is usually denoted by the turned A (∀) logical operator symbol, which, when used together with a predicate variable, is called a universal quantifier ("", "", or sometimes by "" alone). Universal quantification is distinct from ''existential'' quantification ("there exists"), which only asserts that the property or relation holds for at least one member of the domain. Quantification in general is covered in the article on quantification (logic). The universal quantifier is encoded as in Unicode, and as \forall in LaTeX and relate ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Relational Semantics
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal. It was first conceived for modal logics, and later adapted to intuitionistic logic and other non-classical systems. The development of Kripke semantics was a breakthrough in the theory of non-classical logics, because the model theory of such logics was almost non-existent before Kripke (algebraic semantics existed, but were considered 'syntax in disguise'). Semantics of modal logic The language of propositional modal logic consists of a countably infinite set of propositional variables, a set of truth-functional connectives (in this article \to and \neg), and the modal operator \Box ("necessarily"). The modal operator \Diamond ("possibly") is (classically) the dual of \Box and may be defined in terms of necessity like so: \Diamo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pragmatics (linguistics)
In linguistics and related fields, pragmatics is the study of how context contributes to meaning. The field of study evaluates how human language is utilized in social interactions, as well as the relationship between the interpreter and the interpreted. Linguists who specialize in pragmatics are called pragmaticians. Pragmatics encompasses phenomena including implicature, speech acts, relevance and conversation,Mey, Jacob L. (1993) ''Pragmatics: An Introduction''. Oxford: Blackwell (2nd ed. 2001). as well as nonverbal communication. Theories of pragmatics go hand-in-hand with theories of semantics, which studies aspects of meaning, and syntax which examines sentence structures, principles, and relationships. The ability to understand another speaker's intended meaning is called ''pragmatic competence''. Pragmatics emerged as its own subfield in the 1950s after the pioneering work of J.L. Austin and Paul Grice. Origin of the field Pragmatics was a reaction to structuralist lin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moore's Paradox
Moore's paradox concerns the apparent absurdity involved in asserting a first-person present-tense sentence such as "It is raining, but I do not believe that it is raining" or "It is raining, but I believe that it is not raining." The first author to note this apparent absurdity was G. E. Moore. These 'Moorean' sentences, as they have become known, are paradoxical in that while they appear absurd, they nevertheless # Can be true; # Are (logically) consistent; and # Are not (obviously) contradictions. The term 'Moore's paradox' is attributed to Ludwig Wittgenstein, who considered the paradox Moore's most important contribution to philosophy. Wittgenstein wrote about the paradox extensively in his later writings, which brought Moore's paradox the attention it would not have otherwise received. Moore's paradox has been connected to many other well-known logical paradoxes, including, though not limited to, the liar paradox, the knower paradox, the unexpected hanging paradox, and the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Felicity (linguistics)
In linguistics and philosophy of language, an utterance is ''felicitous'' if it is pragmatically well-formed. An utterance can be infelicitous because it is self-contradictory, trivial, irrelevant, or because it is somehow inappropriate for the context of utterance. Researchers in semantics and pragmatics use felicity judgments much as syntacticians use grammaticality judgments. An infelicitous sentence is marked with the pound sign. The terms ''felicitous'' and ''infelicitous'' were first proposed by J. L. Austin as part of his theory of speech acts. In his thinking, a performative utterance is neither true nor false, but can instead be deemed felicitous or infelicitous according to a set of conditions whose interpretation differs depending on whether the utterance in question is a declaration ("I sentence you to death"), a request ("I ask that you stop doing that") or a warning ("I warn you not to jump off the roof"). Felicity conditions for declarations * ''Conventionality of p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Johan Van Benthem (logician)
Johannes Franciscus Abraham Karel (Johan) van Benthem (born 12 June 1949 in Rijswijk) is a University Professor (') of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University (at CSLI). He was awarded the Spinozapremie in 1996 and elected a Foreign Fellow of the American Academy of Arts & Sciences in 2015. Biography Van Benthem studied physics (B.Sc. 1969), philosophy (M.A. 1972) and mathematics ( M.Sc. 1973) at the University of Amsterdam and received a PhD from the same university under supervision of Martin Löb in 1977. Before becoming University Professor in 2003, he held appointments at the University of Amsterdam (1973–1977), at the University of Groningen (1977–1986), and as a professor at the University of Amsterdam (1986–2003). In 1992 he was elected member of the Royal Netherlands Academy of Arts and Sciences. Van Benthem is known for his research in the area of modal lo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Possible World
A possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional logic, intensional and modal logic. Their metaphysics, metaphysical status has been a subject of controversy in philosophy, with Modal realism, modal realists such as David Lewis (philosopher), David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not. Logic Possible worlds are one of the foundational concepts in modal logic, modal and intensional logics. Formulas in these logics are used to represent statements about what ''might'' be true, what ''should'' be true, what one ''believes'' to be true and so forth. To give these statements a formal interpretation, logicians use structures containing possible worlds. For instance, in the relational semantics for classical propositional mo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Speech Act
In the philosophy of language and linguistics, speech act is something expressed by an individual that not only presents information but performs an action as well. For example, the phrase "I would like the kimchi; could you please pass it to me?" is considered a speech act as it expresses the speaker's desire to acquire the kimchi, as well as presenting a request that someone pass the kimchi to them. According to Kent Bach, "almost any speech act is really the performance of several acts at once, distinguished by different aspects of the speaker's intention: there is the act of saying something, what one does in saying it, such as requesting or promising, and how one is trying to affect one's audience". The contemporary use of the term goes back to J. L. Austin's development of performative utterances and his theory of locutionary, illocutionary, and perlocutionary acts. Speech acts serve their function once they are said or communicated. These are commonly taken to include acts s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert Stalnaker
Robert Culp Stalnaker (born 1940) is an American philosopher who is Laurance S. Rockefeller Professor Emeritus of Philosophy at the Massachusetts Institute of Technology. He is a Fellow of the American Academy of Arts and Sciences and a Corresponding Fellow of the British Academy. Education and career Stalnaker was born on January 22, 1940. He earned his BA from Wesleyan University, and his PhD from Princeton University in 1965. His thesis advisor was Stuart Hampshire, though he was strongly influenced by another faculty member, Carl Hempel. Stalnaker taught briefly at Yale University and the University of Illinois, and then for many years at the Sage School of Philosophy at Cornell University before joining the MIT faculty in 1988. He retired from MIT in 2016. His many students include Jason Stanley, Zoltán Gendler Szábo, and Delia Graff Fara. In 2007, Stalnaker delivered the John Locke Lectures at Oxford University on the topic of "Our Knowledge of the Internal World". In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conditional Sentence
Conditional sentences are natural language sentences that express that one thing is contingent on something else, e.g. "If it rains, the picnic will be cancelled." They are so called because the impact of the main clause of the sentence is ''conditional'' on the dependent clause. A full conditional thus contains two clauses: a dependent clause called the ''antecedent'' (or ''protasis'' or ''if-clause''), which expresses the condition, and a main clause called the ''consequent'' (or ''apodosis'' or ''then-clause'') expressing the result. Languages use a variety of grammatical forms and constructions in conditional sentences. The forms of verbs used in the antecedent and consequent are often subject to particular rules as regards their tense, aspect, and mood. Many languages have a specialized type of verb form called the conditional mood – broadly equivalent in meaning to the English "would (do something)" – for use in some types of conditional sentences. Types of conditiona ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frank Veltman
Frank or Franks may refer to: People * Frank (given name) * Frank (surname) * Franks (surname) * Franks, a medieval Germanic people * Frank, a term in the Muslim world for all western Europeans, particularly during the Crusades - see Farang Currency * Liechtenstein franc or frank, the currency of Liechtenstein since 1920 * Swiss franc or frank, the currency of Switzerland since 1850 * Westphalian frank, currency of the Kingdom of Westphalia between 1808 and 1813 * The currencies of the German-speaking cantons of Switzerland (1803–1814): ** Appenzell frank ** Argovia frank ** Basel frank ** Berne frank ** Fribourg frank ** Glarus frank ** Graubünden frank ** Luzern frank ** Schaffhausen frank ** Schwyz frank ** Solothurn frank ** St. Gallen frank ** Thurgau frank ** Unterwalden frank ** Uri frank ** Zürich frank Places * Frank, Alberta, Canada, an urban community, formerly a village * Franks, Illinois, United States, an unincorporated community * Franks, Missouri, Un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
