second-order logic from Hume's principle. It was first proven, informally, by Gottlob Frege in his 1884 Die Grundlagen der Arithmetik (The Foundations of Arithmetic)... 7 KB (662 words) - 22:33, 4 April 2022 |
The Foundations of Arithmetic (category Books by Gottlob Frege) Arithmetik) is a book by Gottlob Frege, published in 1884, which investigates the philosophical foundations of arithmetic. Frege refutes other idealist... 15 KB (1,991 words) - 21:18, 5 May 2024 |
Begriffsschrift (category Books by Gottlob Frege) Begriffsschrift (German for, roughly, "concept-writing") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book. Begriffsschrift... 12 KB (1,375 words) - 23:49, 17 April 2024 |
Meaning (philosophy) (section Gottlob Frege) (1981), Frege: Philosophy of Language (second edition), Cambridge: Harvard University Press. Frege, Gottlob (ed. Michael Beaney, 1997), The Frege Reader... 47 KB (6,509 words) - 09:40, 4 May 2024 |
constructed by the German philosopher and mathematician Gottlob Frege, hence undermining Frege's attempt to reduce mathematics to logic and calling into... 31 KB (4,602 words) - 15:51, 18 April 2024 |
The Thought (redirect from Third Realm (Frege)) "The Thought: A Logical Inquiry" is an essay by Gottlob Frege. It was published as "Der Gedanke. Eine logische Untersuchung" in the philosophy journal... 2 KB (167 words) - 10:09, 26 April 2024 |
set theory, and a system based on equinumerosity that was proposed by Gottlob Frege and by Bertrand Russell. In Zermelo–Fraenkel (ZF) set theory, the natural... 6 KB (774 words) - 03:02, 4 February 2024 |
Principle of compositionality (redirect from Frege's principle) rules used to combine them. The principle is also called Frege's principle, because Gottlob Frege is widely credited for the first modern formulation of... 13 KB (1,404 words) - 22:02, 31 March 2024 |
Frege is a surname. Notable people with the surname include: Carola Frege (born 1965), German scholar Élodie Frégé, French singer and actress Gottlob... 338 bytes (78 words) - 12:04, 27 July 2022 |