Single Idea 10050

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

Full Idea

The standard modern view of logical truth is that a statement is logically true if it comes out true in all interpretations in all (non-empty) domains.

Gist of Idea

A statement is logically true if it comes out true in all interpretations in all (non-empty) domains

Source

Alan Musgrave (Logicism Revisited [1977], §3)

Book Reference

-: 'British Soc for the Philosophy of Science' [-], p.106