Equality1 gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between objects, or between names or signs of objects? In my Begriffsschrift I assumed the latter. The reasons which seem to favour this are the following: 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. What is intended to be said by a = b seems to be that the signs or names ‘a’ and ‘b’ designate the same thing, so that those signs themselves would be under discussion; a relation between them would be asserted. But this relation would hold between the names or signs only in so far as they named or designated something. It would be mediated by the connexion of each of the two signs with the same designated thing. But this is arbitrary. Nobody can be forbidden to use any arbitrarily producible event or object as a sign for something. In that case the sentence a = b would no longer refer to the subject matter, but only to its mode of designation; we would express no proper knowledge by its means. But in many cases this is just what we want to do. If the sign ‘a’ is distinguished from the sign ‘b’ only as object (here, by means of its shape), not as sign (i.e. not by the manner in which it designates something), the cognitive value of a = a becomes essentially equal to that of a = b, provided a = b is true.. (shrink)
This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik, with introduction and annotation. The importance of Frege's ideas within contemporary philosophy would be hard to exaggerate. He was, to all intents and purposes, the inventor of mathematical logic, and the influence exerted on modern philosophy of language and logic, and indeed on general epistemology, by the philosophical framework within which his technical contributions were conceived and developed has been so deep that he has a strong case (...) to be regarded as the inventor of much of the agenda of modern analytical philosophy itself. The continuing importance of the Grundgesetze lies not only in its bearing on issues in the foundations of mathematics but in its model of philosophical inquiry. Frege's ability to locate the essential questions, his integration of logical and philosophical analysis, and his rigorous approach to criticism and argument in general are vividly in evidence in this, his most ambitious work. (shrink)
This book is an analysis of Frege's views on language metaphysics raised in On Sense Reference, arguably one of the most important philosophical essays of the past hundred years. It provides a thorough introduction to the function/argument analysis and applies Frege's technique to the central notions of predication, identity, existence and truth. Of particular interest is the analysis of the Paradox of Identity and a discussion of three solutions: the little-known Begriffsschrift solution, the sense/reference solution, and Russell's 'On Denoting' solution. (...) Russell's views wend their way through the work, serving as a foil to Frege. Appendices give the proofs of the first 68 propositions of Begriffsschrift in modern notation. This book will be of interest to students and professionals in philosophy and linguistics. (shrink)
Die "Grundlagen" gehören zu den klassischen Texten der Sprachphilosophie, Logik und Mathematik. Frege stützt sein Programm einer Begründung von Arithmetik und Analysis auf reine Logik, indem er die natürlichen Zahlen als bestimmte Begriffsumfänge definiert. Die philosophische Fundierung des Fregeschen Ansatzes bilden erkenntnistheoretische und sprachphilosophische Analysen und Begriffserklärungen.
This volume contains English translations of Frege's early writings in logic and philosophy and of relevant reviews by other leading logicians. Professor Bynum has contributed a biographical essay, introduction, and extensive bibliography.
Gottlob Frege , Mathematiker und Philosoph, ist der Begründer der modernen formalen Logik. Autoren wie Bertrand Russell, Rudolf Carnap und Ludwig Wittgenstein sind von ihm ausgegangen. Die hier vorgelegten Schriften aus dem Nachlaß wurden unter dem Gesichtspunkt ausgewählt, daß das Interesse an Frege vor allem seinen Arbeiten zur logisch-semantischen Sprachanalyse gilt. Da diese Arbeiten in engem Verbund mit Themen der Erkenntnis- und Wissenschaftstheorie entstanden sind, rücken auch diese Bereiche der analytischen Philosophie in den Blick.