@kennethamy,
kennethamy wrote:
guigus wrote:
Zetherin wrote:
guigus wrote:Is "bats have wings" and instance of the principle of identity? How is that?
No, but it is an example of a contingent truth. You know, the sorts of truth people think you're claiming do not exist.
guigus wrote:What I mean is "necessarily, all truths are true" or "all truths are necessarily true," which are the same to me, and not "all truths are necessary," which would be a form of determinism.
This is the problem. You're not understanding why "necessarily, all truths are true" and "all truths are necessarily true" are not identical. They are not identical because the different positions of the modal operator, "necessary", change the meaning of the sentence.
The first sentence, "necessarily, all truths are true" is tautologous, and Swartz calls the necessity in this first sentence "relative" necessity, and what he means by this is that the necessary condition in that sentence is, the truth is true. Given that condition, the truth is true! And that's all that sentence means. The second sentence, "all truths are necessarily true", however, means, as you say, "all truths are necessary". It means that contingent truths do not exist, and that every truth is a necessary truth. And this is false.
The problem seems to be
not that you believe that all truths are necessary, but that you cannot understand the difference between these two sentences. I have no clue how the discussion got this out of control, especially if this is the only issue. There's no need to talk about possible fathers, actual fathers, fat fathers, thin fathers, or sex with fathers.
Being a little more brief: although there is indeed a difference between "necessarily, A is B" and "A is necessarily B," there is no difference at all between "necessarily, A is A" and "A is necessarily A." The latter two sentences differ in syntax alone, while the first two sentences differ also in semantics. The reason is that "A is necessarily A," as I already pointed out, is the
logical foundation of "necessarily, A is A." And "every truth must be true" is an instance of "A is A."
although there is indeed a difference between "necessarily, A is B" and "A is necessarily B,"
Hallaluja! There is a God! But there also is a Devil, for he takes it all back in the next few sentences. "Neither "every truth is true" nor "every truth must be true" are instances of A is A. Necessarily, If p is true, then p is true" and " if p is true, then p is necessarily true" are instances of A is A. Of course, it they were, then they would be equivalent sentences since "things equal to the same thing are equal to each other" and that would contradict your God-given admission. And that is why I said you took it all back in the next few sentences.
I always knew you were a believer. Unfortunately, I cannot say hallelujah, since, besides my not believing in any god, you still misunderstand identity. Is the sentence "a truth is a truth" an instance of the identity principle to you? If it is, then the sentence "a truth is true" must also be, since to be a truth is to be true. And could you admit that "A is not A"? If not, then the principle of identity also reads as "A must be A," as thus "a truth is true" also reads as "a truth must be true." Finally, since "a truth" means "every truth," we have "every truth must be true" as an instance of "A is A." This is very simple, and has nothing to do with "A is B," which is what I have been trying to make you see for a long time now.
Let me give you another example, which I hope will make things easier to you. Take the mathematical expression, "1 = 1," which is a mathematical instance of the principle of identity. Could it be true that "1 = 2"? I believe not. So in mathematics, 1 must be identical to 1. Could 1 be identical to 2 instead? In fact, it could, but it would destroy mathematics. Let me show how 1 must be identical to 2. Take the expression "0 / 0 = 1." Is it true? Sure it is, since 1 multiplied by zero equals zero. And "0 / 0 = 2"? True as well, since 2 * 0 = 0. The division of zero by zero makes any quotient equals any other one, which is why it was banished from mathematics. The reason for this banishment is that it is not enough that "A is A," as if it could be something else: A
must be A. Then, just replace "A" for a truth, and you have that "every truth must be true," as I have already explained.