structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / I. Semantics of Logic / 4. Tautological Truth

[sentences held to be true in all circumstances]

2 ideas
A logical truth or tautology is a logical consequence of the empty set [Enderton]
'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess]