display all the ideas for this combination of philosophers
2 ideas
17495 | Proof aims to remove doubts, but also to show the interdependence of truths [Frege] |
Full Idea: Proof has as its goal not only to raise the truth of a proposition above all doubts, but additionally to provide insight into the interdependence of truths. | |
From: Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §02) | |
A reaction: This is a major idea in Frege's thinking, and a reason why he is the father of modern metaphysics as well as the father of modern logic. You study the framework of truths by studying the logic that connects them. |
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. |