Re: Philosophy, Logic, Formal Systems
Reply #274 –
I said '(x) x -> y" where x is "NAZI" and y is "is bad" in quantificational systems... If the cast is affirmed, it indeed says "All NAZIs are bad"! (If y is "are European" it says "NAZIs are European".)
It should have been "(x)(y) x -> y". But as usual, you didn't notice. (Well, I've been drinking... I have to, to put up with your drivel! )
The problem with quantification is that it fails to acknowledge generalisations as something separate, not subject to quantification.
You mean prejudices or stereotypes?
Seriously, ersi: What about about generalizations is "something separate" from quantification? (Other than multiple unstated premises? ) What is this "something"?
Whereas Anglo-Americans in their formalistic cretinism think that by applying quantification they are conclusively refuting the given statement, not caring to digest what it is that they are trying to refute. You are justifying Nazis here, do you understand? Nevermind, it is of course fully expected that you are pro-Nazi, just as you are pro-dictatorship and pro-slavery, as long as it is Republicans doing it.
So, you admit that "logic" is a language that you don't speak?!
Nothing about the rendering I gave of your sentence refutes it. (Where did you get that idea?) Nor does my rendering in any way justify its antecedent substitution... Your generalization is (almost) universally accepted.
BTW: NAZIism was and is -in my opinion one of the most heinous and reprehensible social and political movements I know of. If someone I knew didn't revile it, I'd be very concerned!