User:RD/9k/truth values & necessity (Q618)

Main entry

truth values and necessity
/ relationship between truth values within logic and what is real, accurate, material, empirically attested, undeniable, or obvious / reality and "True" values (sense) / reality and "False" values (sense) -> a topic that spun way out of control between the pages for truth values, court cases, and now "god-given rights", and now has its own page.

There is a difference between unicorns being real and unicorns not being real; a material world containing unicorns would be different from a material world not containing unicorns -> relatively uncontroversial. you can pile up any number of fantasy books next to a pile of non-fiction books to logically prove this.
How can you prove you will never collect evidence of a unicorn? / If unicorns are not real and you will never collect evidence related to unicorns, how can you prove you will never collect evidence of a unicorn?

ahistorical fact
/ eternal truth (literal) -> this sense of the concept takes the notion of "eternal" very literally as simply a fact that is stated to be true for an indefinite period of time instead of for a finite period of time. there is no need for one of these eternal truths to be stated to be true for an infinite time. it only has to be, for instance, stated to be true for the past 5,000 years when that is not actually the case.

eternal truth + historical period = temporal truth.
historical fact
/ temporal truth -> a temporal truth is a fact or claim that is stated to be true within a particular place and a particular span of time.