Philosophy Lexicon of Arguments

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

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-05-25