display all the ideas for this combination of philosophers
11 ideas
| 7729 | Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner] |
| Full Idea: Frege's regimentation is based on the view of the simplest sort of statement as having, not subject/predicate form (as in Aristotle), but function/argument form. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege | |
| A reaction: This looks like being a crucial move into the modern world, where one piece of information is taken in and dealt with, as in computer procedures. Have educated people reorganised their minds along Fregean lines? |
| 8645 | Convert "Jupiter has four moons" into "the number of Jupiter's moons is four" [Frege] |
| Full Idea: The proposition "Jupiter has four moons" can be converted into "the number of Jupiter's moons is four". | |
| From: Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §57) | |
| A reaction: This seems to be the beginning of the modern exploration of the whole idea of logical form. It is one thing to find a logical forms which suits your current thesis (here, that numbers are not adjectival), but another to prove that it is the right form. |
| 4975 | A thought can be split in many ways, so that different parts appear as subject or predicate [Frege] |
| Full Idea: A thought can be split up in many ways, so that now one thing, now another, appears as subject or predicate | |
| From: Gottlob Frege (On Concept and Object [1892], p.199) | |
| A reaction: Thus 'the mouse is in the box', and 'the box contains the mouse'. A simple point, but important when we are trying to distinguish thought from language. |
| 8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
| Full Idea: Just as functions are fundamentally different from objects, so also functions whose arguments are and must be functions are fundamentally different from functions whose arguments are objects. The latter are first-level, the former second-level, functions. | |
| From: Gottlob Frege (Function and Concept [1891], p.38) | |
| A reaction: In 1884 he called it 'second-order'. This is the standard distinction between first- and second-order logic. The first quantifies over objects, the second over intensional entities such as properties and propositions. |
| 8492 | Relations are functions with two arguments [Frege] |
| Full Idea: Functions of one argument are concepts; functions of two arguments are relations. | |
| From: Gottlob Frege (Function and Concept [1891], p.39) | |
| A reaction: Nowadays we would say 'two or more'. Another interesting move in the aim of analytic philosophy to reduce the puzzling features of the world to mathematical logic. There is, of course, rather more to some relations than being two-argument functions. |
| 10036 | In 'Principia' a new abstract theory of relations appeared, and was applied [Russell/Whitehead, by Gödel] |
| Full Idea: In 'Principia' a young science was enriched with a new abstract theory of relations, ..and not only Cantor's set theory but also ordinary arithmetic and the theory of measurement are treated from this abstract relational standpoint. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Kurt Gödel - Russell's Mathematical Logic p.448 | |
| A reaction: I presume this is accounting for relations in terms of ordered sets. |
| 3319 | Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA] |
| Full Idea: The whole point of Frege's functional account of predication lies in its allowing us to dispense with all properties across the board. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9 |
| 6076 | For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn] |
| Full Idea: For Frege, a predicate does not refer to the objects of which it is true, but to the function that maps these objects onto the True and False; ..a predicate is a name for this function. | |
| From: report of Gottlob Frege (works [1890]) by Colin McGinn - Logical Properties Ch.3 | |
| A reaction: McGinn says this is close to the intuitive sense of a property. Perhaps 'predicates are what make objects the things they are?' |
| 16891 | Despite Gödel, Frege's epistemic ordering of all the truths is still plausible [Frege, by Burge] |
| Full Idea: Gödel undermined Frege's assumption that all but the basic truths are provable in a system, but insofar as one conceives of proof informally as an epistemic ordering among truths, one can see his vision as worth developing. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Tyler Burge - Frege on Apriority (with ps) 1 | |
| A reaction: [compressed] This 'epistemic ordering' fits my thesis of seeing the world through our explanations of it. |
| 16906 | The primitive simples of arithmetic are the essence, determining the subject, and its boundaries [Frege, by Jeshion] |
| Full Idea: The primitive truths contain the core of arithmetic because their constituents are simples which define the essential boundaries of the subject. …The primitive truths are the most general ones, containing the basic, essence determining elements. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Robin Jeshion - Frege's Notion of Self-Evidence 2 | |
| A reaction: This presents Frege as explicable in essentialist terms, as identifying the core of an abstract discipline, from which the rest of it is generated. Jeshion says 'simples are the essence'. |
| 16865 | 'Theorems' are both proved, and used in proofs [Frege] |
| Full Idea: Usually a truth is only called a 'theorem' when it has not merely been obtained by inference, but is used in turn as a premise for a number of inferences in the science. ….Proofs use non-theorems, which only occur in that proof. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.204) |