Philosophy Lexicon of Arguments

Search  
 
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.
 
Author Item Excerpt Meta data

 
Books on Amazon
Thiel I 223
Widerspruchsfreiheit/maximal widerspruchsfrei/Thiel:
1920 bewies Post, dass, wenn man dem untersuchten Axiomensystem (bei ihm Principia Mathematica) einen nicht aus ihnen ableitbaren Satz hinzufügt, das erweiterte System widerspruchsvoll ist.
I 224
("Vollständigkeit als maximale Widerspruchsfreiheit").> maximal konsistent.

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995


> Counter arguments in relation to Consistency



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-05-27