display all the ideas for this combination of philosophers
15 ideas
| 18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
| Full Idea: Frege rejected the traditional categories as importing psychological and linguistic impurities into logic. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by Ian Rumfitt - The Boundary Stones of Thought 1.2 | |
| A reaction: Resisting such impurities is the main motivation for making logic entirely symbolic, but it doesn't follow that the traditional categories have to be dropped. |
| 9154 | Frege agreed with Euclid that the axioms of logic and mathematics are known through self-evidence [Frege, by Burge] |
| Full Idea: Frege maintained a sophisticated version of the Euclidean position that knowledge of the axioms and theorems of logic, geometry, and arithmetic rests on the self-evidence of the axioms, definitions, and rules of inference. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Tyler Burge - Frege on Apriority Intro | |
| A reaction: I am inclined to agree that they are indeed self-evident, but not in a purely a priori way. They are self-evident general facts about how reality is and how (it seems) that it must be. It seems to me closer to a perception than an insight. |
| 9585 | Since every definition is an equation, one cannot define equality itself [Frege] |
| Full Idea: Since every definition is an equation, one cannot define equality itself. | |
| From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.327) | |
| A reaction: This seems a particularly nice instance of the general rule that 'you have to start somewhere'. It is a nice test case for the nature of meaning to ask 'what do you understand when you understand equality?', given that you can't define it. |
| 4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
| Full Idea: A distinction of subject and predicate finds no place in my way of representing a judgement. | |
| From: Gottlob Frege (Begriffsschrift [1879], §03) | |
| A reaction: Perhaps this sentence could be taken as the beginning of modern analytical philosophy. The old view doesn't seem to me entirely redundant - merely replaced by a much more detailed analysis of what makes a 'subject' and what makes a 'predicate'. |
| 17745 | For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki] |
| Full Idea: 'All A's are B's' meant for Frege that the concept A implies the concept B, or that to be A implies also to be B. Moreover this applies to arbitrary x which happens to be A. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Michal Walicki - Introduction to Mathematical Logic History D.2 | |
| A reaction: This seems to hit the renate/cordate problem. If all creatures with hearts also have kidneys, does that mean that being enhearted logically implies being kidneyfied? If all chimps are hairy, is that a logical requirement? Is inclusion implication? |
| 13455 | Frege did not think of himself as working with sets [Frege, by Hart,WD] |
| Full Idea: Frege did not think of himself as working with sets. | |
| From: report of Gottlob Frege (works [1890]) by William D. Hart - The Evolution of Logic 1 | |
| A reaction: One can hardly blame him, given that set theory was only just being invented. |
| 9157 | The null set is only defensible if it is the extension of an empty concept [Frege, by Burge] |
| Full Idea: Frege regarded the null set as an indefensible entity from the point of view of iterative set theory. It collects nothing. He thought a null entity (a null extension) is derivable only as the extension of an empty concept. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Tyler Burge - Frege on Apriority II | |
| A reaction: Frege is right, if you like sets. Othewise all the other sets are going to be defined simply by their extension, and the empty set has to be defined in a different way, which looks like appalling theory. Empty concepts bother me though! |
| 9835 | It is because a concept can be empty that there is such a thing as the empty class [Frege, by Dummett] |
| Full Idea: Since he thought of classes as extensions of concepts, ...it is because a concept can be empty that there is such a thing as the empty class. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Michael Dummett - Frege philosophy of mathematics Ch.8 | |
| A reaction: Frege was already up against the awaiting Russell Paradox, but this view also seems to imply that there are many empty classes, since the absences of sandwiches would be different from the absence of heroism. |
| 16895 | The null set is indefensible, because it collects nothing [Frege, by Burge] |
| Full Idea: Frege regarded the null set as an indefensible entity from the point of view of iterative set theory. It collects nothing. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Apriority (with ps) 2 | |
| A reaction: The null set defines the possibility that something could be collected. At the very least, it introduces curly brackets into the language. |
| 14238 | A class is an aggregate of objects; if you destroy them, you destroy the class; there is no empty class [Frege] |
| Full Idea: A class consists of objects; it is an aggregate, a collective unity, of them; if so, it must vanish when these objects vanish. If we burn down all the trees of a wood, we thereby burn down the wood. Thus there can be no empty class. | |
| From: Gottlob Frege (Elucidation of some points in E.Schröder [1895], p.212), quoted by Oliver,A/Smiley,T - What are Sets and What are they For? | |
| A reaction: This rests on Cantor's view of a set as a collection, rather than on Dedekind, which allows null and singleton sets. |
| 9854 | We can introduce new objects, as equivalence classes of objects already known [Frege, by Dummett] |
| Full Idea: We can introduce a new type of object from the obtaining of some equivalence relation between objects of some already known kind, by identifying the new objects as equivalence classes of the old ones under that equivalence relation. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Michael Dummett - Frege philosophy of mathematics Ch.14 | |
| A reaction: Some accounts of abstraction merely describe the concept, but this is a rival to the traditional pyschological abstractionism that Frege attacked so vigorously. Should we take a platonist or constructivist view of the new objects? |
| 9883 | Frege introduced the standard device, of defining logical objects with equivalence classes [Frege, by Dummett] |
| Full Idea: Frege decided that all logical objects, or at least all those needed for mathematics, could be defined by logical abstraction, except the classes needed for such definitions. ..This definition by equivalence classes has been adopted as a standard device. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §64-68) by Michael Dummett - Frege philosophy of mathematics | |
| A reaction: This means if we are to understand modern abstraction (instead of the psychological method of ignoring selected properties of objects), we must understand the presuppositions needed for a definition by equivalence. |
| 18104 | Frege, unlike Russell, has infinite individuals because numbers are individuals [Frege, by Bostock] |
| Full Idea: Frege was able to prove that there are infinitely many individuals by taking the numbers themselves to be individuals, but this course was not open to Russell. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by David Bostock - Philosophy of Mathematics 5.2 |
| 9834 | A class is, for Frege, the extension of a concept [Frege, by Dummett] |
| Full Idea: A class is, for Frege, the extension of a concept. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Michael Dummett - Frege philosophy of mathematics Ch.8 | |
| A reaction: This simple idea was the source of all his troubles, because there are concepts which can't have an extension, because of contradiction. ...And yet all intuition says Frege is right.. |
| 3328 | Frege proposed a realist concept of a set, as the extension of a predicate or concept or function [Frege, by Benardete,JA] |
| Full Idea: Contrary to Dedekind's anti-realism, Frege proposed a realist definition of a set as the extension of a predicate (or concept, or function). | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.13 |