0
   

The necessary truth of any truth

 
 
guigus
 
  1  
Reply Sat 14 Aug, 2010 01:12 pm
@kennethamy,
kennethamy wrote:
It is false that necessarily, Socrates is mortal.


Why? Didn't he die already? Perhaps you are saying that it would be better to say that Socrates was necessarily mortal, since he already died, with which I would agree.

kennethamy wrote:
The proposition that Socrates is mortal is a contingent, not a necessary truth. As usual, you are confused about what I wrote.


You are still getting necessity wrong: there is no absolute necessity, whether it is about Socrates being mortal or anything else. In a sense, everything is contingent. Necessity can only exist by being relative to the circumstances. As you yourself have put it: given Socrates humanity and human mortality, Socrates is necessarily mortal. This is the only necessary mortality Socrates will ever have, which goes for anything else as well. You remember me of Fido: he is trapped in an Ideal perfection, while you are trapped in an absolute necessity (that modal fallacy that haunts you). He regrets his own unnoticed creation of an unreachable perfection, while you regret your own unnoticed creation of an ungrounded necessity. And both blame the others for something they should blame only themselves.

kennethamy wrote:
I wrote, "if all men are mortal, and if Socrates is a man, then Socrates is mortal is a necessary truth".


With which I totally agree.

kennethamy wrote:
I did not write that Socrates is mortal is a necessary truth.


You said Socrates mortality necessarily results from his humanity and human mortality. So unless you are willing to deny that either Socrates is human or that humans are mortal, sure you are saying that Socrates is necessarily mortal. You cannot utter a sentence without a context, and in this case you yourself have already made that context explicit enough: Socrates humanity and human mortality.

kennethamy wrote:
You even commit the modal fallacy when you attempt to understand things.


The modal fallacy is about seeing necessity where it is not, which is precisely what you are doing.
0 Replies
 
kennethamy
 
  1  
Reply Sat 14 Aug, 2010 01:12 pm
@ughaibu,
ughaibu wrote:

kennethamy wrote:
Why should I?
Because you're sticking your oar in. It really isn't surprising that you haven't made any relevant point, is it?


U. really, what are you talking about? I pointed out that the proposition that Socrates is mortal is contingent is not the conclusion of that famous syllogism which (for some peculiar reason) you called, "silly". And now you say I should not point that out because I have not read some post or other you once wrote? It is true that the proposition that Socrates is mortal is not a contingent proposition whether or not I read your post, is it not. What has my having read the post to do with it? It is still not the conclusion of the syllogism as you said it was.
0 Replies
 
guigus
 
  1  
Reply Sat 14 Aug, 2010 01:13 pm
@kennethamy,
kennethamy wrote:

guigus wrote:

kennethamy wrote:

ughaibu wrote:

kennethamy wrote:
The conclusion of the syllogism is not that Socrates is mortal is a necessary truth.
As a matter of form, are you confirming the conclusion that Socrates is mortal but might not be?


I don't know what you are asking.


He's asking if you agree that Socrates is mortal but might not be.


"Confirming" means, "agree"? Of course the proposition that Socrates is mortal is a contingent, not a necessary, truth.


You are still not getting it: he was remembering you that an actual truth cannot be possibly false.
0 Replies
 
guigus
 
  1  
Reply Sat 14 Aug, 2010 01:15 pm
@kennethamy,
kennethamy wrote:

guigus wrote:

Night Ripper wrote:

Fil Albuquerque wrote:

Let me say something a bit less vulgar about "it happens"...there is nothing more necessary then it. Is self NECESSARY!
( if not to be caused thats what FACTS are! )




I'm not convinced of that and I don't think there's any logic behind it. From what I can see, all physical states of affairs are contingent, that is, there's nothing necessary about the existence of the universe, the rising of the sun or the orbits of electrons. There could be absolutely nothing at all but by chance, there isn't. There is something. The only things that are necessary are those things that are logically necessary such as "all bachelors being unmarried men".


And a false truth is like an unmarried bachelor, so every truth must be true.


(Sigh) 1. It must be the case that: every truth is true (and not false) but, 2. It is not the case that: every truth must be true.


Would it be the case that for you it is the case that "it must be that A is A" but not that "A must be A"?
guigus
 
  1  
Reply Sat 14 Aug, 2010 01:19 pm
@kennethamy,
kennethamy wrote:

ughaibu wrote:

