more from this thinker | more from this text
Full Idea
Frege developed a formal system to make sure that he hadn't employed unnoticed assumptions about arithmetic.
Gist of Idea
Frege developed formal systems to avoid unnoticed assumptions
Source
report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Shaughan Lavine - Understanding the Infinite VIII.2
Book Ref
Lavine,Shaughan: 'Understanding the Infinite' [Harvard 1994], p.252
A Reaction
It is interesting that Frege seems to have had far more influence on analytic philosophy than he ever had on mathematics.
| 19231 | Metaphysics is turning into logic, and logic is becoming mathematics [Peirce] |
| 22270 | Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege] |
| 15948 | Frege developed formal systems to avoid unnoticed assumptions [Frege, by Lavine] |
| 21573 | When problems are analysed properly, they are either logical, or not philosophical at all [Russell] |
| 6116 | A logical language would show up the fallacy of inferring reality from ordinary language [Russell] |
| 21546 | We can't sharply distinguish variables, domains and values, if symbols frighten us [Russell] |
| 22436 | Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine] |
| 8996 | If if time is money then if time is not money then time is money then if if if time is not money... [Quine] |
| 15802 | I use variables to show that each item remains the same entity throughout [Chisholm] |
| 15210 | Humeans see analysis in terms of formal logic, because necessities are fundamentally logical relations [Harré/Madden] |
| 13515 | To study abstract problems, some knowledge of set theory is essential [Hart,WD] |
| 9766 | Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K] |
| 11051 | Frege's logical approach dominates the analytical tradition [Hanna] |