Register | Sign In


Understanding through Discussion


EvC Forum active members: 65 (9162 total)
1 online now:
Newest Member: popoi
Post Volume: Total: 915,819 Year: 3,076/9,624 Month: 921/1,588 Week: 104/223 Day: 2/13 Hour: 0/1


Thread  Details

Email This Thread
Newer Topic | Older Topic
  
Author Topic:   Question.... (Processes of Logic)
Rrhain
Member
Posts: 6351
From: San Diego, CA, USA
Joined: 05-03-2003


Message 31 of 210 (39572)
05-10-2003 12:02 AM
Reply to: Message 30 by John
05-09-2003 10:48 AM


John responds to me:
quote:
So, the negation of the statement...
Is a negative. If you have a statement and prove its negative, then you have proven a negative.
If you claim that X is a circle and I show that it is a square, then I have proven a negative: X is not a circle.
quote:
quote:
Incorrect. In the real world, objects are not always ill-defined.
You apparently missed the second part of my sentence-- "because we have incomplete knowledge of pretty much everything." We have incomplete knowledge simply because we do not have absolute knowledge.
Are you saying you don't have absolute knowledge about some things like what your car keys look like?
I agree that for a lot of things, we don't have absolute knowledge, but that doesn't mean we don't have it for some things.
quote:
quote:
Again, I gave a specific example of showing that an object is not in a room. We can show that the object is too big to fit in the room or that the object is located elsewhere or do an exhaustive search of all the objects in the room.
You are not making existential statements.
I most certainly am. They are just highly specific.
quote:
'X is not in the room' is not not equivalent to 'X is not.'
I know. But it is still an existential room. There exists no element X in the set. That is an existential statement.
quote:
Look at the structure of the arguments you make. They all depend upon examining what is present and detectable.
So? What does that have to do with anything?
quote:
You do not examine what is not detectable to prove that it is not there.
If it is not detectable no matter what, then it is the same as if it doesn't exist.
quote:
You prove what is there. The rest is in limbo. You look at what exists, not what doesn't.
If it doesn't exist, wasn't that what we were trying to demonstrate? If we have examined everything that does exist, then that only leaves the things that don't exist. But doesn't that mean we've just succeeded in showing that it doesn't exist?
Isn't it a truism that A v ~A?
quote:
Try proving that an object doesn't exist without refering to objects that do.
Why the restriction?
quote:
You can't do it, because there is no information.
Of course. You're trying to challenge me to do something mathematically without letting me use mathematics to do it.
quote:
The only things for which we have evidence are things that exist. Thus the only things we can prove are things that exist. We cannot prove or disprove things that don't exist.
Sure we can. We do it all the time.
There is no way to square the circle using straightedge-and-compass. There is no planar object that is both a square and a circle. We can prove lots of things don't exist.
quote:
quote:
Or are you saying that, say, your car keys are ill-defined?
Usually.
(*chuckle*) I think you're confusing position and momentum.
quote:
quote:
If an object is X, that means it is not Y
You are not making existential statements.
I most certainly am! X exists and is a member of a set: $ x such that x S.
quote:
An existential statement is of the form 'X exists' or 'X does not exist.'
More formally, an existential statement is one that uses the existential operator: "There exists." This is in contrast to the universal operator: "For all."
quote:
'X is not Y' is not equivalent to 'X is not.'
I know. But that doesn't mean "X is not Y" can not be cast as an existential statement.
There does not exist x X such that x Y.
quote:
It doesn't even matter if X and Y are mutually exclusive, because we have have logic wrong.
Not at all.
quote:
We may have math wrong.
Definitely not. There is no largest prime number.
quote:
And it appears that there are sections of the universe where both are true.
Agreed. But you shouldn't hold that against the other sections of the universe.
quote:
Forbidden
Oy...they equivocated. They shifted from the object to the name of the object. That is, they shifted from "Santa Claus does not exist" to "The name 'Santa Claus' does not exist" and then acted as if the two statements were equivalent.
quote:
quote:
No, that is not the negative I had in mind.
It IS the relevant negative!
I think I get to be the arbiter of what negative I was trying to prove. If you are concerned about a different negative statement, then don't hold that against me. I wasn't dealing with that one.
quote:
This is what I have been trying to explain to you.
You're trying to explain that because I was disproving X and not Y, even though I said I was only disproving X and not Y, that it is somehow my fault that I didn't disprove Y?
quote:
You commented on crash's statement that one cannot prove a negative by stating that one can prove that 'X is not Y.' In context, 'God is not a Buick'
If the original statement is that god is a Buick, then the negative is that god is not a Buick.
If Y is the only thing that can be, then if X is not Y, then X is not.
quote:
But the relevant formulation would be 'X is not.'
No! The relevant formulation is that "god is not a Buick."
You're not talking about the existential operator...you're talking about the universal.
Not all negative universal statements can be demonstrated (even though the example I gave of no largest prime is a negative universal).
quote:
A thing's existence can be proven with one case, but its non-existence cannot.
Sure it can. There does not exist a largest prime number, remember?
quote:
The proof could be just around the next corner.
No, it couldn't. There is no prime number. You don't even need to look at everything to know that there isn't. Simply assume that it could be and lead yourself to a contradiction.
quote:
You only need one apple to prove that apples exist. You need absolute knowledge to prove that they do not.
No, you need a solid definition to prove they don't.
There is no such thing as a planar object that has the properties of both a square and a circle. For you see, one of the properties of a circle is that all line segments that cross the center are the same length. However, assuming that one can define the "center" of a square as that point where the diagonals cross, not all line segments that cross the center of a square are the same length. The diagonals are longer than the laterals.
Thus, by definition, there can be no planar object that has the properties of both a square and a circle.
quote:
To prove that purple-people-eaters do not exist you'd have to search not only here but across the entire universe from its beginning to its end and down to its very basic foundations.
Not at all. You simply need to have a solid definition of the purple people eaters (now, I've always wondered...are the purple people eaters beings that are purple and who eat people or are they beings that eat purple people?) such that you can put forward a definitive test: If there are purple people eaters, then X must occur. If X does not occur, then we necessarily conclude that there are no purple people eaters.
quote:
Even then, all you have is an absence of evidence, not evidence against.
But that is the case only if we have no definitive method of verification. I agree that not everything can create a definitive method of verification. But we shouldn't hold that against those things that can.
quote:
There may be other universes... and so on and so on.
Logical error: Ad hoc.
quote:
You can prove that an object is inconsistent with our understanding of the universe, but our understanding could be wrong.
Logical error: Incredulity.
quote:
The orbital path of Mercury is inconsistent with Newtonian orbital mechanics. Does that mean that Mercury doesn't orbit as it does? Nope. It means Newton had a fly in the ointment.
And you just proved a negative. Newton's mechanics are not true.
quote:
Einstein's ideas have replaced Newton's. The same thing could happen to any of our ideas. Logic, math, whatever-- it could all be very wrong.
Incorrect. As crashfrog said, an inductive conclusion might be wrong. A deductive conclusion cannot be.
quote:
Can you prove that some as yet undiscovered theory for which, obviously, we have no evidence will not replace Einstein's theories? Nope.
I didn't say I could.
You seem to be confusing my claim that you can prove a negative with some sort of idea that one can prove everything.
Well, no. Inductive statements (at least in the physical sense, not the mathematical) are not things that can be proven, merely shown to be accurate.
quote:
That is a major snag when trying to prove a negative. Without absolute knowledge, we can't be sure and we are far from absolute knowledge if such a thing is possible at all.
No, not "without absolute knowledge." Without a sufficient definition.
quote:
quote:
If John exists, then John does not not-exist.
So, if John exists then John exists? Brilliant.
I know, it seems trivial, but it isn't. One of the first questions from my Linear Algebra class was "Show that A = A." One would think that would be inherent, but you have to actually show it.
quote:
You quite rightly point out that a thing implies the negation of its negation-- a trivial transformation. It does not imply the existence of anything that is not itself.
You're assuming that there is something else that can be.
F'rinstance, if we show that there is no workshop at the North Pole, that all those presents you got in the morning were planted there by your parents, etc., it does no good to say that, "Well, then 'Santa Claus' is really your dad." To do so is to shift your definition. You started with the definition that "Santa Claus" was an object that lived at the North Pole and delivered presents. We've just shown that there isn't anything up there and that all those presents were delivered by somebody else. You don't get to make an ad hoc shift of definition to allow "Santa Claus" to be something else. You don't get to make an ad hoc shift that the workshop is "invisible" or that you apparently weren't "nice" and thus Santa skipped your house.
------------------
Rrhain
WWJD? JWRTFM!

This message is a reply to:
 Message 30 by John, posted 05-09-2003 10:48 AM John has replied

Replies to this message:
 Message 32 by crashfrog, posted 05-10-2003 12:38 AM Rrhain has replied
 Message 33 by NosyNed, posted 05-10-2003 1:20 AM Rrhain has not replied
 Message 41 by John, posted 05-10-2003 10:28 PM Rrhain has replied

crashfrog
Member (Idle past 1467 days)
Posts: 19762
From: Silver Spring, MD
Joined: 03-20-2003


Message 32 of 210 (39574)
05-10-2003 12:38 AM
Reply to: Message 31 by Rrhain
05-10-2003 12:02 AM


There is no way to square the circle using straightedge-and-compass. There is no planar object that is both a square and a circle. We can prove lots of things don't exist.
But not in the real world. In the real world, true squares and circles don't exist.
You're confusing what you can do within axiomatic systems and what you can do in real life. You can't make accurate deductive statements about reality because we're not privy to reality's axiomatic conditions - we can only approximate them through induction.
You can deduce negative statements but you can't induct them, and I guess that's the point. And deduction isn't a process you can apply to things that exist in the universe.

This message is a reply to:
 Message 31 by Rrhain, posted 05-10-2003 12:02 AM Rrhain has replied

Replies to this message:
 Message 35 by Rrhain, posted 05-10-2003 2:18 AM crashfrog has not replied

NosyNed
Member
Posts: 8996
From: Canada
Joined: 04-04-2003


Message 33 of 210 (39578)
05-10-2003 1:20 AM
Reply to: Message 31 by Rrhain
05-10-2003 12:02 AM


If there are purple people eaters, then X must occur. If X does not occur, then we necessarily conclude that there are no purple people eaters.
Are there any purple people? No, there are not! The purple-people eaters ate 'em. This proves the existance of purple-people eaters.
(well, at one time, I guess they all starved to death by now)

This message is a reply to:
 Message 31 by Rrhain, posted 05-10-2003 12:02 AM Rrhain has not replied

Replies to this message:
 Message 34 by crashfrog, posted 05-10-2003 1:24 AM NosyNed has not replied

crashfrog
Member (Idle past 1467 days)
Posts: 19762
From: Silver Spring, MD
Joined: 03-20-2003


Message 34 of 210 (39579)
05-10-2003 1:24 AM
Reply to: Message 33 by NosyNed
05-10-2003 1:20 AM


If there are purple people eaters, then X must occur. If X does not occur, then we necessarily conclude that there are no purple people eaters.
Yeah, see, the thing is, it's not possible to conclude that X has not occured because it's always possible to say "Well, X occured where we weren't looking" or some such thing.
You've basically reduced a negative to another negative, which you can't prove.
As they say, "absence of evidence is not evidence of absence." It's always possible we haven't found it yet.
The question then becomes, is it reasonable in most cases to assume that that which we do not observe does not exist? It usually is, but that's just an assumption.

This message is a reply to:
 Message 33 by NosyNed, posted 05-10-2003 1:20 AM NosyNed has not replied

Replies to this message:
 Message 36 by Rrhain, posted 05-10-2003 2:28 AM crashfrog has replied

Rrhain
Member
Posts: 6351
From: San Diego, CA, USA
Joined: 05-03-2003


Message 35 of 210 (39587)
05-10-2003 2:18 AM
Reply to: Message 32 by crashfrog
05-10-2003 12:38 AM


crashfrog responds to me:
quote:
quote:
There is no way to square the circle using straightedge-and-compass. There is no planar object that is both a square and a circle. We can prove lots of things don't exist.
But not in the real world. In the real world, true squares and circles don't exist.
Sure they do. I think we've got a philosophical argument here.
Question: Have you heard of the term "Platonist"?
What you've just said is one of the common questions that strikes mathematicians: Do the objects that we study really exist? Most mathematicians wind up saying yes, they do. "2" really does exist just as much as "red" exists. If you agree that apples are real and if you have two of them, how can you say that "2" doesn't exist when you can see the two of them right there?
Now, can you construct a physical circle? No. But that doesn't mean it isn't real.
Is love real? It isn't something that you can bottle. It isn't a smell or a sight. It has no tangible qualities, and yet it is very real, isn't it?
So yes, squares and circles do exist. Those mathematicians that agree with this line of thinking are called "Platonists." It hearkens back to Plato's Parable of the Cave.
But, some mathematicians disagree. They are only abstracts, conventions that we make to describe things we observe, not "real."
quote:
You're confusing what you can do within axiomatic systems and what you can do in real life.
Not at all. Some things in real life are axiomatic.
quote:
You can't make accurate deductive statements about reality because we're not privy to reality's axiomatic conditions - we can only approximate them through induction.
You mean when I look at a red object, it might not really be red?
quote:
You can deduce negative statements but you can't induct them, and I guess that's the point.
I agree. Are you saying you can't deduce anything in the real world?
quote:
And deduction isn't a process you can apply to things that exist in the universe.
I guess you are.
Forgive me if I disagree. If Johnny has 5 apples and gives 3 of them to Suzie, I think we can deduce that Johnny has 2 apples left.
------------------
Rrhain
WWJD? JWRTFM!

This message is a reply to:
 Message 32 by crashfrog, posted 05-10-2003 12:38 AM crashfrog has not replied

Rrhain
Member
Posts: 6351
From: San Diego, CA, USA
Joined: 05-03-2003


Message 36 of 210 (39588)
05-10-2003 2:28 AM
Reply to: Message 34 by crashfrog
05-10-2003 1:24 AM


crashfrog responds to me:
quote:
quote:
If there are purple people eaters, then X must occur. If X does not occur, then we necessarily conclude that there are no purple people eaters.
Yeah, see, the thing is, it's not possible to conclude that X has not occured because it's always possible to say "Well, X occured where we weren't looking" or some such thing.
Incorrect.
If I'm standing here looking at my keys and I watch them for 10 minutes and they don't go anywhere, then I necessarily conclude that you did not take them. For if you had taken them, I would have seen. And since I did not see you take them, then you did not.
quote:
You've basically reduced a negative to another negative, which you can't prove.
But I just did. You didn't take my keys.
quote:
As they say, "absence of evidence is not evidence of absence." It's always possible we haven't found it yet.
Only if there is no way to construct a definitive test.
If there is, like me watching my keys, then absence of evidence is evidence of absence.
quote:
The question then becomes, is it reasonable in most cases to assume that that which we do not observe does not exist? It usually is, but that's just an assumption.
Indeed. It's the question between induction and deduction.
You've already said you don't think deduction can happen in the real world.
I think it can.
Ergo, you can prove a negative.
It still requires well-defined objects behaving in well-defined methods.
------------------
Rrhain
WWJD? JWRTFM!

This message is a reply to:
 Message 34 by crashfrog, posted 05-10-2003 1:24 AM crashfrog has replied

Replies to this message:
 Message 37 by crashfrog, posted 05-10-2003 3:26 AM Rrhain has replied
 Message 38 by The Dude, posted 05-10-2003 6:59 AM Rrhain has not replied

crashfrog
Member (Idle past 1467 days)
Posts: 19762
From: Silver Spring, MD
Joined: 03-20-2003


Message 37 of 210 (39591)
05-10-2003 3:26 AM
Reply to: Message 36 by Rrhain
05-10-2003 2:28 AM


Incorrect.
One-word dismissals like this make you sound needlessly arrogant. Are they really appropriate in a friendly discussion?
If I'm standing here looking at my keys and I watch them for 10 minutes and they don't go anywhere, then I necessarily conclude that you did not take them. For if you had taken them, I would have seen. And since I did not see you take them, then you did not.
What if I'm an invisible, faster-than-light ninja able to replace them with identical copies faster than you can observe? What if what you're seeing doesn't really exist, you're just in the Matrix?
What if I propose any number of infinite ad-hoc scenarios able to explain how I was able to take your keys without you seeing it?
Of course, you could counter that there's no evidence for those scenarios, but I could respond with more scenarios to explain the lack of evidence, and so on ad infinitum. Ultimately, you can't prove I didn't take your keys; the best you can do is say that the most reasonable explanation is that I didn't take your keys. You can't prove the negative, but you can argue that it is the most reasonable model to fit the data.
You've already said you don't think deduction can happen in the real world.
Deduction can only happen where the basic axioms of the system are specified. This is not the case in reality; we can only approximate the "axioms" of reality through induction. Unless you're privy to the fundamental laws of the universe? Because a lot of people would be pretty interested in those.
Even if you try to deduct from those axioms that you have inferred, your deductive conclusion is limited in accuracy by your initial inferences.

This message is a reply to:
 Message 36 by Rrhain, posted 05-10-2003 2:28 AM Rrhain has replied

Replies to this message:
 Message 42 by Rrhain, posted 05-11-2003 8:31 AM crashfrog has replied

The Dude
Junior Member (Idle past 4241 days)
Posts: 1
Joined: 08-06-2012


Message 38 of 210 (39594)
05-10-2003 6:59 AM
Reply to: Message 36 by Rrhain
05-10-2003 2:28 AM


Rrhain,
Thank you for clearly and concisely debunking the oft repeated canard that "negatives can't be proven". They can, as you skillfully reasoned. Deep inside, we all know this to be true. This is so because it is most certainly axiomatic that in specific, well-defined situations "absence of evidence is evidence of absence".

This message is a reply to:
 Message 36 by Rrhain, posted 05-10-2003 2:28 AM Rrhain has not replied

Replies to this message:
 Message 39 by crashfrog, posted 05-10-2003 1:48 PM You have not replied

  
crashfrog
Member (Idle past 1467 days)
Posts: 19762
From: Silver Spring, MD
Joined: 03-20-2003


Message 39 of 210 (39607)
05-10-2003 1:48 PM
Reply to: Message 38 by The Dude
05-10-2003 6:59 AM


This is so because it is most certainly axiomatic that in specific, well-defined situations "absence of evidence is evidence of absence".
Sure, it's axiomatic only in situations where axiomatic reasoning is appropriate. Real life never consists of these situations, therefore, negative deduction can never be more accurate than the inferred axioms that it is built on.
It's like this - if I'm in a real-life situation, and I'm only, say 95% sure (a meaningless and arbitrary number, to be sure) about the axioms that I have inferred, then I can only be confident about the accuracy of any deduction from those axioms to the same degree - my deduction can only be assumed to be 95% accurate.
Deduction only proves things in situations where the axioms are well-defined and assumed to be true. In real life, this never occurs.
So, basically, Rrhain has proved (neither clearly nor concisely, I'm afraid) that you can deduct negatives in situations which never occur in real life. Congratulations, I guess.
Generally, I agree: "absence of evidence is evidence of absence." But that can't ever prove absence, just suggest that it is a reasonable explanation.

This message is a reply to:
 Message 38 by The Dude, posted 05-10-2003 6:59 AM The Dude has not replied

DBlevins
Member (Idle past 3776 days)
Posts: 652
From: Puyallup, WA.
Joined: 02-04-2003


Message 40 of 210 (39625)
05-10-2003 3:15 PM
Reply to: Message 26 by Mister Pamboli
05-07-2003 3:49 AM


Re: Question...
Rrhain -
quote:
A little thought shows that it can not be the bacteria that mutated. If it were the bacteria that mutated, then they would be surrounded by K/4 bacteria that are immune to T4 phage. Thus, as soon as any of these K-type bacteria died, they'd be replaced with K/4 bacteria and we'd never see a plaque.
Would it be possible for the bacteria to mutate in such a way that it becomes vulnerable to the phage again through a different mutation or set of mutations so that it is once again vulnerable to a non-mutated phage? Is there any proof of such a thing happening? A reversion of vulnerablilty but due to a mutation of another codon or perhaps a mutation of the same codon or a mutation that shifts the codons which could cause the vulnerability to reappear? It seems possible, but I am still in the middle of studying biology, that if a mutation is possible one way it is possible the other? I am not sure how clear I am with the question but I would think that however slight the possibility of a mutation happening on the "same" gene or causing a vulnerability to reappear, it might just happen.
[This message has been edited by DBlevins, 05-10-2003]

This message is a reply to:
 Message 26 by Mister Pamboli, posted 05-07-2003 3:49 AM Mister Pamboli has not replied

Replies to this message:
 Message 43 by Rrhain, posted 05-11-2003 8:40 AM DBlevins has not replied

John
Inactive Member


Message 41 of 210 (39652)
05-10-2003 10:28 PM
Reply to: Message 31 by Rrhain
05-10-2003 12:02 AM


quote:
If you claim that X is a circle and I show that it is a square, then I have proven a negative: X is not a circle.
Actually, what you have prove is that it IS a square. You said this yourself-- "I show that it is a square." And then the slight of hand... "X is not a circle." This is a qualitatively different statement. To illustrate, the phrase "X is a square" tells you precisely what X looks like when drawn on a flat sheet of paper. The phrase "X is not a circle" eliminates one of an infinite set of possibilities. The former statement is precise and can be proven, the latter is imprecise and can only be inferred by proving something about what X actually is. This is what is meant by the statement that you can't prove a negative. In other words, you prove a positive-- you prove something about the object in question, then make the assertion that within some some axiomatic system inconsistent properties cannot also be true. You cannot prove the negative other than by proving something about the object. Even indirect proofs work the same way. You prove something about the object-- in the case of an inderct proof, a hypothetical object. You prove that it IS contradictory within some axiomatic system or another. Certainly you are aware that things which are contradictory within one axiomatic system are not necessarily contradictory within other axiomatic systems? Parallel lines never converge or diverge on a flat surface, but curve that surface and they do one or the other. This is complicated by the fact that there is no axiomatic system for the whole of the universe-- at least, there is no such system to which we can currently appeal.
quote:
Are you saying you don't have absolute knowledge about some things like what your car keys look like?
At the subatomic level, we have very little idea of what they "look like."
quote:
I agree that for a lot of things, we don't have absolute knowledge, but that doesn't mean we don't have it for some things.
We have absolute knowledge about nothing at all. We have adequate knowledge ( crossing my fingers ) about quite a few things, but that is not the same thing.
quote:
I know. But it is still an existential room. There exists no element X in the set. That is an existential statement.
It is a conditional. It is conditional upon the items in the set.
I provided a link to the following earlier. I assumed you read it. Guess I was wrong.
A negative existential statement has the form 'N does not exist,' where 'N' is a referring expression.
Forbidden
quote:
So? What does that have to do with anything?
This...
Look at the structure of the arguments you make. They all depend upon examining what is present and detectable.
Has everything to do with it. All of your efforts go into proving what is present. None go into proving what is not. Why is that? 1) There are a finite number of 'is presents' while there are an infinite number of 'is not presents.' 2) Proving directly what is not present would require having information about what is not present, and such information does not exist. Information only exists for what actually is present. Within a limited set-- say, a collection of marbles-- where you have knowledge of what lies outside the set you can determine if something is not in the set of marbles. But in an absolute sense, as in the case of the universe, we have no knowledge of what isn't in the set-- only of what is. This is what is meant by "you cannot prove a negative."
quote:
If it is not detectable no matter what, then it is the same as if it doesn't exist.
This is a textbook case of the fallacy of 'proving a negative.'
Appeal to Ignorance (Proving a Negative): an argument that asserts a claim is true because no one can prove it is wrong; this shifts the burden of proof to the audience or opponent rather than the claimant.
No webpage found at provided URL: http://chuma.cas.usf.edu/~pinsky/logicguide.htm
In other words, lack of evidence for is not evidence agaist.
Want more?
Argumentum ad Ignorantiam [appeal to ignorance]
To recognize the fallacy of appeal to ignorance, look for a conclusion based upon an absence of proof or evidence. Be aware of the two types of cases in which lack of evidence for S is relevant to the truth or falsity of S. But also, be aware that the onus of proof is on the claimant and that no one can prove a negative.
Page Not Found | Embry-Riddle Aeronautical University - Faculty
quote:
If it doesn't exist, wasn't that what we were trying to demonstrate?
You haven't demonstrated that it doesn't exist, only that you have no evidence for its existence. Review the fallacies cited above.
quote:
But doesn't that mean we've just succeeded in showing that it doesn't exist?
No. It proves that we have no evidence for the thing's existence. Two thousand years ago, no one on Earth had evidence for sub-atomic particles. Does this mean that sub-atomic particles did not exist? Thus, the reason it is a fallacy to conclude that something does not exist because you have no evidence for its existence.
quote:
Isn't it a truism that A v ~A?
Yeah, sort-of. Via the rule of inference called addition ( in the symbolic system set out by Irwin Copi ) if you have a proposition A, you can add anything to the right of it seperated by 'or' -- k, l, x, whatever. Then, if you can infer the negation of one side, you can infer the other. For example:
p v q
~p
Therefore, q
Now, look what happens when you use A v ~A.
A v ~A
A
Therefore.... nothing. This isn't a valid operation.
A v ~A
~A
Therefore, ~A. This one is pointless. We already had ~A. It is tautalogical.
What you are looking for is an inference from lack of evidence, and such cannot be done.
Also, if that is an exclusive 'or' which I assume you meant it to be, then yes, we assume it to be true. But this isn't logic, this is the foundation of logic. This is the stone upon which logic is built. It cannot be proven. Sub-atomic particles appear to violate this rule quite frequently, in fact.
Logic is an artificial system. It deals with propositions irregardless of their actual existence.
quote:
Why the restriction?
Because I can't get you to understand that proving what IS does not prove what ISn't. Proving what is, only proves what is; or proves something about what is. That you have a circle, may imply within our system of mathematics that this circle is not a square. It does not prove that squares do not exist or even that circles and squares cannot exist, in reality, in the same object; but proves only that our mathematics forbid it. A property of the circle-- a positive thing-- is that it doesn't have the properties of a square. You haven't proven the non-existence of squares.
quote:
Of course. You're trying to challenge me to do something mathematically without letting me use mathematics to do it.
Something like that. I am trying to get you to prove a negative without reliance on an axiomatic system. Prove an apple. Point to it. Pick it up. Now prove that apples do not exist. You can't point to not-apple. You can't pick up not-apple. In fact, there is no information about not-apple. There is only information about apple. Why can't you rely on an axiomatic system? Because no such system can be proven. All are built on assumptions and it is possible to build self-consistent systems that are mutually contradictory-- plane geometry vs. various curved-surface geometries. Proving something within plane geometry only proves it within plane geometry, not within curved surface geometries.
quote:
More formally, an existential statement is one that uses the existential operator: "There exists." This is in contrast to the universal operator: "For all."
Different use of the term... I defined my meaning long ago. You should have figured that out by now, but in case you haven't:
The person making a negative claim cannot logically prove nonexistence. And here's why: to know that a X does not exist would require a perfect knowledge of all things (omniscience). To attain this knowledge would require simultaneous access to all parts of the world and beyond (omnipresence). Therefore, to be certain of the claim that X does not exist one would have to possess abilities that are non-existent. Obviously, mankind's limited nature precludes these special abilities. The claim that X does not exist is therefore unjustifiable. As logician Mortimer Adler has pointed out, the attempt to prove a universal negative is a self- defeating proposition. These claims are "worldwide existential negatives." They are only a small class of all possible negatives. They cannot be established by direct observation because no single human observer can cover the whole earth at one time in order to declare by personal authority that any X doesn't exist.
Link
{Replaced long display of URL, with "Link", to restore page width to normal, also fixed another quote box below - Adminnemooseus}
quote:
There does not exist x X such that x Y.
But the relevant formulation would be that there is no case where X exists. Period. Can you prove that no right triangles have angles adding to more than 180 degrees? Yep. Can you prove that no right triangles have angles adding to 180 degrees? Yup. You can prove that too. You just have to switch geometries. But these are not proofs or disproofs of real world objects. These are abstractions.
quote:
quote:It doesn't even matter if X and Y are mutually exclusive, because we have have logic wrong.
Not at all.

