Concept
Presupposition
Related concepts (8)
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.
Entailment (linguistics)
Linguistic entailments are entailments which arise in natural language. If a sentence A entails a sentence B, sentence A cannot be true without B being true as well. For instance, the English sentence "Pat is a fluffy cat" entails the sentence "Pat is a cat" since one cannot be a fluffy cat without being a cat. On the other hand, this sentence does not entail "Pat chases mice" since it is possible (if unlikely) for a cat to not chase mice. Entailments arise from the semantics of linguistic expressions.
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 logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.
Implicature
In pragmatics, a subdiscipline of linguistics, an implicature is something the speaker suggests or implies with an utterance, even though it is not literally expressed. Implicatures can aid in communicating more efficiently than by explicitly saying everything we want to communicate. The philosopher H. P. Grice coined the term in 1975. Grice distinguished conversational implicatures, which arise because speakers are expected to respect general rules of conversation, and conventional ones, which are tied to certain words such as "but" or "therefore".
Common ground (linguistics)
In semantics, pragmatics, and philosophy of language, the common ground of a conversation is the set of propositions that the interlocutors have agreed to treat as true. For a proposition to be in the common ground, it must be common knowledge in the conversational context. The set of possible worlds compatible with the common ground is often called the context set. The concept is fundamental to many theories of discourse. In such theories, the speech act of assertion is often analyzed as a proposal to add an additional proposition to the common ground.
Conversational scoreboard
In linguistics and philosophy of language, the conversational scoreboard is a tuple which represents the discourse context at a given point in a conversation. The scoreboard is updated by each speech act performed by one of the interlocutors. Most theories of conversational scorekeeping take one of the scoreboard's elements to be a common ground, which represents the propositional information mutually agreed upon by the interlocutors. When an interlocutor makes a successful assertion, its content is added to the common ground.
Linguistics
Linguistics is the scientific study of language. The modern-day scientific study of linguistics takes all aspects of language into account — i.e., the cognitive, the social, the cultural, the psychological, the environmental, the biological, the literary, the grammatical, the paleographical, and the structural. Linguistics is based on a theoretical as well as descriptive study of language, and is also interlinked with the applied fields of language studies and language learning, which entails the study of specific languages.
Interpretation (logic)
An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until they are given some interpretation. The general study of interpretations of formal languages is called formal semantics. The most commonly studied formal logics are propositional logic, predicate logic and their modal analogs, and for these there are standard ways of presenting an interpretation.