Problem of multiple generality: Difference between revisions

Content deleted Content added
mNo edit summary
Nyngwang (talk | contribs)
m mention "quantifiers" in the first sentence.
Line 1:
{{Short description|Failure in traditional logic to describe certain intuitively valid inferences}}
The '''problem of multiple generality''' names a failure in [[term logic|traditional logic]] to describe certain intuitively [[validity (logic)|valid]] inferences that involves multiple [[Quantifiers (logic)|quantifiers]]. For example, it is intuitively clear that if:
:''Some cat is feared by every mouse''
then it follows logically that: