Theres two kinds of truth: Logical truth and Empirical truth.
The following sentense is an empirical truth:
The first sentence in this thread is "Theres two kinds of truth: Logical truth and Empirical truth."
To find out if the sentence above is true, we need to check reality too see if it is as the sentence says it is.
To see if a sentence is logically true we only need to see how the sentence itself is constructed, we need not look in other places of reality:
Example: "If it rains then it rains."
We think we understand the difference... dont we?
Lets look at the following sentence:
1. Sentence 1 is not true.
It is an infamous piece of reality we use when we determine if the following sentence is true:
2. Sentence 1 = "Sentense 1 is not true.
Can we agree that sentence 2 IS empirically true? Good!
If we do understand the difference between empirical and logical truth then sentence 2 is NOT logically true...Right?
This is because logical truths are true no matter how reality is constructed.
And if sentence 1 had been another sentence not meaning the same, then sentence 2 would have been false.
All that said, would you expect sentence 2 to be logically not true?
You wouldnt huh?
But it IS, and its easy to prove!
Suppose x = "x is not true."
Then x is true if, and only if, "x is not true" is true!
Terefore it is not true that x = "x is not true."
And if x = sentence 1, then sentence 1 is not logically identical to "Sentence 1 is not true."
Sentence 2 is empirically true and logically not true! It looks like a contradiction ... but as I said:
Theres two kinds of truth.
The following sentense is an empirical truth:
The first sentence in this thread is "Theres two kinds of truth: Logical truth and Empirical truth."
To find out if the sentence above is true, we need to check reality too see if it is as the sentence says it is.
To see if a sentence is logically true we only need to see how the sentence itself is constructed, we need not look in other places of reality:
Example: "If it rains then it rains."
We think we understand the difference... dont we?
Lets look at the following sentence:
1. Sentence 1 is not true.
It is an infamous piece of reality we use when we determine if the following sentence is true:
2. Sentence 1 = "Sentense 1 is not true.
Can we agree that sentence 2 IS empirically true? Good!
If we do understand the difference between empirical and logical truth then sentence 2 is NOT logically true...Right?
This is because logical truths are true no matter how reality is constructed.
And if sentence 1 had been another sentence not meaning the same, then sentence 2 would have been false.
All that said, would you expect sentence 2 to be logically not true?
You wouldnt huh?
But it IS, and its easy to prove!
Suppose x = "x is not true."
Then x is true if, and only if, "x is not true" is true!
Terefore it is not true that x = "x is not true."
And if x = sentence 1, then sentence 1 is not logically identical to "Sentence 1 is not true."
Sentence 2 is empirically true and logically not true! It looks like a contradiction ... but as I said:
Theres two kinds of truth.
Last edited: