# Philosophy Lexicon of Arguments

Description Levels: Levels result from dividing a domain into sub-domains, for which different rules for making statements are valid. Thus, e.g. other statements are made about sets than about their elements. See also metalanguage, object language, theories, metatheory, metalogic, metasemantics, meta-ethics, meta-level, paradoxes, order, 2nd order logic, higher order logic, HOL, completeness.

_____________
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
II 345
Indefiniteness 2nd order: it is unclear whether an undecidable sentence has a particular truth value.
---
II 354
Logic/second order logic/Field/(s): excludes non-standard models better than theory 1st order. - 2nd order has no impredicative comprehension scheme.
---
III 33
Theory of the 1st order/Field: E.g. the theory of the space-time points - (s) E.g. theory which only uses functions but does not quantify via them.
Theory 2nd order/Field: E.g. theory of real numbers, because it quantifies via functions. - Quantities of higher order: are used for the definition of continuity and differentiability.
---
III 37
Theory of 1st order/2nd order/Hilbert/Field. Variables 1st order: via points, lines, surfaces. - 2nd order: Quantities of ... - Solution/Field: quantification 2nd order in Hilbert's geometry as quantification via regions. - only axiom 2nd order: Dedekind's continuity axiom.
---
III 95 f
Logic 2nd order/Field: E.g. Quantors like "there are only finitely many". - ((s) quantified via quantities). - Also not: E.g. "There are less Fs than Gs". - ((s) Fs and Gs only definable as sets or properties.)
---
III 98
Extension of the logic: preserves us from a huge range of additionally assumed entities. - E.g., what obeys the theory of gravity - QuineVs: rather accept abstract entities than to expand the logic. (Quine in this case pro Platonism).
---
III 96
Platonism 1st order/Field: accepts abstract entities, but no logic 2nd order. - Problem: but it needs this (because of the power quantifiers).

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

Fie I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Fie II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Fie III
H. Field
Science without numbers Princeton New Jersey 1980

> Counter arguments against Field

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

Ed. Martin Schulz, access date 2017-12-13