Single Idea 18809

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

Full Idea

Gentzen's way of formalising logic has accustomed people to the idea that logical truths are simply the by-products of logical rules, that arise when all the assumptions on which a conclusion rests have been discharged.

Clarification

Gentzen's way was 'natural deduction'

Gist of Idea

Logical truths are just the assumption-free by-products of logical rules

Source

Ian Rumfitt (The Boundary Stones of Thought [2015], 2.5)

Book Reference

Rumfitt,Ian: 'The Boundary Stones of Thought' [OUP 2015], p.56


A Reaction

This is the key belief of those who favour the natural deduction account of logic. If you really believe in separate logic truths, then you can use them as axioms.