You should consider what happens at a singularity, or inside the event horizon of a black hole, or at sub-atomic scales. Illogical things, as logic is defined, happen all the time. Nature glibly ignores your convictions.
quote:
quote:We may have math wrong.
Definitely not.

LOL.... then it is OK to divide by zero. That is what happens at a singularity when some values go to zero and others go to infinity.
Seriously, you are convinced of this why? We've invented math over the past few thousand years. There is no guarantee that what we have invented is an accurate representation of the world.
quote:
There is no largest prime number.
Which is shorthand for "For every number that is prime, there is a larger number that is also prime." Simply rephrasing it doesn't change the meaning.
quote:
Oy...they equivocated. They shifted from the object to the name of the object. That is, they shifted from "Santa Claus does not exist" to "The name 'Santa Claus' does not exist" and then acted as if the two statements were equivalent.
I think you misread the article, but it doesn't matter. The point was only to show you what a negative existential statement looks like.
quote:
I think I get to be the arbiter of what negative I was trying to prove. If you are concerned about a different negative statement, then don't hold that against me. I wasn't dealing with that one.
Ummm... you jumped in, rather arrogantly, to explain to crash that he was wrong to claim that you cannot prove a negative. So, no, you don't get to be arbiter. If you are arguing a different negative, then you are not arguing the POINT. Remember the first thing I said to you? "That isn't what he is talking about."
quote:
You're trying to explain that because I was disproving X and not Y, even though I said I was only disproving X and not Y, that it is somehow my fault that I didn't disprove Y?
... that you are stubbornly arguing the wrong point-- wrong in reference to the meaning of the phrase that started this exchange.
quote:
No! The relevant formulation is that "god is not a Buick."
You are confused. This is equivalent to "X is not Y." Have you ever heard anyone say "Prove that God is not a piano, a redhead, a martian?" Nope. People say "Prove that God does not exist." This should illustrate to you the inherent differences of the claims you are making and what is intended by the phrase "you cannot prove a negative." It is about existence and non-existence, not about qualities.
quote:
If Y is the only thing that can be, then if X is not Y, then X is not.
This is kinda silly.
If Y is all that can be --> Everything that exists is Y.
Then if X is not Y --> X is something that doesn't exist.
Then X is not --> Then X is something that doesn't exist.
The conclusion is assumed in the second premise.
What you want to do is prove Y, or define Y. That means observing and recording everything that is, was and will be across all of space and any other spaces there might be. Once you have done that, you still cannot infer that X doesn't exist, or that other things do not exist. All you have is a lack of evidence. Inferring based on lack of evidence is a fallacy.
quote:
You're not talking about the existential operator...you're talking about the universal.
No, I believe I am talking about something quite different from either.
quote:
Sure it can. There does not exist a largest prime number, remember?
Just for the record, do any numbers exist? Does 3 exist, or is it a abstraction? Part of a system we've made up to keep track of things? Saying a number exists is not like saying a rock exists.
Even your proof of 'no largest prime' works by proving what DOES exist within the rules of the system. Remember?
quote:
No, you need a solid definition to prove they don't.
Only if you include within that definition "within human knowledge" ( or some equivalent ) will this work. In other words, you are no longer making a claim of existence or non-existence, but a claim of this-case or that-case doesn't exist. The relevant claim is that NO CASE EXISTS.
quote:
There is no prime number.
There is always a larger prime.
quote:
Thus, by definition, there can be no planar object that has the properties of both a square and a circle.
That's right, BY DEFINITION. This may be the case on a plane as we define it, but does such actually exist anywhere? That is the element you seem to be missing.
quote:
You simply need to have a solid definition of the purple people eaters
Now perhaps you are getting closer to what I am trying to say. How does one, in the real world, get a solid definition of something that does not exist? There is no evidence of PPE's, thus there is nothing upon which to base a definition. There is no definition, there can be no test.
quote:
But that is the case only if we have no definitive method of verification.
With things that do not exist you can't really know what must happen if they did exist. You have no evidence, no way to investigate the thing that doesn't exist. How can you know what must happen? You can guess, sure. Fine. A lot of science works this way. If your test works out you have positive evidence for a thing's existence, hitherto unknown. If your test fails, you have lack of evidence for, not evidence against a thing's existence. For example, lets test for ghosts. If ghosts exist we ought to be able to film them? Well... why? We don't know anything about ghosts. We have no evidence. Perhaps we've proven that ghosts aren't caught on film, rather than that there are no ghosts. If ghosts do not exists we will never have evidence concerning them, if ghosts do exist we might never have evidence. That depends upon the nature of ghosts, but it is only if they do exist that we will ever have direct evidence with which to work.
quote:
Logical error: Ad hoc.
When making absolute claims one must include every case imaginable. This is not fallacious. And certainly isn't this fallacy.
quote:
Logical error: Incredulity.
Do you assert that we have infalible knowledge? Unless you do, you agree with my statement. We could be very very wrong.
ummm... you might brush up on your informal logic, because you've mis-applied this one as well.
quote:
And you just proved a negative. Newton's mechanics are not true.
Newton's mechanics are a description, not a thing. Strike this one up as "still just not getting it."
quote:
Incorrect. As crashfrog said, an inductive conclusion might be wrong. A deductive conclusion cannot be.
You apparently missed Gdel. Ever hear of the Russell paradox? Math and logic are riddled with contradiction and based upon assumption. Why exactly can these not be wrong?
Page Not Found
quote:
You seem to be confusing my claim that you can prove a negative with some sort of idea that one can prove everything.
No. I am not claiming that one ought to be able to prove anything. However, it is this sort of negative that is relevant to the statement crash made.
quote:
No, not "without absolute knowledge." Without a sufficient definition.
A sufficient definition would require absolute knowledge, even to determine whether or not it is sufficient. We 'solve' this by introducing assumptions-- things like 'within the confines of plane geometry' or 'visible things inside this room.' We limit our scope. But it is assumption.
quote:
You started with the definition that "Santa Claus" was an object that lived at the North Pole and delivered presents.
What you prove in this paragraph is that either the definition is wrong -- ie. it does refer to a real thing but that are mistaken about what that thing is-- or that Santa doesn't exist. In the absence of Santa's existence, there is no way to sort out the definition. The only way to sort out the definition is to have a Santa to investigate, which of course, would mean you were investigating and proving a positive.
------------------
No webpage found at provided URL: www.hells-handmaiden.com
[This message has been edited by Adminnemooseus, 05-10-2003]

