- alethic
-
Of or pertaining to the various modalities of truth, such as the possibility or impossibility of something being true.
The modal operators □ and ◊ stand for alethic necessity and possibility.
See Also: alethiology
Wikipedia foundation.
The modal operators □ and ◊ stand for alethic necessity and possibility.
Wikipedia foundation.
alethic — (Gk., aleētheia, truth) The alethic modes or modalities are the necessity, contingency, or impossibility of something being true … Philosophy dictionary
alethic — əˈlethik, ēth adjective Etymology: Greek alēthikos, from alētheia truth (from alēthēs true, from a a (II) + lēthēs, from lēthē forgetfulness) + ikos ic more at lethe : of or relating to truth alethic mode … Useful english dictionary
Alethic mood — Some languages distinguish between alethic moods and non alethic moods. Alethic moods indicate logical possibility, impossibility or necessity, whereas different moods are used to indicate other types of possibility/necessity. In such a language … Wikipedia
alethic — [ə li:θɪk] adjective Philosophy denoting modalities of truth, such as necessity, contingency, or impossibility. Origin 1950s: from Gk alētheia truth + ic … English new terms dictionary
alethic — aleth·ic … English syllables
alethic logic — noun the modal logic of necessity and possibility and contingency • Hypernyms: ↑modal logic … Useful english dictionary
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Modal operator — In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the formal property of being non truth functional, and is intuitively characterised by expressing a modal attitude (such… … Wikipedia
Deontic logic — is the field of logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. Typically, a deontic logic… … Wikipedia