Philosophy Lexicon of Arguments

Search  
 
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.

_____________
Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments.

 
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.


_____________
Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.

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-07-21