The alethic thesis: Some moral propositions are in fact true.

Alethic modality might then concern what are considered to be apodictic statements.

Such a figure with four sides necessarily has four corners: that's an example of alethic necessity.

Lewis believes that the concept of alethic modality can be reduced to talk of real possible worlds.

Modalities of necessity and possibility are called alethic modalities.

Alethic past tense is indiacted with "idi", another variation of "imek".

Alethic modalities and epistemic modalities (see below) are often expressed in English using the same words.

Structural business rules (static constraints) are treated as alethic necessities by default, where each state of the fact model corresponds to a possible world.

This is misleading at best, however, since alethic modal logics generally do not contain anything like Anderson's special v constant.

An investigation has not found a single language in which alethic and epistemic modalities are formally distinguished, as by the means of a grammatical mood.

Such systems have sometimes been characterized as "reductions" of deontic logic to alethic modal logic.

For Margolis, "true" means true; that is, the alethic use of "true" remains untouched.

The criticism states that there is no real difference between "the truth in the world" (alethic) and "the truth in an individual's mind" (epistemic).

Quine called these functors "alethic."

Subjunctive possibility (also called alethic possibility) is the form of modality most frequently studied in modal logic.

The first results by adding an alethic modal operator in order to express the Kantian claim that "ought implies can":

And with that rejection in place, methodological virtues that are not, in realistically conceived theorising, straightforwardly alethic can now become so.

Rule statements are expressed using either alethic modality or deontic modality and require elements of modal logic as formalization.

Alethic modal operators (M-operators) determine the fundamental conditions of possible worlds, especially causality, time-space parameters, and the action capacity of persons.

SBVR Structural Business Rules use two alethic modal operators:

Term logic treated All, Some and No in the 4th century BC, in an account also touching on the alethic modalities.

Geo Siegwart, "Alethic Acts and Alethiological Reflection."

The alethic functors can be axiomatized by any set of axioms for sentential logic whose primitives are negation and one of or .

If you try to draw a planar convex closed figure with four sides and exactly three corners you will find that is impossible: an example of alethic impossibility.

So while there may not be a morphologically based alethic mood, this does not seem to preclude the usefulness of distinguishing between these two types of modes.