This message is a reply to:
 Message 31 by Rrhain, posted 05-10-2003 12:02 AM Rrhain has replied

Replies to this message:
 Message 44 by Rrhain, posted 05-11-2003 1:13 PM John has replied

Rrhain
Member
Posts: 6351
From: San Diego, CA, USA
Joined: 05-03-2003


Message 42 of 210 (39681)
05-11-2003 8:31 AM
Reply to: Message 37 by crashfrog
05-10-2003 3:26 AM


crashfrog responds to me:
quote:
One-word dismissals like this make you sound needlessly arrogant. Are they really appropriate in a friendly discussion?
My friends and I really talk like that. My apologies.
That said, I didn't give a one-word dismissal. I continued on.
quote:
What if I'm an invisible, faster-than-light ninja able to replace them with identical copies faster than you can observe? What if what you're seeing doesn't really exist, you're just in the Matrix?
What if I propose any number of infinite ad-hoc scenarios able to explain how I was able to take your keys without you seeing it?
Ad hoc scenarios are illogical. Ergo, they are dismissed as unjustified.
If what I'm seeing doesn't really exist and I'm just "plagued by demons" as Descartes put it, then I'd never know the difference and therefore, it can be treated as if it really did exist. A difference that makes no difference is no difference.
quote:
Even if you try to deduct from those axioms that you have inferred, your deductive conclusion is limited in accuracy by your initial inferences.
I've never said otherwise. Euclidean geometry, for example, rests upon the axioms and postulates. Change those, and the rest of the geometry changes.
Take the Fifth Postulate. It states that if two lines are crossed by a traversal such that the interior angles on one side are less than two right angles, then the lines, when extended indefinitely, will meet on that side.
Lots of people thought it could be derived from the other postulates and axioms. But, it turns out, it can't. So all you have to do to change the geometry is rewrite the Fifth Postulate. You do that, and you get different kinds of geometry. Euclidean geometry is what you get on a flat, planar surface. Thus, triangles always have exactly 180 degrees. But move to the surface of a sphere, and things are different...triangles have more than 180 degrees.
Deduction is always premised upon the axioms. But if we assume the axioms are true (thus, the term "axiom"), then it necessarily follows that all logical deductions from them are true.
Including negatives.
------------------
Rrhain
WWJD? JWRTFM!

