|Logic: logic is the doctrine of the admissibility or inadmissibility of relations between statements and thus the validity of the compositions of these statements. In particular, the question is whether conclusions can be obtained from certain presuppositions such as premises or antecedents. Logical formulas are not interpreted at first. Only the interpretation, i. e. the insertion of values, e.g. objects instead of the free variables, makes the question of their truth meaningful._____________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. |
|Bertrand Russell Die Mathematik und die Metaphysiker 1901 in: Kursbuch 8 Mathematik 1967
Formal logic is the same as mathematics. Mathematics: Symbols of great importance. Evidence is an enemy of correctness.
For the whole arithmetic and algebra only three indefinite terms and five non-provable sentences are required.
_____________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.
B. Russell/A.N. Whitehead
Principia Mathematica Frankfurt 1986
Das ABC der Relativitätstheorie Frankfurt 1989
Probleme der Philosophie Frankfurt 1967
Die Philosophie des logischen Atomismus
Eigennamen, U. Wolf (Hg), Frankfurt 1993
Wahrheit und Falschheit
Wahrheitstheorien, G. Skirbekk (Hg), Frankfurt 1996