The Foundations of Arithmetic: A Logico-Mathematical ... (ISBN 0810106051)

A Must for Any Philosopher of Mathematics:
This book written by Gottlob Frege is one of the most influential books of the 20th century philosophy of mathematics. In here Frege establishes the nature of arithmetics as founded in logic, which is his logicist proposal. For that, he refutes the assertion that logic as such is founded on psychology. Sometimes he distorts a little bit what others say about logic, so he argues against those thinkers more effectively. In here he establishes the anti-psycology difference between concept and object; though he has not made a difference yet between sense and reference. He also refers to a principle called the contextual principle, in which the word makes reference to something depending on the context. Afterwards after he wrote the book, he would reject this principle, because of his doctrine of sense and reference: the sense of the words determine the sense of the sentence; and the reference of the words determine the reference of the sentence. This is a great philosophical work, and I would suggest it to anyone who is starting to study Analytic philosophy (philosophy of mathematics, logic and language), and also those who want to consider the platonist proposal.

The first escape from the Elencus...:
You know how _frustrating_ it is, reading a platonic dialog? Some question like "What is virtue?" or "What is justice" is asked, and Socretes goes on for pages showing that the so-called "experts" don't have a clue about what it really is? But what's _really_ frustrating is that you're all expecting, at the end of the dialog, after following a hard line of argument, that you'll be rewarded with THE definitivie definition of 'virtue' or 'justice' or whatever--only to be disapointed. All you get in the end is a new appreciation of your own hopeless ignorance... ...well, imagine a platonic dialog which started the same as any other platonic dialog, but with the question "What is a number?" Only this time, at the end of the dialog, you actually get an answer to the question? In retrospect, its pretty amazing that Plato didn't write a Socratic dialog concerned with the question "What is number?' After all, Plato considered numbers more real than physical objects, and people like the Pythagorians were going around claiming that everything _was_ made out of numbers. But what the heck _is_ a number, anyways? Perhaps the reason was that everybody thought they already understood what numbers were. But Frege, like Socretes before him, realized that this so-called knowledge was really just a collective ignorance. So Frege starts out this book with a thorough, merciless review of what his coleages and predicessors were saying about what numbers were, showing that they ranged from cocksure to confused, from pompously-wrongheaded to just plain silly. But then Frege does something really amazing--for the first time in history, he goes on give a real answer to the question "what are numbers?" Building on the work of Hume, he gives a sustained argument now known as "Frege's theorem" which shows how numbers can be grounded on an understanding of one-to-one correspondence. Unfortunately, this work had to wait almost a century for the rest of us to really catch up to its significance. Russell found a contradiction in the arguments presented here, and for the next 80 years attention shifted elsewhere. But first Charles Parsons, in 1964, and then Crispen Wright and others in the 80's and 90's begain to realize that Frege's theorem could be reconstructed without the paradox. This sparked a whole flurry of neo-Fregean studies which is one of the most active branches of analytic philosophy today. This revival means that Frege's importance, and the importance of reading and comming to grips with the arguments presented by Frege in this book, are going to continue to grow. Although tragically Frege didn't live to see the day, we now realize that the line of reasoning he followed in this book was one of those signature moments in human history, every bit as profound as the invention of the wheel or the discovery of the pythagorian theorem--it was the moment where, for the first time ever, the question "what the heck _are_ numbers, anyways?" got a real answer.

great work:
possibly one of the greatest works in history of philosophy and the founding book of 20th century analytic philosophy... I read it only once and a better appraisal will be coming shortly..I can say right away this is not simply a 'technical' work in philosophy of mathematics but a broad although short philosophical investigation in notions of truth, meaning and identity - although it expressly deals with defining numbers in purely logical terms. continental philosophers who read this work might change some of their negative ideas about where analytic philosophy is coming from.

Frege, You're Not Supposed To Have...:
*The Foundations of Arithmetic*, one of the most durable works of philosophy of mathematics ever produced, is something of a curiosity as presented by J.L. Austin (who translated the work for the use of an Oxford undergraduate course); and perhaps Frege's platonism got the best of Austin, and this work is really just as , well, Kantian as it appears, "a good sight" more Kantian than "standard" Frege is typically allowed to be. Frege's definition of number in terms of equipollence (one-one correspondence of sets) is legendary: that is to say, it is traditionally understood to do a great deal more work than the "thin" version allowed by mathematical logic as reconstructed to avoid Russell's paradox. But here Frege's work-up of the concept for a general readership is so "genteel" as to suggest that this may not in fact be the case, and that Frege actually partook more heavily of Neo-Kantian bromides than his *theory of arithmetic* suggests; to wit, that this theory was always intended to be situated within a general philosophy of mathematics obeying the strictures of reasoning involving Kantian "intuition" (as is typically said of Frege's last efforts in the field). As such, it would be unfortunate that we cannot effectively read this book (formerly available *en face*, and unfortunately much the worse for the original's omission) in conjunction with its contemporary geometrical counterpart: long out of print, rarely making its way into the philosophical Frege literature, and perhaps in all parts an *anticipatory* if "crochety" rebuke to Hilbertian formalism. Perhaps Frege was to a certain extent wholly other than the mathematics of his time; perhaps we are not well-served by a Frege "out of time"; we certainly have one of the great prose stylists of English on hand here, and perhaps it would actually do to consider his aptitude for "gold" extraction here as a clue to puzzling out the rest of Frege -- a figure supremely unconcerned with sameness of meaning, and already owing a certain debt to those para-philosophical figures all his work is at cross-purposes with (the German '70s having been quite a time indeed). A great help to understanding number theory, a marvelous thing for a library to have.

Excellent work:
His conclusion (p.99e) is that the laws of arithmetic are analytic judgements and consequently a priori. Note that he is very consistently hard on Mill. Some interesting quotes: p. 115e #106. "...number is neither a collection of things nor a property of such, yet at the same time is not a subjective product of mental processes either, we concluded that a statement of number asserts something objective of a concept. ... (p. 116e) We next laid down the fundamental principle that we must never try to define the meaning of a word in isolation, but only as it is used in the context of a proposition: only by adhering to this can we, as I believe, avoid a physical view of it. #107. (p.117e) "A recognition statement must always have a sense."