Philosophy Lexicon of Arguments

Search  
 
Incompleteness: whether something is incomplete can only be determined in relation to something that allows for a closer determination. For this purpose, e.g. a continuation rule, a type description, or a categorization must be specified. Objects, which are also parts of something, can then be fully described as an object if they do not need the context of which they are a part. See also indeterminacy, determination, context/context dependency, description, description levels, completeness.

_____________
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.

 
Author Item Excerpt Meta data

 
Books on Amazon
Thiel I 222
Unvollständigkeit/Thiel: Unvollständigkeit taucht immer wieder auf. In den logischen Regeln erscheinen weder alle beim Schließen tatsächlich vorgenommenen Operationen noch sind die Voraussetzungen dieser Operationen formalisiert.
Bsp Die Reihenfolge der Prämissen einer Regel wird als unwesentlich angesehen, z. B. wird die Abtrennungsregel auch mit vertauschten Prämissen formuliert.
I 223
Die seit Frege üblichen Axiomensysteme der klassischen Junktorenlogik sind vollständig.


_____________
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.

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995




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