display all the ideas for this combination of texts
1 idea
16878 | We must be clear about every premise and every law used in a proof [Frege] |
Full Idea: It is so important, if we are to have a clear insight into what is going on, for us to be able to recognise the premises of every inference which occurs in a proof and the law of inference in accordance with which it takes place. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.212) | |
A reaction: Teachers of logic like natural deduction, because it reduces everything to a few clear laws, which can be stated at each step. |