|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. |
Books on Amazon
|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.
F. P. Ramsey
The Foundations of Mathematics and Other Logical Essays 2013
K. Berka/L. Kreiser
Logik Texte Berlin 1983