This message is a reply to:
 Message 37 by crashfrog, posted 05-10-2003 3:26 AM crashfrog has replied

Replies to this message:
 Message 45 by crashfrog, posted 05-11-2003 3:29 PM Rrhain has not replied

Rrhain
Member
Posts: 6351
From: San Diego, CA, USA
Joined: 05-03-2003


Message 43 of 210 (39684)
05-11-2003 8:40 AM
Reply to: Message 40 by DBlevins
05-10-2003 3:15 PM


Re: Question...
DBlevins:
quote:
Would it be possible for the bacteria to mutate in such a way that it becomes vulnerable to the phage again through a different mutation or set of mutations so that it is once again vulnerable to a non-mutated phage?
How did it manage to get to the entire lawn? As soon as those bacteria died, the K/4 would move in. We'd never see plaques.
I'm not saying that it is impossible for the bacteria to experience a mutation that would make them susceptible. I'm saying that the reason we see plaques is because the phage has mutated. Bacterial mutations in this scenario don't cause plaques because the K/4 fill in any susceptible bacteria.
------------------
Rrhain
WWJD? JWRTFM!

This message is a reply to:
 Message 40 by DBlevins, posted 05-10-2003 3:15 PM DBlevins has not replied

Rrhain
Member
Posts: 6351
From: San Diego, CA, USA
Joined: 05-03-2003