kennethamy wrote:
the proposition that Socrates is mortal is a contingent, not a necessary, truth.
In other words, there is some world where Socrates is immortal, so, in that world the conclusion "Socrates is mortal" is false, despite the fact that it follows from the preceding premises exactly as it does in a world in which it is true. In fact:
1) all living men are mortal
2) ughaibu is a living man
3) ughaibu is either mortal or immortal.


It is true in every possible world that if all men are mortal, and Socrates is a man, then Socrates is mortal. Which is to say, in every possible world, the conclusion follows from the premises. What does it matter that in some possible world it is false that Socrates in mortal? That is also true. But how is that inconsistent (or even relevant) to the necessary truth that the conclusion that Socrates is mortal follow from the premises? Answer, not at all.

You are still committing a version of the modal fallacy. You still think that because a conclusion follows necessarily from its premises, that the conclusion itself should be necessary. And that is a version of the modal fallacy.


So logic is just a futile exercise to kill time, since none of its conclusions has nothing to do with our concrete lives, in which everything is contingent and necessity never applies - you and Fido have much more in common than meets the eye.
kennethamy
 
  1  
Reply Sat 14 Aug, 2010 01:57 pm
@guigus,
guigus wrote:


So logic is just a futile exercise to kill time


Yep. You got it, and this time you did not commit the modal fallacy, which must be a first for you.
As the great British pure mathematician, G.H. Hardy said in his famous toast: "Here's to pure mathematics; may it never be of any use to anybody!"

"Logic is logic, that's all I can say". Oliver Wendall Holmes. (The Wonderful One-Horse Shay)
0 Replies
 
ACB
 
  1  
Reply Sat 14 Aug, 2010 02:27 pm
@guigus,
guigus wrote:
Would it be the case that for you it is the case that "it must be that A is A" but not that "A must be A"?

I too would be interested in kennethamy's response to that. For example, must a tree be a tree? That is to say, is it true that a tree is necessarily a tree?

If it is not true, then there is a possible world in which a tree is not a tree. But what could that mean?

If it is true, it follows that the logical form of the sentence "Every tree must be a tree" is different from that of "Every truth must be a truth", since the first is true but the second is false.
kennethamy
 
  1  
Reply Sat 14 Aug, 2010 03:09 pm
@ACB,
ACB wrote:

guigus wrote:
Would it be the case that for you it is the case that "it must be that A is A" but not that "A must be A"?

I too would be interested in kennethamy's response to that. For example, must a tree be a tree? That is to say, is it true that a tree is necessarily a tree?

If it is not true, then there is a possible world in which a tree is not a tree. But what could that mean?

If it is true, it follows that the logical form of the sentence "Every tree must be a tree" is different from that of "Every truth must be a truth", since the first is true but the second is false.


What makes you believe that I think that necessarily A is A, but that I don't think that A is necessarily A? I never said that, and it is not true. I believe (know) both are true. What I don't understand is why anyone would think I do not think that both are true.
ACB
 
  1  
Reply Sat 14 Aug, 2010 05:38 pm
@kennethamy,
kennethamy wrote:
What makes you believe that I think that necessarily A is A, but that I don't think that A is necessarily A? I never said that, and it is not true. I believe (know) both are true.

So "necessarily a truth is a truth" and "a truth is necessarily a truth" are both true, since these are simply instances of "necessarily A is A" and "A is necessarily A" respectively.
Zetherin
 
  1  
Reply Sat 14 Aug, 2010 05:48 pm
guigus wrote:
So logic is just a futile exercise to kill time, since none of its conclusions has nothing to do with our concrete lives

But why would you think that? That seems demonstrably false to me.

P1: All men are mortal
P2: Vince is a man
C: Therefore, Vince is mortal

This syllogism, or "logical argument", seems to have to do with my life. What makes you think otherwise?

It is often the case that logic helps us discover truths, and many of these truths can have practical, real-life application or relevance.
0 Replies
 
Night Ripper
 
  1  
Reply Sat 14 Aug, 2010 08:59 pm
@ACB,
Not all truths are necessarily true. Some truths are contingently true.
0 Replies
 
Night Ripper
 
  1  
Reply Sat 14 Aug, 2010 09:02 pm
@guigus,
guigus wrote:
So logic is just a futile exercise to kill time, since none of its conclusions has nothing to do with our concrete lives, in which everything is contingent and necessity never applies - you and Fido have much more in common than meets the eye.


Actually, just because at least some of the premises of any conclusion about reality will be contingent doesn't mean logic is useless. As I mentioned before, sound deductive arguments make explicit that which was once only implicit. The point of a deductive argument is to preserve truth much like an equation can be manipulated in anyway you like so long as both sides remain equal.
kennethamy
 
  1  
