Motivation
Perhaps we are trying to formalize some informal definitions of the English words "fact" and the English word "opinion".
Suppose that someone wanted to make some arguments related to the idea that there is no such thing as good or bad (ethical nihilism).
Specifically, the concepts of good and bad are a sort of linguistic error.
As an example, men, women, and children often say, "homosexuality is evil" instead of saying "I personally do not like homosexuality".
There are people on earth who have difficulty disambiguating between their own internal world and the external world around them.
Thus, an error is committed in which some people assume that everyone on earth enjoys or dislikes the same thing that the individual enjoys or dislikes.
For example "I personally prefer stainless steel chrome alloy forks over sterling silver forks" becomes "stainless steel forks are good and "silver forks are bad".
To digress, one justification might be that silver forks tarnish more easily than chrome alloy.
Some people suppose that their personal opinions are actually facts of nature.
What are some necessary and sufficient conditions for somthing to be a fact and not an opinion?
Consider the following sufficiency criterion....
| A Sufficiency Property for FACTS |
|---|
| For any true statement x, we have that if x describes things external to the thoughts that are internal to the human mind, and x describes visible things, audible things, or tangible things, then it is sufficient for x to be a "fact". |
In short, after all men, women, and children are dead, the stones will remain.
A fact is somthing external to the minds of men.
Begin Examples
| Content of Example | Baseless Claims and Notes for the Margins |
Name(s) of the Example |
|---|---|---|
| σ₁ = "For any sufficiently large rock R, if R is sufficiently small, and if R is sufficiently cold, and R is sufficiently motionless, then rock R does not make much noise" | The string of text σ₁ is either a true statement or string of text σ₁ is a false statement Medium-sized rocks have an existence external to thoughts inside of the human mind sufficiently small and sufficiently large might mean bigger than a baseball and smaller than the moon orbiting planet earth It is true that sufficiently medium size, motionless, very cold rocks do not make much noise |
Example One The Rock Example |
| σ₂ = "At least one cloud of mostly water (with some small impurities) is in the sky" | The string of text σ₂ is a true or false statement statement σ₂ is true or false Note that the imperative command "get me an empty archival folder" is not a true or false statement ( mkdir in BASH script)Clouds of slightly impure water do not pertain to the innermost thoughts inside of the human mind (contemplate the difference between an inner world of thought versus external world of things) It is true that at least one cloud of mostly water (with some small impurities) is in the sky" |
Example Two The Cloud Example |
However, it is not necessarily (¬ □) the case that things internal to the human mind are not facts.
For example, it might be a fact that a very specific child almost always enjoys eating pan dulce (dessert bread or bread with added sugars).
The statement that "my son enjoyed the taste of pan dulce over the last five years" might be classified as a fact just as the statement "It snowed at the Southernmost tip of South America, on at least one day, in the year 2025." A statement about one single man, or one single woman, or one single child is almost a statement about localized geography, instead of geography as a whole. We make a statement about one person, and not a statement about all people on earth.