|Paradoxes: are contradictions within formally correct statements or sets of statements that lead to an existence assumption, which initially seemed plausible, to be withdrawn. Paradoxes are not errors, but challenges that may lead to a re-formulation of the prerequisites and assumptions, or to a change in the language, the subject domain, and the logical system. See also Russellian paradox, contradictions, range, consistency._____________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. |
|Berka I 371
A) Semantic: Liar, Grelling/Nelson, Russellian A. of the designation.
B) syntactically (logically): antinomy of Cantor, of Burali Forti, Russell's set of all sets which do not contain themselves as elements.
Antinomies/Paradoxes/Solution/Berka: a) Axiomatization, (Fraenkel, v. Neumann, Bernays, Quine)
B) (Russell, König, Brouwer, Hilbert): Verification of the logical foundations of set theory and mathematics. > Type theory, > Separation of object and meta 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. The note [Author1]Vs[Author2] or [Author]Vs[term] is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.
F. P. Ramsey
The Foundations of Mathematics and Other Logical Essays 2013
Frank P. Ramsey
A contribution to the theory of taxation 1927
Frank P. Ramsey
"The Nature of Truth", Episteme 16 (1991) pp. 6-16
Theories of Truth, Paul Horwich, Aldershot 1994
Logik Texte Berlin 1983