|Consistency, philosophy, logic: within a system, consistency may be demonstrated, but not beyond the boundaries of this system, since the use of the symbols and the set of possible objects are only defined for this system.|
Within mathematics, and only there applies that the mathematical objects, which are mentioned in consistent formulas, exist (Hilbert, Über das Unendliche, 1926). See also falsification, verification, existence, well-formed.
_____________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
Consistency/ML/Quine: we have been able to prove it twice as we have a simple model in finite sets - which does not apply if we once have added an axiom of infinity (UA) - consistency is questionable and more difficult and more urgent to prove. And the evidence is even less convincing - problem: the question of whether the methods themselves are consistent._____________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.
Wort und Gegenstand Stuttgart 1980
Theorien und Dinge Frankfurt 1985
Grundzüge der Logik Frankfurt 1978
Mengenlehre und ihre Logik Wiesbaden 1967
Die Wurzeln der Referenz Frankfurt 1989
Unterwegs zur Wahrheit Paderborn 1995
From a logical point of view Cambridge, Mass. 1953
Bezeichnung und Referenz
Zur Philosophie der idealen Sprache, J. Sinnreich (Hg), München 1982
Philosophie der Logik Bamberg 2005
Ontologische Relativität Frankfurt 2003