Most people construe the term "absolute truth" as necessarily coming
from the mind of God, thus atheists reject absolute truth. Philosophy
leaves religion out of it and says that analytical truth can be
verified on the basis of its meaning.
Because Quine had such a hard time understanding that bachelors are
unmarried in his "Two Dogmas of Empiricism" I have adapted the
definition of analytical truth so that it can be more directly divided
from other forms of truth:
(1) Expressions of language that are defined to be true and
(2) Expressions of language that have been derived on the basis of
applying truth preserving operations.
On 3/18/2024 5:30 AM, Mikko wrote:
On 2021-03-27 14:54:31 +0000, olcott said:
Most people construe the term "absolute truth" as necessarily coming
from the mind of God, thus atheists reject absolute truth. Philosophy
leaves religion out of it and says that analytical truth can be
verified on the basis of its meaning.
Because Quine had such a hard time understanding that bachelors are
unmarried in his "Two Dogmas of Empiricism" I have adapted the
definition of analytical truth so that it can be more directly divided
from other forms of truth:
It is a sin to say anything untrue about other people.
(1) Expressions of language that are defined to be true and
Truth is not a matter of definition.
AH then the integer 2 might actually be a big pizza pie?
(2) Expressions of language that have been derived on the basis of
applying truth preserving operations.
Only affirmative sentences and only if derived from true sentences.
How would you apply a truth preserving operation to a sentence
that is neither true nor false?
Note that the word "sentence" has different meanings in comp.thery
and sci.lang. In the former (and in sci.logic) it usually excludes
all but affirmative sentences.
On 03/18/2024 07:15 PM, olcott wrote:
On 3/18/2024 7:30 PM, Ross Finlayson wrote:
On 2021-03-27 14:54:31 +0000, olcott said:
Most people construe the term "absolute truth" as necessarily coming
from the mind of God, thus atheists reject absolute truth. Philosophy
leaves religion out of it and says that analytical truth can be
verified on the basis of its meaning.
Because Quine had such a hard time understanding that bachelors are
unmarried in his "Two Dogmas of Empiricism" I have adapted the
definition of analytical truth so that it can be more directly divided
from other forms of truth:
It is a sin to say anything untrue about other people.
(1) Expressions of language that are defined to be true and
Truth is not a matter of definition.
(2) Expressions of language that have been derived on the basis of
applying truth preserving operations.
Only affirmative sentences and only if derived from true sentences.
Note that the word "sentence" has different meanings in comp.thery
and sci.lang. In the former (and in sci.logic) it usually excludes
all but affirmative sentences.
On 2024-03-19 21:11:59 +0000, olcott said:
On 3/18/2024 5:30 AM, Mikko wrote:
On 2021-03-27 14:54:31 +0000, olcott said:
Most people construe the term "absolute truth" as necessarily coming
from the mind of God, thus atheists reject absolute truth.
Philosophy leaves religion out of it and says that analytical truth
can be verified on the basis of its meaning.
Because Quine had such a hard time understanding that bachelors are
unmarried in his "Two Dogmas of Empiricism" I have adapted the
definition of analytical truth so that it can be more directly
divided from other forms of truth:
It is a sin to say anything untrue about other people.
(1) Expressions of language that are defined to be true and
Truth is not a matter of definition.
(2) Expressions of language that have been derived on the basis of
applying truth preserving operations.
Only affirmative sentences and only if derived from true sentences.
Note that the word "sentence" has different meanings in comp.thery
and sci.lang. In the former (and in sci.logic) it usually excludes
all but affirmative sentences.
I am redefining analytical truth such that it is entirely
comprised of expressions that are stipulated to be true
Facts, and expressions that are a necessary consequence of
these Facts.
By the proposed redefinition different sets of stipulations
yield different analytical truths.
| Sysop: | Keyop |
|---|---|
| Location: | Huddersfield, West Yorkshire, UK |
| Users: | 307 |
| Nodes: | 16 (2 / 14) |
| Uptime: | 46:13:58 |
| Calls: | 6,910 |
| Files: | 12,377 |
| Messages: | 5,429,524 |