Single Idea 15091

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

Full Idea

I favour restricting the term 'logical truth' to what logicians would count as such, excluding both analytic truths like 'Bachelors are unmarried' and Kripkean necessities like 'Gold is an element'.

Gist of Idea

Restrict 'logical truth' to formal logic, rather than including analytic and metaphysical truths

Source

Sydney Shoemaker (Causal and Metaphysical Necessity [1998], I)

Book Reference

Shoemaker,Sydney: 'Identity, Cause and Mind' [OUP 2003], p.408


A Reaction

I agree. There is a tendency to splash the phrases 'logical truth' and 'logical necessity around in vague ways. I take them to strictly arise out of the requirements of formal systems of logic.