## Philosophy Lexicon of Arguments | |||

2nd order Logic: Predicate logic of the 2nd order goes beyond predicate logic of the 1st level allowing quantification over properties and relations, and not just objects. Thus comparisons of the powerfulness of sets become possible. Problems which are expressed in everyday terms with terms such as "greater", "between", etc., and e.g. the specification of all the properties of an object require predicate logic of the 2nd order. Since the 2nd level logic is not complete (because there are, for example, an infinite number of properties of properties), one often tries to get on with the logic of the 1st order. | |||

Author | Item | Excerpt | Meta data |
---|---|---|---|

Books on Amazon |
Hintikka I 124 2nd order Logic/HOL/Frege/Wittgenstein/Hintikka: higher order quantifiers are acceptable to both without the lowest hesitation. |
W II L. Wittgenstein Vorlesungen 1930-35 Frankfurt 1989 W III L. Wittgenstein Das Blaue Buch - Eine Philosophische Betrachtung Frankfurt 1984 W IV L. Wittgenstein Tractatus Logico Philosophicus Frankfurt/M 1960 Hin I Jaakko and Merrill B. Hintikka The Logic of Epistemology and the Epistemology of Logic Dordrecht 1989 W I J. Hintikka/M. B. Hintikka Untersuchungen zu Wittgenstein Frankfurt 1996 |

> Counter arguments against **Wittgenstein**

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei

Ed. Martin Schulz, access date 2017-05-29