No, I just have a rational hatred of philosophy students.
Ah excellent
Audigex said:
That works, assuming you "take the original premise to be true"... well fifi got run over by a car and had an amputation.
But the point is that, in your Fifi example, you assume that all dogs have 4 legs for the point of the example.
In your mathematics example, you are assuming the premise that 1=1, and that I might not take "1" to mean "a small man wearing mostly clogs", in which case Not 1 does not equal 0.
What I'm trying to say is that you have the wrong end of the stick. Examples like that Fifi one are merely put there to aid understanding of predicate logic.
It is not trying to show that all dogs have four legs. What it is saying is that IF all dogs have four legs, and IF Fifi is a dog, then Fifi must have four legs.
It is not the logic that (generally) gets argued against in a debate, philosophical or other. It is perfectly valid that:
If the world was created
If the creator is all loving, all knowing, all powerful etc
If God is defined as an all loving, knowing, powerful creator
Then God exists
What people argue against is the premise. With the Fifi example, you have disproved the premise that all dogs have four legs. The logic of it is perfectly valid.
Likewise, we must accept the hidden premise in mathematics that 1 means what we think it does...if somebody disproves that, then the rest of mathematics falls apart.