Reply Sun 15 Aug, 2010 08:38 am
@Night Ripper,
Night Ripper wrote:

guigus wrote:
So logic is just a futile exercise to kill time, since none of its conclusions has nothing to do with our concrete lives, in which everything is contingent and necessity never applies - you and Fido have much more in common than meets the eye.


Actually, just because at least some of the premises of any conclusion about reality will be contingent doesn't mean logic is useless. As I mentioned before, sound deductive arguments make explicit that which was once only implicit. The point of a deductive argument is to preserve truth much like an equation can be manipulated in anyway you like so long as both sides remain equal.


Is that what he is claiming? I wonder how you can tell. But come to think of it, that may be what Ughaibu is claiming too, indirectly, since he seems to be saying that because validity does not yield necessary truths, it is defective. They make unreasonable demands which entail contradictions (like, contingent premises should yield necessary truths as conclusions) and then, when these demands are not satisfied (because to do so would be to do something self-contradictory) they conclude that what cannot satisfy the self-contradictory demand is defective.

Talking about logic without knowing anything about logic not only like trying to row a boat without oars. It is like trying to row a boat without a boat.

guigus
 
  1  
Reply Sun 15 Aug, 2010 06:50 pm
@Night Ripper,
Night Ripper wrote:

guigus wrote:
So logic is just a futile exercise to kill time, since none of its conclusions has nothing to do with our concrete lives, in which everything is contingent and necessity never applies - you and Fido have much more in common than meets the eye.


Actually, just because at least some of the premises of any conclusion about reality will be contingent doesn't mean logic is useless. As I mentioned before, sound deductive arguments make explicit that which was once only implicit. The point of a deductive argument is to preserve truth much like an equation can be manipulated in anyway you like so long as both sides remain equal.


Of course classic logic is not useless: it is a useful tool in many fields of human activity, but it becomes useless in Fido's and kennethamy's conception, which is what I have pointed out above. Unfortunately you got it wrong by assuming I was defending their point of view, when I was rather criticizing it.
guigus
 
  1  
Reply Sun 15 Aug, 2010 06:59 pm
@kennethamy,
kennethamy wrote:

Night Ripper wrote:

guigus wrote:
So logic is just a futile exercise to kill time, since none of its conclusions has nothing to do with our concrete lives, in which everything is contingent and necessity never applies - you and Fido have much more in common than meets the eye.


Actually, just because at least some of the premises of any conclusion about reality will be contingent doesn't mean logic is useless. As I mentioned before, sound deductive arguments make explicit that which was once only implicit. The point of a deductive argument is to preserve truth much like an equation can be manipulated in anyway you like so long as both sides remain equal.


Is that what he is claiming? I wonder how you can tell. But come to think of it, that may be what Ughaibu is claiming too, indirectly, since he seems to be saying that because validity does not yield necessary truths, it is defective. They make unreasonable demands which entail contradictions (like, contingent premises should yield necessary truths as conclusions) and then, when these demands are not satisfied (because to do so would be to do something self-contradictory) they conclude that what cannot satisfy the self-contradictory demand is defective.

Talking about logic without knowing anything about logic not only like trying to row a boat without oars. It is like trying to row a boat without a boat.


So let us see if you have a boat. You believe in the three "principles of classic logic," don't you? The "principles" of identity, of non-contradiction, and of the excluded middle, you believe on them, right? Sure you do. So let us see now where do those "principles" lead us:

1. According to the so-called "principle" of identity, "A is A."

2 According to the so-called “principle” of non-contradiction, it cannot be true that “A is A” and also that “A is not A,” so if A conforms to “A is A,” then it cannot conform to “A is not A” - since its being not A would contradict its being A – or “A cannot be not A.”

3. According to the so-called “principle” of the excluded middle, either it is true that “A is A” or that “A is not A,” so if A does not conform to “A is not A,” then it must conform to “A is A” - by being A rather than being not A – or “A must be A.”
kennethamy
 
  1  
Reply Sun 15 Aug, 2010 07:03 pm
@guigus,
guigus wrote:

Night Ripper wrote:

guigus wrote:
So logic is just a futile exercise to kill time, since none of its conclusions has nothing to do with our concrete lives, in which everything is contingent and necessity never applies - you and Fido have much more in common than meets the eye.


Actually, just because at least some of the premises of any conclusion about reality will be contingent doesn't mean logic is useless. As I mentioned before, sound deductive arguments make explicit that which was once only implicit. The point of a deductive argument is to preserve truth much like an equation can be manipulated in anyway you like so long as both sides remain equal.


