Books on Amazon
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"
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 .
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 .
Elementare Logik Göttingen 1969