Problem of multiple generality: Difference between revisions

Revision as of 19:01, 8 March 2014

Revision as of 20:02, 8 September 2014

Line 8:

which is clearly invalid.

The first logical calculus capable of dealing with such inferences was [[Gottlob Frege]]'s ''[[Begriffsschrift]],'' (1879), the ancestor of modern [[predicate logic]], which dealt with quantifiers by means of variable bindings. Modestly, Frege did not argue that his logic was more expressive than extant logical calculi, but commentators on Frege's logic regard this as one of his key achievements.

Using modern [[predicate calculus]], we quickly discover that the statement is ambiguous.