Single Idea 10971

[catalogued under 5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth]

Full Idea

Logical truth is a degenerate, or extreme, case of consequence. A logical truth is the conclusion of a valid inference with no premisses, or a proposition in the premisses of an argument which is unnecessary or may be suppressed.

Gist of Idea

A logical truth is the conclusion of a valid inference with no premisses

Source

Stephen Read (Thinking About Logic [1995], Ch.2)

Book Reference

Read,Stephen: 'Thinking About Logic' [OUP 1995], p.39