Single Idea 10049

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

Full Idea

Containing only logical notions is not a necessary condition for being a logical truth, since a logical truth such as 'all men are men' may contain non-logical notions such as 'men'.

Gist of Idea

Logical truths may contain non-logical notions, as in 'all men are men'

Source

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

Book Reference

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


A Reaction

[He attributes this point to Russell] Maybe it is only a logical truth in its general form, as ∀x(x=x). Of course not all 'banks' are banks.