display all the ideas for this combination of philosophers
10 ideas
| 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 |