Philosophy Lexicon of Arguments

Tautology, philosophy: A tautology is a statement that is constructed in such a way that it cannot be wrong, because its elements are repeated either affirmatively or negatively, or an exhaustive enumeration of possibilities is spread between which no decision is made. For example, A = A; If A, then A; A or non-A. Tautologies are not informative. See also certainty, information, knowledge, logic, validity, universality, contradiction, truth values, interpretation.

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
I 116
Tautologies / Mates : depend on the meaning of "and", "not", " if .... then ", etc. , but not the meaning of " all ", " some ", " people ", " mortal" , etc. - ( i.e. only from the logical constants , not of the quantifiers ) - on the other hand: analyticity of a syllogism depends on the meaning of "all" , "some"
I 117
Tautology / Mates : can not be an atomic statement - because this also may not be valid - I 119 there are valid statements that are not to be tautological - E.g. "(x ) Fx > Fa " - there are inferences that are not tautological - in derivatives only tautological inferences are needed - Def tautology : valid statement whose validity does not depend on the quantifiers .
I 119
Tautology / propositional calculus / Mates : since all statements of p.c. ( propositional calculus ) are quantifier-free , they are tautological, if they are valid - that carries over to their inserting results - still no decision procedure , if there is tautology - I 127 a Taut. is the same as a consequence of any set of propositions .

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.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981

> Counter arguments against Mates

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