What is wrong with this argument? Let S(x,y) b " x is shorter than y". Given the premise S(s,Max), it follows that S(Max,Max). Then by existential generalization it follows that S(x,x), so that someone is shorter than himself.

Printable View

- Jun 23rd 2007, 11:13 AMTheRekzlogic and proof
What is wrong with this argument? Let S(x,y) b " x is shorter than y". Given the premise S(s,Max), it follows that S(Max,Max). Then by existential generalization it follows that S(x,x), so that someone is shorter than himself.

- Jun 23rd 2007, 11:26 AMtopsquark
- Jun 23rd 2007, 11:35 AMTheRekz
I don't really get your explanation, could you try to explain it a bit more or maybe more examples. Sorry! :(

I don't get the example that you give me, but I understand that in order of S(x,y) to be valid, x has to be less than y and here x = y, so it can't happen right? Am I explaining it the right way? I also don't understand by the domain that you give me. Is that for all x and y?

Is this a type of fallacy? - Jun 23rd 2007, 11:44 AMCaptainBlack
- Jun 23rd 2007, 12:09 PMPlato
- Jun 23rd 2007, 12:17 PMTheRekz
so what type of fallacy is this? it it the affirming the conclusion?

- Jun 23rd 2007, 12:30 PMPlato