53 ideas
| 16877 | A 'constructive' (as opposed to 'analytic') definition creates a new sign [Frege] |
| Full Idea: We construct a sense out of its constituents and introduce an entirely new sign to express this sense. This may be called a 'constructive definition', but we prefer to call it a 'definition' tout court. It contrasts with an 'analytic' definition. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.210) | |
| A reaction: An analytic definition is evidently a deconstruction of a past constructive definition. Fregean definition is a creative activity. |
| 11219 | Frege suggested that mathematics should only accept stipulative definitions [Frege, by Gupta] |
| Full Idea: Frege has defended the austere view that, in mathematics at least, only stipulative definitions should be countenanced. | |
| From: report of Gottlob Frege (Logic in Mathematics [1914]) by Anil Gupta - Definitions 1.3 | |
| A reaction: This sounds intriguingly at odds with Frege's well-known platonism about numbers (as sets of equinumerous sets). It makes sense for other mathematical concepts. |
| 16878 | We must be clear about every premise and every law used in a proof [Frege] |
| Full Idea: It is so important, if we are to have a clear insight into what is going on, for us to be able to recognise the premises of every inference which occurs in a proof and the law of inference in accordance with which it takes place. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.212) | |
| A reaction: Teachers of logic like natural deduction, because it reduces everything to a few clear laws, which can be stated at each step. |
| 22317 | Truth does not admit of more and less [Frege] |
| Full Idea: What is only half true is untrue. Truth does not admit of more and less. | |
| From: Gottlob Frege (works [1890], CP 353), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 48 'Truth' | |
| A reaction: What about a measurement which is accurate to three decimal places? Maybe being 'close to' the truth is not the same as being 'more' true. The truth about a distance between two points is unknowable? |
| 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. |
| 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. |
| 17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
| Full Idea: One feature of the Axiom of Choice that troubled many mathematicians was the so-called Banach-Tarski paradox: using the Axiom, a sphere can be decomposed into finitely many parts and those parts reassembled into two spheres the same size as the original. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) | |
| A reaction: (The key is that the parts are non-measurable). To an outsider it is puzzling that the Axiom has been universally accepted, even though it produces such a result. Someone can explain that, I'm sure. |
| 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 |
| 9179 | Frege frequently expressed a contempt for language [Frege, by Dummett] |
| Full Idea: Frege frequently expressed a contempt for language. | |
| From: report of Gottlob Frege (works [1890], p.228) by Michael Dummett - Frege's Distinction of Sense and Reference p.228 | |
| A reaction: This strikes me as exactly the right attitude for a logician to have. Russell seems to have agreed. Attitudes to vagueness are the test case. Over-ambitious modern logicians dream of dealing with vagueness. Forget it. Stick to your last. |
| 16867 | Logic not only proves things, but also reveals logical relations between them [Frege] |
| Full Idea: A proof does not only serve to convince us of the truth of what is proved: it also serves to reveal logical relations between truths. Hence we find in Euclid proofs of truths that appear to stand in no need of proof because they are obvious without one. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.204) | |
| A reaction: This is a key idea in Frege's philosophy, and a reason why he is the founder of modern analytic philosophy, with logic placed at the centre of the subject. I take the value of proofs to be raising questions, more than giving answers. |
| 16863 | Does some mathematical reasoning (such as mathematical induction) not belong to logic? [Frege] |
| Full Idea: Are there perhaps modes of inference peculiar to mathematics which …do not belong to logic? Here one may point to inference by mathematical induction from n to n+1. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.203) | |
| A reaction: He replies that it looks as if induction can be reduced to general laws, and those can be reduced to logic. |
| 16862 | The closest subject to logic is mathematics, which does little apart from drawing inferences [Frege] |
| Full Idea: Mathematics has closer ties with logic than does almost any other discipline; for almost the entire activity of the mathematician consists in drawing inferences. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.203) | |
| A reaction: The interesting question is who is in charge - the mathematician or the logician? |
| 13473 | Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD] |
| Full Idea: Frege thinks there is a single right deductive order of the truths. This is not an epistemic order, but a logical order, and it is our job to arrange our beliefs in this order if we can make it out. | |
| From: report of Gottlob Frege (works [1890]) by William D. Hart - The Evolution of Logic 2 | |
| A reaction: Frege's dream rests on the belief that there exists a huge set of logical truths. Pluralism, conventionalism, constructivism etc. about logic would challenge this dream. I think the defence of Frege must rest on Russellian rooting of logic in nature. |
| 17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
| Full Idea: If-thenism denies that mathematics is in the business of discovering truths about abstracta. ...[their opponents] obviously don't regard any starting point, even a consistent one, as equally worthy of investigation. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.3) | |
| A reaction: I have some sympathy with if-thenism, in that you can obviously study the implications of any 'if' you like, but deep down I agree with the critics. |
| 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?' |
| 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 |
| 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) |
| 9871 | Frege always, and fatally, neglected the domain of quantification [Dummett on Frege] |
| Full Idea: Frege persistently neglected the question of the domain of quantification, which proved in the end to be fatal. | |
| From: comment on Gottlob Frege (works [1890]) by Michael Dummett - Frege philosophy of mathematics Ch.16 | |
| A reaction: The 'fatality' refers to Russell's paradox, and the fact that not all concepts have extensions. Common sense now says that this is catastrophic. A domain of quantification is a topic of conversation, which is basic to all language. Cf. Idea 9874. |
| 16884 | Basic truths of logic are not proved, but seen as true when they are understood [Frege, by Burge] |
| Full Idea: In Frege's view axioms are basic truth, and basic truths do not need proof. Basic truths can be (justifiably) recognised as true by understanding their content. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: This is the underpinning of the rationalism in Frege's philosophy. |
| 16866 | Tracing inference backwards closes in on a small set of axioms and postulates [Frege] |
| Full Idea: We can trace the chains of inference backwards, …and the circle of theorems closes in more and more. ..We must eventually come to an end by arriving at truths can cannot be inferred, …which are the axioms and postulates. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.204) | |
| A reaction: The rival (more modern) view is that that all theorems are equal in status, and axioms are selected for convenience. |
| 16868 | The essence of mathematics is the kernel of primitive truths on which it rests [Frege] |
| Full Idea: Science must endeavour to make the circle of unprovable primitive truths as small as possible, for the whole of mathematics is contained in this kernel. The essence of mathematics has to be defined by this kernel of truths. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.204-5) | |
| A reaction: [compressed] I will make use of this thought, by arguing that mathematics may be 'explained' by this kernel. |
| 16871 | A truth can be an axiom in one system and not in another [Frege] |
| Full Idea: It is possible for a truth to be an axiom in one system and not in another. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.205) | |
| A reaction: Frege aspired to one huge single system, so this is a begrudging concession, one which modern thinkers would probably take for granted. |
| 16870 | Axioms are truths which cannot be doubted, and for which no proof is needed [Frege] |
| Full Idea: The axioms are theorems, but truths for which no proof can be given in our system, and no proof is needed. It follows from this that there are no false axioms, and we cannot accept a thought as an axiom if we are in doubt about its truth. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.205) | |
| A reaction: He struggles to be as objective as possible, but has to concede that whether we can 'doubt' the axiom is one of the criteria. |
| 17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
| Full Idea: At the end of the nineteenth century there was a renewed emphasis on rigor, the central tool of which was axiomatization, along the lines of Hilbert's axioms for geometry and Dedekind's axioms for real numbers. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) |
| 17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
| Full Idea: The fact that two apparently fruitful mathematical themes turn out to coincide makes it all the more likely that they're tracking a genuine strain of mathematical depth. | |
| From: Penelope Maddy (Defending the Axioms [2011], 5.3ii) |
| 16869 | To create order in mathematics we need a full system, guided by patterns of inference [Frege] |
| Full Idea: We cannot long remain content with the present fragmentation [of mathematics]. Order can be created only by a system. But to construct a system it is necessary that in any step forward we take we should be aware of the logical inferences involved. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.205) |
| 17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
| Full Idea: One form of the Continuum Hypothesis is the claim that every infinite set of reals is either countable or of the same size as the full set of reals. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.4 n40) |
| 16864 | If principles are provable, they are theorems; if not, they are axioms [Frege] |
| Full Idea: If the law [of induction] can be proved, it will be included amongst the theorems of mathematics; if it cannot, it will be included amongst the axioms. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.203) | |
| A reaction: This links Frege with the traditional Euclidean view of axioms. The question, then, is how do we know them, given that we can't prove them. |
| 3331 | If '5' is the set of all sets with five members, that may be circular, and you can know a priori if the set has content [Benardete,JA on Frege] |
| Full Idea: There is a suspicion that Frege's definition of 5 (as the set of all sets with 5 members) may be infected with circularity, …and how can we be sure on a priori grounds that 4 and 5 are not both empty sets, and hence identical? | |
| From: comment on Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.14 |
| 17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
| Full Idea: Our set-theoretic methods track the underlying contours of mathematical depth. ...What sets are, most fundamentally, is markers for these contours ...they are maximally effective trackers of certain trains of mathematical fruitfulness. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.4) | |
| A reaction: This seems to make it more like a map of mathematics than the actual essence of mathematics. |
| 17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
| Full Idea: Ordinary perceptual cognition is most likely involved in our grasp of elementary arithmetic, but ...this connection to the physical world has long since been idealized away in the infinitary structures of contemporary pure mathematics. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.3) | |
| A reaction: Despite this, Maddy's quest is for a 'naturalistic' account of mathematics. She ends up defending 'objectivity' (and invoking Tyler Burge), rather than even modest realism. You can't 'idealise away' the counting of objects. I blame Cantor. |
| 16880 | Frege aimed to discover the logical foundations which justify arithmetical judgements [Frege, by Burge] |
| Full Idea: Frege saw arithmetical judgements as resting on a foundation of logical principles, and the discovery of this foundation as a discovery of the nature and structure of the justification of arithmetical truths and judgments. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations Intro | |
| A reaction: Burge's point is that the logic justifies the arithmetic, as well as underpinning it. |
| 8689 | Eventually Frege tried to found arithmetic in geometry instead of in logic [Frege, by Friend] |
| Full Idea: After the problem with Russell's paradox, Frege did not publish for fourteen years, and he then tried to re-found arithmetic in Euclidean geometry, rather than in logic. | |
| From: report of Gottlob Frege (works [1890], 3.4) by Michèle Friend - Introducing the Philosophy of Mathematics 3.4 | |
| A reaction: I take it that his new road would have led him to modern Structuralism, so I think he was probably on the right lines. Unfortunately Frege had already done enough for one good lifetime. |
| 5657 | Frege's logic showed that there is no concept of being [Frege, by Scruton] |
| Full Idea: Frege's quantificational logic vindicates Kant's insight that existence is not a predicate and leads to fallacies when treated as one; and we might also say, despite Hegel, that there is no concept of being. | |
| From: report of Gottlob Frege (works [1890]) by Roger Scruton - Short History of Modern Philosophy Ch.17 | |
| A reaction: I notice that Colin McGinn has questioned the value of quantificational logic. It is difficult to assert that 'there is no concept of x', if several people have written large books about it. |
| 9388 | Every concept must have a sharp boundary; we cannot allow an indeterminate third case [Frege] |
| Full Idea: Of any concept, we must require that it have a sharp boundary. Of any object it must hold either that it falls under the concept or it does not. We may not allow a third case in which it is somehow indeterminate whether an object falls under a concept. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.229), quoted by Ian Rumfitt - The Logic of Boundaryless Concepts p.1 n1 | |
| A reaction: This is the voice of the classical logician, which has echoed by Russell. I'm with them, I think, in the sense that logic can only work with precise concepts. The jury is still out. Maybe we can 'precisify', without achieving total precision. |
| 3318 | Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x' [Frege, by Benardete,JA] |
| Full Idea: It was Frege who first made identity a logical notion, enshrining it above all in the formula (x) x=x. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9 |
| 16885 | To understand a thought, understand its inferential connections to other thoughts [Frege, by Burge] |
| Full Idea: Frege famously realised that understanding a thought requires understanding its inferential connections to other thoughts. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: If true, this is probably our greatest advance in grasping the concept of 'understanding' since Aristotle - but is it true? It is a striking and interesting idea, and central to the importance of Frege in modern analytic philosophy. |
| 16887 | Frege's concept of 'self-evident' makes no reference to minds [Frege, by Burge] |
| Full Idea: Frege's terms that translate 'self-evident' usually make no explicit reference to actual minds. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 4 | |
| A reaction: This follows the distinction in Aquinas, between things that are intrinsically self-evident, and things that are self-evident to particular people. God, presumably, knows all of the former. |
| 16894 | An apriori truth is grounded in generality, which is universal quantification [Frege, by Burge] |
| Full Idea: Generality for Frege is simply universal quantification; what makes a truth apriori is that its ultimate grounds are universally quantified. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Apriority (with ps) 2 |
| 16882 | The building blocks contain the whole contents of a discipline [Frege] |
| Full Idea: The ultimate building blocks of a discipline contain, as it were in a nutshell, its whole contents. | |
| From: Gottlob Frege (works [1890]), quoted by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: [Burge gives a reference] I would describe this nutshell as the 'essence' of the subject, and it fits Aristotle's concept of an essence perfectly. Does it fit biology or sociology, in the way it might fit maths or logic? Think of DNA or cells in biology. |
| 16876 | We need definitions to cram retrievable sense into a signed receptacle [Frege] |
| Full Idea: If we need such signs, we also need definitions so that we can cram this sense into the receptacle and also take it out again. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.209) | |
| A reaction: Has anyone noticed that Frege is the originator of the idea of the mental file? Has anyone noticed the role that definition plays in his account? |
| 16875 | We use signs to mark receptacles for complex senses [Frege] |
| Full Idea: We often need to use a sign with which we associate a very complex sense. Such a sign seems a receptacle for the sense, so that we can carry it with us, while being always aware that we can open this receptacle should we need what it contains. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.209) | |
| A reaction: This exactly the concept of a mental file, which I enthusiastically endorse. Frege even talks of 'opening the receptacle'. For Frege a definition (which he has been discussing) is the assigment of a label (the 'definiendum') to the file (the 'definiens'). |
| 5816 | Frege said concepts were abstract entities, not mental entities [Frege, by Putnam] |
| Full Idea: Frege, rebelling against 'psychologism', identified concepts (and hence 'intensions' or meanings) with abstract entities rather than mental entities. | |
| From: report of Gottlob Frege (works [1890]) by Hilary Putnam - Meaning and Reference p.119 | |
| A reaction: This, of course, assumes that 'abstract' entities and 'mental' entities are quite distinct things. A concept is presumably a mental item which has content, and the word 'concept' is simply ambiguous, between the container and the contents. |
| 7307 | A thought is not psychological, but a condition of the world that makes a sentence true [Frege, by Miller,A] |
| Full Idea: For Frege, a thought is not something psychological or subjective; rather, it is objective in the sense that it specifies some condition in the world the obtaining of which is necessary and sufficient for the truth of the sentence that expresses it. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.2 | |
| A reaction: It is worth emphasising Russell's anti-Berkeley point about 'ideas', that the idea is in the mind, but its contents are in the world. Since the contents are what matter, this endorses Frege, and also points towards modern externalism. |
| 16879 | A sign won't gain sense just from being used in sentences with familiar components [Frege] |
| Full Idea: No sense accrues to a sign by the mere fact that it is used in one or more sentences, the other constituents of which are known. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.213) | |
| A reaction: Music to my ears. I've never grasped how meaning could be grasped entirely through use. |
| 7309 | Frege's 'sense' is the strict and literal meaning, stripped of tone [Frege, by Miller,A] |
| Full Idea: Frege held that "and" and "but" have the same 'sense' but different 'tones' (note: they have the same truth tables); the sense of an expression is what a sentence strictly and literally means, stripped of its tone. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.6 | |
| A reaction: It seems important when studying Frege to remember what has been stripped out. In "he is a genius and he plays football", if you substitute 'but' for 'and', the new version says (literally?) something very distinctive about football. |
| 7312 | 'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Frege, by Miller,A] |
| Full Idea: Frege's introduction of 'sense' was motivated by the desire to solve three problems: the problem of bearerless names, the problem of substitution in belief contexts, and the problem of informativeness. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.9 | |
| A reaction: A proposal which solves three problems sounds pretty good! These three problems can be used to test the counter-proposals of Russell and Kripke. |
| 16873 | Thoughts are not subjective or psychological, because some thoughts are the same for us all [Frege] |
| Full Idea: A thought is not something subjective, is not the product of any form of mental activity; for the thought that we have in Pythagoras's theorem is the same for everybody. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.206) | |
| A reaction: When such thoughts are treated as if the have objective (platonic) existence, I become bewildered. I take a thought (or proposition) to be entirely psychological, but that doesn't stop two people from having the same thought. |
| 16872 | A thought is the sense expressed by a sentence, and is what we prove [Frege] |
| Full Idea: The sentence is of value to us because of the sense that we grasp in it, which is recognisably the same in a translation. I call this sense the thought. What we prove is not a sentence, but a thought. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.206) | |
| A reaction: The 'sense' is presumably the German 'sinn', and a 'thought' in Frege is what we normally call a 'proposition'. So the sense of a sentence is a proposition, and logic proves propositions. I'm happy with that. |
| 16874 | The parts of a thought map onto the parts of a sentence [Frege] |
| Full Idea: A sentence is generally a complex sign, so the thought expressed by it is complex too: in fact it is put together in such a way that parts of a thought correspond to parts of the sentence. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.207) | |
| A reaction: This is the compositional view of propositions, as opposed to the holistic view. |
| 7725 | 'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner] |
| Full Idea: 'It is raining or it is not raining' appears to true because of the general principle 'p or not-p', so it is analytic; but this does not fit Kant's idea of an analytic truth, because it is not obvious that it has a subject concept or a predicate concept. | |
| From: report of Gottlob Frege (works [1890]) by Joan Weiner - Frege Ch.2 | |
| A reaction: The general progress of logic seems to be a widening out to embrace problem sentences. However, see Idea 7315 for the next problem that arises with analyticity. All this culminates in Quine's attack (e.g. Idea 1624). |
| 7316 | Analytic truths are those that can be demonstrated using only logic and definitions [Frege, by Miller,A] |
| Full Idea: Frege (according to Quine) characterises analytic truths as those that can be demonstrated or proved using only logical laws and definitions as premises. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 4.2 | |
| A reaction: This is the big shift away from the Kantian version (predicate contained in the subject) towards a modern version, perhaps fixed by a truth table giving true for all values. |
| 3307 | Frege put forward an ontological argument for the existence of numbers [Frege, by Benardete,JA] |
| Full Idea: Frege put forward an ontological argument for the existence of numbers. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.4 |