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.