Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German mathematician, logician and philosopher considered to be one of the founders of modern logic. He made major contributions to the foundations of mathematics.
- I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgments and consequently a priori. Arithmetic thus becomes simply a development of logic, and every proposition of arithmetic a law of logic, albeit a derivative one. To apply arithmetic in the physical sciences is to bring logic to bear on observed facts; calculation becomes deduction.
- Frege (1884) The Foundations of Arithmetic, p. 99.
- The ideal of strictly scientific method in mathematics which I have tried to realise here, and which perhaps might be named after Euclid I should like to describe in the following way... The novelty of this book does not lie in the content of the theorems but in the development of the proofs and the foundations on which they are based... With this book I accomplish an object which I had in view in my Begriffsschrift of 1879 and which I announced in my Grundlagen der Arithmetik. I am here trying to prove the opinion on the concept of number that I expressed in the book last mentioned.
- Frege (1893) Grundgesetze der Arithmetik. p.137-140, as cited in: Ralph H. Johnson (2012) Manifest Rationality: A Pragmatic Theory of Argument. p.87
- 'Facts, facts, facts,' cries the scientist if he wants to emphasize the necessity of a firm foundation for science. What is a fact? A fact is a thought that is true. But the scientist will surely not recognize something which depends on men's varying states of mind to be the firm foundation of science.
- Gottlob Frege (1956). "The thought: A logical inquiry" in: Peter Ludlow (1997) Readings in the Philosophy of Language. p.27
- It really is worth the trouble to invent a new symbol if we can thus remove not a few logical difficulties and ensure the rigour of the proofs. But many mathematicians seem to have so little feeling for logical purity and accuracy that they will use a word to mean three or four different things, sooner than make the frightful decision to invent a new word.
- Frege in: Dagobert David Runes (1962) readings in epistemology, theory of knowledge and dialectics. p.334
- If I compare arithmetic with a tree that unfolds upward into a multitude of techniques and theorems while its root drives into the depths, then it seems to me that the impetus of the root.
- Gottlob Frege, Montgomery Furth (1964) The Basic Laws of Arithmetic: Exposition Ofthe System. p.10
- Every good mathematician is at least half a philosopher, and every good philosopher is at least half a mathematician.
- Attributed to Frege in: A.A.B. Aspeitia (2000) Mathematics as grammar: 'Grammar' in Wittgenstein's philosophy of mathematics during the Middle Period. Indiana University. p.25
1892 paper Über Sinn und Bedeutung, 1892
Gottlob Frege (1892) On Sense and Reference. paper
- A judgment, for me is not the mere grasping of a thought, but the admission of its truth.
- Gottlob Frege (1892). On Sense and Reference, note 7.
- Equality gives rise to challenging questions which are not altogether easy to answer... a = a and a = b are obviously statements of differing cognitive value; a = a holds a priori and, according to Kant, is to be labeled analytic, while statements of the form a = b often contain very valuable extensions of our knowledge and cannot always be established a priori. The discovery that the rising sun is not new every morning, but always the same, was one of the most fertile astronomical discoveries. Even to-day the identification of a small planet or a comet is not always a matter of course. Now if we were to regard equality as a relation between that which the names 'a' and 'b' designate, it would seem that a = b could not differ from a = a (i.e. provided a = b is true). A relation would thereby be expressed of a thing to itself, and indeed one in which each thing stands to itself but to no other thing.
- As cited in: M. Fitting,Richard L. Mendelsoh (1999) First-Order Modal Logic. p.142. They called this Frege's Puzzle.
- Without some affinity in human ideas art would certainly be impossible; but it can never be exactly determined how far the intentions of the poet are realized.
- Gottlob Frege (1892). On Sense and Reference.
Grundgesetze der Arithmetik 1903
Frege (1903) Grundgesetze der Arithmetik translation: The Basic Laws of Arithmetic
- A scientist can hardly meet with anything more undesirable than to have the foundations give way just as the work is finished. I was put in this position by a letter from Mr. Bertrand Russell when the work was nearly through the press.
- Is it always permissible to speak of the extension of a concept, of a class? And if not, how do we recognize the exceptional cases? Can we always infer from the extension of one concept's coinciding with that of a second, that every object which falls under the first concept also falls under the second?
- From the medieval development of Aristotle's logic through Leibniz's Characteristica Universalis through Frege and Russell and up to the present development of symbolic logic, it could be argued that exactly the reverse is the case; that by emphasizing logic and rationality, philosophers have tended to emphasize written language as the more perspicuous vehicle of logical relations. Indeed, as far as the present era in philosophy is concerned, it wasn't until the 1950s that serious claims were made on behalf of the ordinary spoken vernacular languages, against the written ideal symbolic languages of mathematical logic. When Derrida makes sweeping claims about "the history of the world during an entire epoch," the effect is not so much apocalyptic as simply misinformed.
- John Searle, "Word Turned Upside Down." New York Review of Books, Volume 30, Number 16 · October 27, 1983.
- Among the formal graphical methods are Frege's (1879) Begriffsschrift, Peirce's (1909) existential graphs, and Sowa's (1984) conceptual graphs. These three are based in first-order predicate logic.
- Jeffrey A. Schiffel (2008) Improving Knowledge Management Programs Using Marginal Utility in a Metric Space Generated by Conceptual Graphs. p.51
- Gottlob Frege in Stanford Encyclopedia of Philosophy
- Frege's Logic, Theorem, and Foundations for Arithmetic in Stanford Encyclopedia of Philosophy