Message 44 of 210 (39704)
05-11-2003 1:13 PM
Reply to: Message 41 by John
05-10-2003 10:28 PM


John responds to me:
quote:
quote:
If you claim that X is a circle and I show that it is a square, then I have proven a negative: X is not a circle.
Actually, what you have prove is that it IS a square. You said this yourself-- "I show that it is a square."
And? How does this negate the fact that by being a square, it is necessarily not a circle? Are you saying that it is possible to be both a square and a circle?
quote:
And then the slight of hand... "X is not a circle." This is a qualitatively different statement.
Yes and no. Indeed, showing that something is not a circle does not mean it is a square. However, showing that something is a square does mean it is not a circle.
You have to keep your implications going in the correct direction.
quote:
To illustrate, the phrase "X is a square" tells you precisely what X looks like when drawn on a flat sheet of paper.
And thus, it is not a circle.
Or are you saying that it is possible for a planar object to be both a square and a circle?
quote:
The phrase "X is not a circle" eliminates one of an infinite set of possibilities.
You've reversed the implications.
A -> B does not imply B -> A.
X being a square implies X is not a circle. X is not a circle does not imply X is a square.
quote:
In other words, you prove a positive-- you prove something about the object in question, then make the assertion that within some some axiomatic system inconsistent properties cannot also be true.
And how is that not proving a negative? When you draw a boundary, you are also defining the outside as well as the inside. It's a common technique in drawing when you're having trouble with an object: Don't draw the object but instead draw the space around it. By defining everything that is not the object, you'll be left with the object.
In mathematics, a similar thing happens. It is often difficult to describe the elements of a set but much easier to describe the elements that are not in the set. By accounting for all of the non-elements, you are left with the elements and having proven what you were trying to prove in the first place.
quote:
You cannot prove the negative other than by proving something about the object.
So? How is that not proving a negative? Once again, you're saying that I must prove something mathematically without being allowed to use mathematics to do so.
quote:
quote:
Are you saying you don't have absolute knowledge about some things like what your car keys look like?
At the subatomic level, we have very little idea of what they "look like."
Who said anything about the subatomic level?
You don't know what your keys look like?
quote:
quote:
I know. But it is still an existential room. There exists no element X in the set. That is an existential statement.
It is a conditional. It is conditional upon the items in the set.
Incorrect. If the statement uses the existential operator, then it is an existential statement. That is by definition.
quote:
I provided a link to the following earlier. I assumed you read it. Guess I was wrong.
Incorrect. Didn't you read my response?
Oy...they equivocated. They shifted from the object to the name of the object. That is, they shifted from "Santa Claus does not exist" to "The name 'Santa Claus' does not exist" and then acted as if the two statements were equivalent.
In short, the article made a fundamental error. It confused an object for its name. An object and the name of the object are separate objects. To say that the statement "Santa Claus does not exist" cannot be true because the physical words "Santa Claus" exist is to completely misunderstand the point behind the statement, "Santa Claus does not exist."
quote:
Has everything to do with it. All of your efforts go into proving what is present. None go into proving what is not.
I have.
There is no largest prime number. It does not exist.
quote:
Why is that? 1) There are a finite number of 'is presents' while there are an infinite number of 'is not presents.'
So? One can show that an infinite number of things are of a certain set by showing that they are not members of the complement. Take, for example, the definition of an infinite set: "A set that is not finite is infinite." From one of my Analysis texts (Principles of Mathematical Analysis, Walter Rudin, McGraw-Hill, 1976):
2.4 Definition For any positive integer n, let Jn be the set whose elements are the integers 1, 2, ..., n; let J be the set consisting of all positive integers. For any set A, we say:
(a) A is finite if A ~ Jn for some n (the empty set is also considered to be finite).
(b) A is infinite if A is not finite.
(c) A is countable if A ~ J.
(d) A is uncountable if A is neither finite nor countable.
(e) A is at most countable if A is finite or countable.
You will notice that both "infinite" and "uncountable" are defined in terms of not being something else. It is much easier to describe a finite set than it is to define an infinite set. Ergo, infinite sets are defined as that which is not finite.
One aspect of sets is that the complement of an open set is closed. From the same source:
2.23 Theorem A set E is open if and only if its complement is closed.
Proof First, suppose Ec is closed. Choose x element of E. Then x not element of Ec, and x is not a limit point of Ec. Hence there exists a neighborhood N of x such that Ec intersection N is empty, that is, N subset E. Thus x is an interior point of E, and E is open.
Next, suppose E is open. Let x be a limit point of Ec. Then every neighborhood of x contains a point of Ec, so that x is not an interior point of E. Since E is open, this means that x element Ec. It follows that Ec is closed.
Corollary A set F is closed if and only if its complement is open.
From this, we can then talk about the "closure" of a set in a metric space. One aspect of a closure of a set is that it is closed. The way we prove that is by taking a point p that is in the metric space but not an element of the closure, E-bar. This means that p is neither a point in E nor a limit point of E. This means that p has a neighborhood which does not intersect E. This means that the complement of E-bar is open (since neighborhoods are open) and therefore, E-bar is closed.
In other words, you often prove things by showing that only certain possibilities necessarily exist and that the specific scenario which we have necessitates that all possibilities but one are impossible. Therefore, you are left necessarily concluding that the specific scenario is the one that is left behind.
As Holmes put it, when you have eliminated the impossible, whatever remains, however improbable, must be the truth.
quote:
2) Proving directly what is not present would require having information about what is not present, and such information does not exist.
Why not? I can tell you everything about what a "square-circle" is: It has all the properties of a square and a circle.
But such an object still doesn't exist.
quote:
Information only exists for what actually is present.
Incorrect. Information only exists for what actually is defined. If you leave something undefined, then you lose information.
quote:
Within a limited set-- say, a collection of marbles-- where you have knowledge of what lies outside the set you can determine if something is not in the set of marbles. But in an absolute sense, as in the case of the universe, we have no knowledge of what isn't in the set-- only of what is. This is what is meant by "you cannot prove a negative."
No, what is meant by "you cannot prove a negative" is acceding to the logical error of ad hoc argumentation. It surrenders to the vague definition rather than meeting it head on to directly state that the definition is vague and therefore not only can we have a problem proving negatives about it, but we will also have problems proving positives about it.
quote:
quote:
If it is not detectable no matter what, then it is the same as if it doesn't exist.
This is a textbook case of the fallacy of 'proving a negative.'
You mean Descartes was wrong? A difference that makes no difference really is a difference?
quote:
Appeal to Ignorance (Proving a Negative): an argument that asserts a claim is true because no one can prove it is wrong; this shifts the burden of proof to the audience or opponent rather than the claimant.
http://chuma.cas.usf.edu/~pinsky/logicguide.htm
Not quite. It isn't proving a negative. It is, however, a misuse of the "not" operator. Argumentum ad ignorantiam goes both ways and is just as invalid when applied to a positive:
You cannot prove that X > Y, therefore X <= Y.
The problem is the inability to prove something does not give us information about it. Argumentum ad ignorantiam is a special instance of the error of False Dilemma.
However, if the dilemma is not false, then there is no error of False Dilemma. And with no error of false dilemma, there is no argumentum ad ignorantiam.
quote:
Argumentum ad Ignorantiam [appeal to ignorance]
To recognize the fallacy of appeal to ignorance, look for a conclusion based upon an absence of proof or evidence. Be aware of the two types of cases in which lack of evidence for S is relevant to the truth or falsity of S. But also, be aware that the onus of proof is on the claimant and that no one can prove a negative.
Page Not Found | Embry-Riddle Aeronautical University - Faculty
The final statement simply isn't true and is directly contradicted by the statement immediately preceding: There are cases where lack of evidence for S is relevant to the truth or falsity of S.
There is no largest prime.
Or are you saying that my proof of it is unjustified? Or that I wasn't proving the non-existence of something?
quote:
quote:
If it doesn't exist, wasn't that what we were trying to demonstrate?
You haven't demonstrated that it doesn't exist, only that you have no evidence for its existence. Review the fallacies cited above.
You mean I didn't prove the non-existence of a largest prime?
I have reviewed the fallacies you've quoted. There is an error. You can prove a negative.
Again, if X is a square, then it is not a circle is a logical statement. It's reversal is not, however.
quote:
quote:
But doesn't that mean we've just succeeded in showing that it doesn't exist?
No.
You mean there is a largest prime? Or that I cannot prove that there isn't a largest prime? Strange...I thought I could prove there isn't a largest prime.
quote:
It proves that we have no evidence for the thing's existence.
But if the thing's existence requires that we have evidence and we don't, then we necessarily conclude that it doesn't exist.
Again, it is nothing more than a special case of the False Dilemma. If the dilemma is not false, then absence of evidence is evidence of absence.
quote:
Two thousand years ago, no one on Earth had evidence for sub-atomic particles. Does this mean that sub-atomic particles did not exist? Thus, the reason it is a fallacy to conclude that something does not exist because you have no evidence for its existence.
Agreed.
But the problem is not proving a negative. It's that the definitions are too vague. They allow possibilities that have yet to be elucidated.
But if you can elucidate all possibilites, then it is sufficient to prove that something is of one of them by showing that it is none of the others.
F'rinstance, all integers are either odd or even. If I can show that it is not odd, then I have necessarily shown that it is even. There is nothing else for it to be. The dilemma here is not false...there really are only two possibilities.
quote:
quote:
Isn't it a truism that A v ~A?
Yeah, sort-of. Via the rule of inference called addition ( in the symbolic system set out by Irwin Copi ) if you have a proposition A, you can add anything to the right of it seperated by 'or' -- k, l, x, whatever. Then, if you can infer the negation of one side, you can infer the other.
That's what I've been saying. If you have all possibilities staked out (which requires well-defined objects behaving in well-defined ways), then by showing that something is not of all but one, then you necessarily have shown that it is that last one.
It may be difficult to show that something is of a particular set. It may be easier to show that it is not of its complement. Therefore, if we do show that it is not of the complement, we have shown that it is of the set.
quote:
p v q
~p
Therefore, q
Now, look what happens when you use A v ~A.
A v ~A
A
Therefore.... nothing. This isn't a valid operation.
No...you have A, therefore A. Similarly, A, therefore ~(~A).
And notice in your first statement, you said "~p."
How can you possibly say "~p" without proving a negative? You just negated p!
quote:
A v ~A
~A
Therefore, ~A. This one is pointless. We already had ~A. It is tautalogical.
It is tautological, but it is not pointless. It is not trivial.
quote:
What you are looking for is an inference from lack of evidence, and such cannot be done.
Unless evidence is necessarily required. If evidence must necessarily exist and it doesn't, then we necessarily conclude absence.
The problem is not the ability to prove a negative in general. It is the ability to do it in specific. That is, the error of argumentum ad ignorantiam is not "If evidence must necessarily exist and it doesn't," it is "If evidence must necessarily exist and it doesn't that we know of." The question immediately then becomes, "How do you know you've taken everything into account"? For many processes, we can't because the objects which we are examining aren't sufficiently defined.
But if they are, we can show precisely why the evidence that must necessarily exist doesn't.
quote:
quote:
Why the restriction?
Because I can't get you to understand that proving what IS does not prove what ISn't.
That is because that's precisely what happens. By proving what something is, you necessarily prove what it isn't.
Something that is a square is necessarily not a circle.
What you are complaining about, and it is a legitimate complaint, is that proving what something is not does not necessarily prove what it is. That only happens when you can account for all possibilities for what it might not be. That can often be quite difficult if not impossible.
quote:
Proving what is, only proves what is; or proves something about what is.
You mean if I show that something is a square, there is a possibility that it might be a circle, too?
quote:
That you have a circle, may imply within our system of mathematics that this circle is not a square. It does not prove that squares do not exist or even that circles and squares cannot exist, in reality, in the same object;
Actually, it does. Are you seriously saying that there can be a planar object that has the properties of both a circle and a square?
Some properties of a circle:
The longest chord of a circle is its diameter.
All diameters pass through the center.
If a chord passes through the center, it is a diameter.
Two non-identical diameters intersect at the center.
All diameters are the same length.
Let's see what happens when we look at a square, now:
The longest chord of a square are its diagonals.
The diagonals of a square cross at a certain point, which we'll call the center as defined above.
It is possible to draw a chord through the center that is not the diagonal.
Therefore, since we know that all chords through the center of a circle are of the same length, this must mean that the line through the center of the square must be the same length as the diagonal.
However, it isn't.
Therefore, there can be no planar object that has the properties of both a circle and a square. By having one, it necessarily cannot have the other.
quote:
but proves only that our mathematics forbid it.
How is that insufficient?
quote:
A property of the circle-- a positive thing-- is that it doesn't have the properties of a square. You haven't proven the non-existence of squares.
I wasn't trying to.
Instead, I was trying to prove the non-existence of "circle-squares."
Have you checked the definition of "strawman" in those logic sites of yours? That's where you take an argument that isn't the one your interlocutor is trying to make, and show that it isn't valid.
quote:
quote:
Of course. You're trying to challenge me to do something mathematically without letting me use mathematics to do it.
Something like that.
Then you can understand why I refuse to concede to such a request.
By your logic, if you were to say, "It is physically impossible for a heavier-than-air object to fly," and I were to show you an airplane and explain the concept of Bernoulli's Principle, for you to come back and say, "Yeah, but try and do that without using any physics," you would understand why I'd blink at you. How can I show something physically without using physics?
So how can I show you something mathematically without using any mathematics?
quote:
I am trying to get you to prove a negative without reliance on an axiomatic system.
Why?
I am arguing the validity of deduction and how one can logically deduce negative propositions.
You're arguing whether or not the axioms from which we make our deductions can be accepted.
I wholeheartedly agree that if there is something wrong with the axioms, then the deductions we make from them cannot be trusted.
But I am not arguing that the axioms are faulty. I am arguing that deductive statements are logically valid, even when those deductions are negative.
quote:
Prove an apple. Point to it. Pick it up. Now prove that apples do not exist. You can't point to not-apple.
Sure I can. If apples are inconsistent, then apples don't exist.
I agree that for this specific example, it's going to be very hard to do so. But, that depends upon the definition of "apple." If the definition allows it to be anywhere in the universe, then I'm going to have an extremely tough time, conceivably impossible. But if the definition requires it to be sitting right here on my desk, then the task will be much easier.
quote:
In fact, there is no information about not-apple.
Incorrect. A banana, for example, is something that is not an apple. It is not the only thing that is not an apple, but that's something.
Again, you've got your directions reversed. If it's a square, then that necessarily means it is not a circle. That is what I'm arguing.
quote:
Why can't you rely on an axiomatic system? Because no such system can be proven.
Of course not. That's why they're called "axioms." Those are the statements that are true without being proven and form the basis by which all are statements are derived.
quote:
quote:
More formally, an existential statement is one that uses the existential operator: "There exists." This is in contrast to the universal operator: "For all."
Different use of the term
But it's my argument. Therefore we use my definitions.
You're arguing a strawman.
quote:
But the relevant formulation would be that there is no case where X exists. Period.
Strawman. That is not the argument I am making.
quote:
Can you prove that no right triangles have angles adding to more than 180 degrees? Yep. Can you prove that no right triangles have angles adding to 180 degrees? Yup. You can prove that too. You just have to switch geometries.
Since when were we switching geometries?
You've just argued yet another strawman. That things are true for non-Euclidean geometry does not mean they are true for Euclidean. For you to switch to non-Euclidean geometry in the middle of a sentence is a logical error.
quote:
You should consider what happens at a singularity, or inside the event horizon of a black hole, or at sub-atomic scales. Illogical things, as logic is defined, happen all the time. Nature glibly ignores your convictions.
Incorrect. Even at singularities, logical things happen.
Do not confuse our personal knowledge of something with its ability to exist or not exist.
You just committed argumentum ad ignorantiam.
Question: Do you know about the mathematical concept of "Platonism"?
Here's an example of a question which would define a Platonist from a non-Platonist:
Does the Continuum Hypothesis have an answer?
The Continuum Hypothesis has to do with the size of the Real Numbers. We know they're bigger than aleph-null, but we don't know if they're aleph-one. We do know that assuming they're aleph-one does not lead to a contradiction. But, we also know that assuming they're not aleph-one does not lead to a contradiction.
A Platonist would then say that there is an answer to the question, we just don't know what it is. The size of the Reals does exist, we just have no tools to let us know what it is.
Thus, inside the event horizon of a black hole, at atomic scales, etc., things happen according to their internal logic...we just don't know what it is.
quote:
We've invented math over the past few thousand years.
No, we discovered math. Mathematics would still exist, even if there were no people around to think about it.
quote:
There is no guarantee that what we have invented is an accurate representation of the world.
I didn't say we did.
However, you were saying that there is something wrong with a deductive system. But that simply isn't true. Deductive systems are necessarily logical.
If you want to argue the validity of the axioms by which the deductive statements are made, that's another question entirely.
quote:
quote:
There is no largest prime number.
Which is shorthand for "For every number that is prime, there is a larger number that is also prime." Simply rephrasing it doesn't change the meaning.
But you prove that by demonstrating a negative: Any prime that you think is the largest one really isn't.
quote:
quote:
Oy...they equivocated. They shifted from the object to the name of the object. That is, they shifted from "Santa Claus does not exist" to "The name 'Santa Claus' does not exist" and then acted as if the two statements were equivalent.
I think you misread the article,
Strange...just above you were saying I hadn't read the article at all.
quote:
quote:
I think I get to be the arbiter of what negative I was trying to prove. If you are concerned about a different negative statement, then don't hold that against me. I wasn't dealing with that one.
Ummm... you jumped in, rather arrogantly, to explain to crash that he was wrong to claim that you cannot prove a negative. So, no, you don't get to be arbiter.
Yes, I do. Crashfrog was stating a universal. The way to disprove a universal (there's that "proving a negative" thing again) is to prove an existential. That is, if you say, "for all," then I can disprove that by showing, "there exists for which it isn't true."
Therefore, if crashfrog has a specific negative in mind, then it is quite possible that I won't be able to prove it.
Instead, however, he claimed that all negatives were impossible to prove.
Therefore, I simply need to show one negative that can be proven in order to show that his universal statement is false.
And in the process, I end up proving two negatives: Not only do I end up proving my negative, but I also prove the negative that "You can't prove a negative" is false.
If you are arguing a different negative, then you are not arguing the POINT. Remember the first thing I said to you? "That isn't what he is talking about."
quote:
... that you are stubbornly arguing the wrong point-- wrong in reference to the meaning of the phrase that started this exchange.
Strawman.
Was the phrase that started this exchange, "You can't prove a negative"?
Therefore, wouldn't it be sufficient to demonstrate a negative you can prove in order to show that statement false?
Is it not true that there is no largest prime?
Ergo, I just proved a negative.
Ergo, "You can't prove a negative" is false.
quote:
You are confused.
Strange...I've been saying the same thing to you.
quote:
This is equivalent to "X is not Y."
Isn't that sufficient to show that you can prove a negative?
What I have been saying all along is that proving a negative requires well-defined objects behaving in well-defined manners.
quote:
Have you ever heard anyone say "Prove that God is not a piano, a redhead, a martian?" Nope.
That just proves my point. The reason why you don't hear that is because there is no well-defined description of "god."
You seem to be arguing that because I cannot disprove the existence of any possible description of god you might be able to come up with, that means I am incapable of disproving the existence of any specific description of god.
I, however, am arguing the other direction: Given a specific description of god, it may be possible to show that god as defined by that description does not exist.
If you then change your definition of "god," then my proof of non-existence may no longer work, but we wouldn't expect to work since, after all, you changed your definition.
You seem to want me to prove a universal without a definition. I am insisting that you give me a definition before I try to do anything. I may or may not be able to do so, but until you give me that definition, I can't do anything.
People say "Prove that God does not exist." This should illustrate to you the inherent differences of the claims you are making and what is intended by the phrase "you cannot prove a negative." It is about existence and non-existence, not about qualities.
quote:
What you want to do is prove Y, or define Y. That means observing and recording everything that is, was and will be across all of space and any other spaces there might be.
No, it means making a definition. I don't hve to "observe and record everything that is, was, and will be across all of space and any other spaces there might be" in order to define a square.
Or are you saying that there is no definition of a square?
quote:
Once you have done that, you still cannot infer that X doesn't exist,
Sure I can. I have my definition. If my definition leads to a contradiction, then I necessarily conclude that it does not exist.
quote:
or that other things do not exist.
Whose talking about other things? I thought we were talking about the one thing that we were specifically trying to disprove. You're absolutely right that my ability to disprove the existence of square-circles says nothing about my ability to prove or disprove the existence of triangles.
But then again, we weren't talking about triangles.
Why are you setting up a strawman?
quote:
Inferring based on lack of evidence is a fallacy.
Only if you are engaging in False Dilemma.
If you aren't, then lack of evidence isn't a fallacy.
quote:
quote:
You're not talking about the existential operator...you're talking about the universal.
No, I believe I am talking about something quite different from either.
Now I admit I am confused.
Before you said you were talking about existentials. Now you say you're not.
So which is it? Are you talking about existentials or not? Are you talking about the existential operator or not? The negation of the universal is the existential and vice versa.
quote:
quote:
Sure it can. There does not exist a largest prime number, remember?
Just for the record, do any numbers exist?
Yes.
quote:
Saying a number exists is not like saying a rock exists.
Perhaps...perhaps not. It is, however, like saying love exists.
Does love exist?
quote:
Even your proof of 'no largest prime' works by proving what DOES exist within the rules of the system. Remember?
So? How is that not proving a negative? If something is either X or Y and it is X, then it is necessarily not Y.
You're arguing a strawman again.
quote:
The relevant claim is that NO CASE EXISTS.
Strawman.
Stop arguing your point and start arguing mine.
quote:
quote:
There is no largest prime number.
There is always a larger prime.
And that means there is no largest prime number because of what, precisely?
quote:
quote:
Thus, by definition, there can be no planar object that has the properties of both a square and a circle.
That's right, BY DEFINITION.
And that means we haven't proven a negative because of what, precisely?
Definitions exist, too.
You seem to be arguing that because axioms may be questionable, the ability to make valid deductive arguments based upon those axioms is impossible.
That simply is true. Indeed, if the axioms are questionable, then the results of the deductive process may not be accurate, but the process, itself, is still valid. The problem is not the deductive process, it is the axioms that aren't.
quote:
This may be the case on a plane as we define it,
Who cares about the plane as we don't define it? We're not talking about that. If you want to talk about that, then we'll shift gears and deal with that other definition. But until you come up with that other definition, we can't say anything at all, positive or negative.
quote:
but does such actually exist anywhere?
Who cares? We're not dealing with those other possibilities. We're only concerned with the definition before us.
It does not matter that triangles have more than 180 degrees on a sphere when we're dealing with a plane. Because on a plane, triangles have exactly 180 degrees, they always will, and there is no way they can have anything other than 180 degrees.
The question of whether or not we are in a plane is a completely different question from how triangles behave in a plane. Too, the existence of triangles that are consistent with a planar triangle does not mean we are in a plane (unless we also know that "planar triangles" can only happen in a plane...which isn't true, they can happen in non-planes.)
quote:
quote:
You simply need to have a solid definition of the purple people eaters
How does one, in the real world, get a solid definition of something that does not exist?
Carefully.
A "square-circle" is a planar object that has the properties of both a square and a circle.
The "largest prime" is the prime number for which there is no larger.
Neither one exists, but both have solid definitions.
quote:
quote:
But that is the case only if we have no definitive method of verification.
With things that do not exist you can't really know what must happen if they did exist.
Incorrect.
The largest prime number doesn't exist, but we know exactly what must happen if it did. That's how we go about proving that it doesn't: Assume it does.
The existence of a "largest prime number" means that there are a finite number of prime numbers. That means we can list them (the Sieve of Eratosthenes is sufficient to get them all.) That means we can construct a number that is the product of all the primes...plus 1. That means that either this new number is prime or that there is a prime between the "largest prime" and this new number.
Things that don't exist can easily have definitions. That's the only way we can know they don't exist: Something about their definitions makes them disallowable.
quote:
For example, lets test for ghosts. If ghosts exist we ought to be able to film them?
I don't know. Can we? You'll need to define that. If they can, then yes. But if they can't always be filmed, then no. The term "ghost," in and of itself, is not sufficient.
Therefore, since we have an ill-defined definition, we are going to have a hard time saying anything, positive or negative, about ghosts.
quote:
Well... why? We don't know anything about ghosts. We have no evidence.
That we have no evidence of ghosts doesn't mean we don't have a definition of ghosts.
And even if the definition of ghosts is that they can be captured on film, that we don't have any pictures of them is not sufficient to say that they don't exist. If we are going to be using pictures as a test, then we need to be able to set up a scenario whereby a picture of a ghost must necessarily result.
quote:
quote:
Logical error: Ad hoc.
When making absolute claims one must include every case imaginable. This is not fallacious. And certainly isn't this fallacy.
It is when you are making an ad hoc addition to the defintion. When making absolute claims, one must include every case imaginable within the context of the definition.
If we're going to talk about the angular sum of planar triangles, it doesn't matter what spherical triangles are like because we're not talking about spherical geometry. We can say with absolute certainty that all triangles have 180 degrees in the plane.
quote:
quote:
Logical error: Incredulity.
Do you assert that we have infalible knowledge?
For some things, yes. For other things, no.
We should not hold the instances where we don't have infallible knowledge against those instances where we do.
quote:
ummm... you might brush up on your informal logic, because you've mis-applied this one as well.
Hah!
I'm a mathematican by training. Do we really need to go through credentialing before we hit the argument from authority?
quote:
quote:
And you just proved a negative. Newton's mechanics are not true.
Newton's mechanics are a description, not a thing.
Descriptions are things, too.
quote:
Strike this one up as "still just not getting it."
Indeed, you don't.
Now that we've gotten the catty remarks out of the way, can we return to the issue at hand?
quote:
quote:
Incorrect. As crashfrog said, an inductive conclusion might be wrong. A deductive conclusion cannot be.
You apparently missed Gdel.
Incorrect.
Wrote about him in 10th grade.
quote:
Ever hear of the Russell paradox?
Still have the paper I wrote on it somewhere.
quote:
Math and logic are riddled with contradiction and based upon assumption. Why exactly can these not be wrong?
Incorrect.
What Godel showed is that for an axiomatic system complex enough to model simple arithmetic, there will be statements within the system that can not be proven within the system.
Not all axiomatic systems are complex enough to model simple arithmetic and indeed, for some of them, there are no undecideable propositions.
By the way, "inconsistent" is equivalent to "incomplete." It all depends upon how you look at it.
quote:
quote:
No, not "without absolute knowledge." Without a sufficient definition.
A sufficient definition would require absolute knowledge,
But only so far as required to create the definition. I don't need to know anything about spherical geometry in order to make definitions in planar.
quote:
We 'solve' this by introducing assumptions-- things like 'within the confines of plane geometry' or 'visible things inside this room.' We limit our scope. But it is assumption.
So?
quote:
quote:
You started with the definition that "Santa Claus" was an object that lived at the North Pole and delivered presents.
What you prove in this paragraph is that either the definition is wrong -- ie. it does refer to a real thing but that are mistaken about what that thing is-- or that Santa doesn't exist.
But the thing is its definition. You are perfectly free to say that this other definition is what you really meant by "Santa Claus," that's fine. It's ad hoc and thus does not alter the fact that we showed the non-existence of the original object as described by the original definition.
Your new definition may require a new proof and we will have to examine it to be certain.
quote:
In the absence of Santa's existence, there is no way to sort out the definition.
Why not? Why is it impossible to define Santa? I thought we had one: A "jolly old elf," male, white, beard, overweight, lives at the North Pole at the surface, not invisible, delivers presents to all of the good boys and girls (seemingly only the Christian ones) on Christmas Eve.
Well, we've been to the North Pole. There's nothing there. In fact, the ice moves at the northern polar ice cap so quickly that it is impractical to put a "pole" there like we have at the South Pole. If Santa built a workshop at the North Pole, it would no longer be there within hours. I recall a program when Hugh Downes was at the North Pole talking about what is happening in each section of the world as he walked around the North Pole and he mentioned that by the time the program is over, he'd be nowhere near the pole. Another program showed a baseball game that took place at the North Pole with the pitcher's mound at the pole...and again, the comment that by the time the game was over, they'd be nowhere near the pole.
Ergo, we've shown that Santa Claus doesn't exist. His definition does not correspond to reality.
Now, if you want to come along and change the definition...workshop is at the bottom of the ocean, not the surface, he can make himself invisible, whatever...then you're dealing with something else entirely. The fact that you're calling this new thing "Santa Claus" does not make it the same thing as the old thing.
quote:
The only way to sort out the definition is to have a Santa to investigate, which of course, would mean you were investigating and proving a positive.
Incorrect. I only need the definition. I do not need to have a Santa to investigate.
We don't have any electrons to directly investigate...they've always been detected by inference...and yet we have a definition of them.
------------------
Rrhain
WWJD? JWRTFM!

This message is a reply to:
 Message 41 by John, posted 05-10-2003 10:28 PM John has replied

Replies to this message:
 Message 46 by crashfrog, posted 05-11-2003 3:52 PM Rrhain has replied
 Message 53 by John, posted 05-15-2003 1:15 AM Rrhain has replied

crashfrog
Member (Idle past 1467 days)
Posts: 19762
From: Silver Spring, MD
Joined: 03-20-2003


Message 45 of 210 (39729)
05-11-2003 3:29 PM
Reply to: Message 42 by Rrhain
05-11-2003 8:31 AM


Ad hoc scenarios are illogical. Ergo, they are dismissed as unjustified.
Illogical only in informal logic used in inductive, real-world situations - because we assume that absence of evidence is evidence of absence. In deductive, absolutist logic, there's no such thing as an ad-hoc scenario - merely a potential counterexample.
If you're going to proceed deductively, you can't dismiss my arguments as ad-hoc because in the context of deduction my scenarios are valid counterexamples.
There's some circular reasoning going on here, or maybe just your own error - using terms from inductive logic to defend deductive logic - but honestly this is hard to wrap one's brain around, don't you agree?
Deduction is always premised upon the axioms. But if we assume the axioms are true (thus, the term "axiom"), then it necessarily follows that all logical deductions from them are true.
I agree. But in the real-world there's no situation where the axioms can be assumed true with absolute accuracy. This was the error of greek philosophers - assuming they could deduct truisms about the real world.
In the real world, we have to infer truths, not deduce them. That's why modern science has a better idea of what is going on then ancient greek philosophers.

This message is a reply to:
 Message 42 by Rrhain, posted 05-11-2003 8:31 AM Rrhain has not replied

Newer Topic | Older Topic
Jump to:


Copyright 2001-2023 by EvC Forum, All Rights Reserved

™ Version 4.2
Innovative software from Qwixotic © 2024