Modal

Possible world

Argument (complex analysis)

Philosophy

Polymer chemistry

Statistics

Odds

Contingency

Modality (human–computer interaction)

Biochemistry

Computer science

Proposition

Business

Mathematics

Epistemology

Artificial intelligence

Chemistry

Logistic regression

Noûs

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time.

Diamonds are Forever