Concept
Counterfactual conditional
Related concepts (16)
Formal semantics (natural 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.
Tense–aspect–mood
Tense–aspect–mood (commonly abbreviated ) or tense–modality–aspect (abbreviated as ) is a group of that are important to understanding spoken or written content, and which are marked in different ways by different languages. TAM covers the expression of three major components of words which lead to or assist in the correct understanding of the speaker's meaning: Tense—the position of the state or action in time, that is, whether it is in the past, present or future.
Import–export (logic)
In logic, import-export is a deductive argument form which states that . In natural language terms, the principle means that the following English sentences are logically equivalent. If Mary isn't at home, then if Sally isn't at home, then the house is empty. If Mary isn't home and Sally isn't home, then the house is empty. Import-export holds in classical logic, where the conditional operator is taken as material implication. However, there are other logics where it does not hold and its status as a true principle of logic is a matter of debate.
Modal verb
A modal verb is a type of verb that contextually indicates a modality such as a likelihood, ability, permission, request, capacity, suggestion, order, obligation, necessity, possibility or advice. Modal verbs generally accompany the base (infinitive) form of another verb having semantic content. In English, the modal verbs commonly used are can, could, may, might, shall, should, will, would, ought to, used to and dare A modal auxiliary verb gives information about the function of the main verb that it governs.
Epistemic modality
Epistemic modality is a sub-type of linguistic modality that encompasses knowledge, belief, or credence in a proposition. Epistemic modality is exemplified by the English modals may, might, must. However, it occurs cross-linguistically, encoded in a wide variety of lexical items and grammatical structures. Epistemic modality has been studied from many perspectives within linguistics and philosophy. It is one of the most studied phenomena in formal semantics. (a) grammatically: through modal verbs (e.g.
Kripke 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').