Of course classic logic is not useless: it is a useful tool in many fields of human activity, but it becomes useless in Fido's and kennethamy's conception, which is what I have pointed out above. Unfortunately you got it wrong by assuming I was defending their point of view, when I was rather criticizing it.


What do you imagine is my conception of logic, I wonder? My conception of logic is that it is the science of inference. What is yours?
0 Replies
 
Night Ripper
 
  1  
Reply Sun 15 Aug, 2010 08:17 pm
@guigus,
guigus wrote:
2 According to the so-called “principle” of non-contradiction, it cannot be true that “A is A” and also that “A is not A,” so if A conforms to “A is A,” then it cannot conform to “A is not A” - since its being not A would contradict its being A – or “A cannot be not A.”


You're confusing the difference between "cannot" and "is not". If "A" is "A" then "A" is not "not A". You're wrong to say that "A" cannot be "not A". It could be if it wasn't "A". The fact that "A" is "A" isn't necessary.

guigus wrote:
3. According to the so-called “principle” of the excluded middle, either it is true that “A is A” or that “A is not A,” so if A does not conform to “A is not A,” then it must conform to “A is A” - by being A rather than being not A – or “A must be A.”


You're making the same mistake by confusing "must" and "does". If "A" does not conform to "A is not A" then it does conform to "A is A".

Please address these mistakes and actually defend your usage of "cannot" vs. "is not" and "must" vs. "does".
kennethamy
 
  1  
Reply Sun 15 Aug, 2010 08:36 pm
@Night Ripper,
Night Ripper wrote:

guigus wrote:
2 According to the so-called “principle” of non-contradiction, it cannot be true that “A is A” and also that “A is not A,” so if A conforms to “A is A,” then it cannot conform to “A is not A” - since its being not A would contradict its being A – or “A cannot be not A.”


You're confusing the difference between "cannot" and "is not". If "A" is "A" then "A" is not "not A". You're wrong to say that "A" cannot be "not A". It could be if it wasn't "A". The fact that "A" is "A" isn't necessary.

guigus wrote:
3. According to the so-called “principle” of the excluded middle, either it is true that “A is A” or that “A is not A,” so if A does not conform to “A is not A,” then it must conform to “A is A” - by being A rather than being not A – or “A must be A.”


You're making the same mistake by confusing "must" and "does". If "A" does not conform to "A is not A" then it does conform to "A is A".

Please address these mistakes and actually defend your usage of "cannot" vs. "is not" and "must" vs. "does".


Now this is where I came in. It is useless, NR. Even wild horses won't break through this barrier. He is invincible.
ughaibu
 
  1  
Reply Sun 15 Aug, 2010 09:30 pm
@kennethamy,
kennethamy wrote:
Night Ripper wrote:
guigus wrote:
According to the so-called “principle” of non-contradiction, it cannot be true that “A is A” and also that “A is not A,” so if A conforms to “A is A,” then it cannot conform to “A is not A” - since its being not A would contradict its being A – or “A cannot be not A.”
If "A" is "A" then "A" is not "not A". You're wrong to say that "A" cannot be "not A". It could be if it wasn't "A".
Now this is where I came in. It is useless, NR. Even wild horses won't break through this barrier. He is invincible.
Some points here that require comment:
1) Kennethamy has defined necessity in terms of contradiction, so how can he be supporting Night Ripper's above claim?
2) Night Ripper's you're wrong to say that "A" cannot be "not A". It could be if it wasn't "A", doesn't make a great deal of sense to me. He seems to be saying that A is not-A in the case that A is not A, and as far as I can tell, this means that there is some possible world in which A is not-A and that A and not-A is, thus, possible. As far as I can see, this gets rid of even the trivial necessity of no bachelor is married, as there is a possible world in which a bachelor isn't a bachelor.
cicerone imposter
 
  1  
Reply Sun 15 Aug, 2010 10:02 pm
@ughaibu,
I knew if I waited long enough, somebody like you would come along and straighten out this A is A confusion.
0 Replies
 
 

Related Topics

How can we be sure? - Discussion by Raishu-tensho
Proof of nonexistence of free will - Discussion by litewave
Destroy My Belief System, Please! - Discussion by Thomas
Star Wars in Philosophy. - Discussion by Logicus
Existence of Everything. - Discussion by Logicus
Is it better to be feared or loved? - Discussion by Black King
Paradigm shifts - Question by Cyracuz
 
Copyright © 2025 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.05 seconds on 02/06/2025 at 01:02:01