Philosophy Lexicon of Arguments

Screenshot Tabelle Begriffe

 
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 Summary Meta data

 
Books on Amazon
I 134
Imbroglio / Geach / Cresswell: e.g. Each of two Turks fought against each of two Greeks. - Problem: the following does not work: each of two Greeks was F and each of two Turks was F.
I 135
E.g. most fundamentalists are creationists. - Problem:it is not easy with two predicates F and C - it is not possible in 1st order logic to bring it in an order.
I 137
Solution: 2nd order Logic: here we can say that there is a 1:1 function of F-creationists to fundamentalists, but not vice versa. - (> Everyday language).


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

Cr I
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988

Cr II
M. J. Cresswell
Structured Meanings Cambridge Mass. 1984


Send Link
> Counter arguments against Cresswell

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-11-18