37 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. |
| 17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
| Full Idea: Gödel proved the completeness of first order predicate logic in his doctoral dissertation of 1930. | |
| From: report of Kurt Gödel (Completeness of Axioms of Logic [1930]) by Michal Walicki - Introduction to Mathematical Logic History E.2.2 |
| 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. |
| 21382 | Things get smaller without end [Anaxagoras] |
| Full Idea: Of the small there is no smallest, but always a smaller. | |
| From: Anaxagoras (fragments/reports [c.460 BCE], B03), quoted by Gregory Vlastos - The Physical Theory of Anaxagoras II | |
| A reaction: Anaxagoras seems to be speaking of the physical world (and probably writing prior to the emergence of atomism, which could have been a rebellion against he current idea). |
| 8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
| Full Idea: I am of the opinion that arithmetic is a further development of logic, which leads to the requirement that the symbolic language of arithmetic must be expanded into a logical symbolism. | |
| From: Gottlob Frege (Function and Concept [1891], p.30) | |
| A reaction: This may the the one key idea at the heart of modern analytic philosophy (even though logicism may be a total mistake!). Logic and arithmetical foundations become the master of ontology, instead of the servant. The jury is out on the whole enterprise. |
| 481 | Nothing is created or destroyed; there is only mixing and separation [Anaxagoras] |
| Full Idea: No thing comes into being or passes away, but it is mixed together or separated from existing things. Thus it would be correct if coming into being was called 'mixing', and passing away 'separation-off''. | |
| From: Anaxagoras (fragments/reports [c.460 BCE], B17), quoted by Simplicius - On Aristotle's 'Physics' 163.20 | |
| A reaction: I take this to be the first axiom of the new subject of chemistry. Our world is just patterns of Being. The bigger puzzle is - why those patterns? |
| 21822 | Anaxagoras's concept of supreme Mind has a simple First and a multiple One [Anaxagoras, by Plotinus] |
| Full Idea: Anaxagoras, in his assertion of a Mind pure and unmixed, affirms a simplex First and a sundered One, though writing long ago he failed in precision. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by Plotinus - The Enneads 5.1.09 | |
| A reaction: The crunch question is whether the supreme One or Mind is part of Being, or is above and beyond Being. Plotinus claims that Anaxagoras was on his side (with Plato, against Parmenides). |
| 18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
| Full Idea: Frege regarded the existence of horses as a property of the concept 'horse'. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by Fred Sommers - Intellectual Autobiography 'Realism' |
| 17995 | Basic is the potentially perceptible, then comes the contrary qualities, and finally the 'elements' [Anaxagoras] |
| Full Idea: We must recognise three 'originative sources': first that which is potentially perceptible body, secondly the contrarities (e.g hot and cold), and thirdly Fire, Water, and the like. Only thirdly, however, for these bodies change into one another. | |
| From: Anaxagoras (fragments/reports [c.460 BCE]), quoted by Aristotle - The History of Animals 529a34 | |
| A reaction: The 'potentially perceptible' seems to be matter. The surprise here is that the contraries are more basic than the elements, rather than being properties of them. Reality is modes of matter, it seems. |
| 4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
| Full Idea: Frege's theory of properties (which he calls 'concepts') yields too few properties, by identifying coextensive properties, and also too many, by letting every predicate express a property. | |
| From: comment on Gottlob Frege (Function and Concept [1891]) by DH Mellor / A Oliver - Introduction to 'Properties' §2 | |
| A reaction: Seems right; one extension may have two properties (have heart/kidneys), two predicates might express the same property. 'Cutting nature at the joints' covers properties as well as objects. |
| 8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
| Full Idea: I regard a regular definition of 'object' as impossible, since it is too simple to admit of logical analysis. Briefly: an object is anything that is not a function, so that an expression for it does not contain any empty place. | |
| From: Gottlob Frege (Function and Concept [1891], p.32) | |
| A reaction: Here is the core of the programme for deriving our ontology from our logic and language, followed through by Russell and Quine. Once we extend objects beyond the physical, it becomes incredibly hard to individuate them. |
| 20802 | Snow is not white, and doesn't even appear white, because it is made of black water [Anaxagoras, by Cicero] |
| Full Idea: Anaxagoras not only denied that snow was white, but because he knew that the water from which it was composed was black, even denied that it appeared white to himself. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by M. Tullius Cicero - Academica II.100 | |
| A reaction: Not ridiculous. Can you deny that red and yellow balls look orange from a distance? A failure of discrimination on your part. It sounds okay to say 'what I am really perceiving is red and yellow'. [see 'Anaxagoras' poem by D.H.Lawrence!] |
| 13257 | The senses are too feeble to determine the truth [Anaxagoras] |
| Full Idea: Owing to the feebleness of the sense, we are not able to determine the truth. | |
| From: Anaxagoras (fragments/reports [c.460 BCE], B21), quoted by Patricia Curd - Anaxagoras 5.1 | |
| A reaction: Anaxagoras offers a corresponding elevation of the power of mind (Idea 13256), so I now realise that he is, along with Pythagoras and Parmenides, one of the fathers of rationalism in philosophy. They probably overrate reason. |
| 22761 | We reveal unreliability in the senses when we cannot discriminate a slow change of colour [Anaxagoras, by Sext.Empiricus] |
| Full Idea: Our lack of sureness in the senses is shown if we take two colours, back and white, and pour one into the other drop by drop, we are unable to distinguish the gradual alterations although they subsist as actual facts. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by Sextus Empiricus - Against the Logicians (two books) I.090 | |
| A reaction: [Sextus calls Anaxagoras 'the greatest of the physicists'] I'm not sure what this proves. People with bad eyesight can distinguish very little, but that doesn't prove scepticism. And there are things too small for anyone to see. |
| 13256 | Nous is unlimited, self-ruling and pure; it is the finest thing, with great discernment and strength [Anaxagoras] |
| Full Idea: Nous is unlimited and self-ruling and has been mixed with no thing, but is alone itself by itself. ...For it is the finest of all things and the purest, and indeed it maintains all discernment about everything and has the greatest strength. | |
| From: Anaxagoras (fragments/reports [c.460 BCE], B12), quoted by Patricia Curd - Anaxagoras 3.3 | |
| A reaction: Anaxagoras seems to have been a pioneer in elevating the status of the mind, which is a prop to the rationalist view, and encourages dualism. More naturalistic accounts are, in my view, much healthier. |
| 13784 | Mind is self-ruling, pure, ordering and ubiquitous [Anaxagoras, by Plato] |
| Full Idea: Anaxagoras says that mind is self-ruling, mixes with nothing else, orders the things that are, and travels through everything. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by Plato - Cratylus 413c | |
| A reaction: This elevation of the mind in the natural scheme of things by Anaxagoras looks increasingly significant in western culture to me. Without this line of thought, Descartes and Kant are inconceivable. |
| 5118 | Anaxagoras says mind remains pure, and so is not affected by what it changes [Anaxagoras, by Aristotle] |
| Full Idea: Anaxagoras says that intellect (which is a cause of change) is not affected by or mixed in with anything else; for this is the only way in which it can cause change, while being itself changeless, and control things without mixing with them. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by Aristotle - Physics 256b24 | |
| A reaction: I suggest that this is the germ of the original concept of freewill - of the mind as somehow outside the causal processes of the world, so that it can initiate change without itself being affected by other causes. Aristotle says he's right; I disagree. |
| 9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
| Full Idea: Concepts, for Frege, are the ontological counterparts of predicative expressions. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: That sounds awfully like what many philosophers call 'universals'. Frege, as a platonist (at least about numbers), I would take to be in sympathy with that. At least we can say that concepts seem to be properties. |
| 10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
| Full Idea: Frege had a notorious difficulty over the concept 'horse', when he suggests that if we wish to assert something about a concept, we are obliged to proceed indirectly by speaking of an object that represents it. | |
| From: report of Gottlob Frege (Function and Concept [1891], Ch.2.II) by Bob Hale - Abstract Objects | |
| A reaction: This sounds like the thin end of a wedge. The great champion of objects is forced to accept them here as a façon de parler, when elsewhere they have ontological status. |
| 8488 | A concept is a function whose value is always a truth-value [Frege] |
| Full Idea: A concept in logic is closely connected with what we call a function. Indeed, we may say at once: a concept is a function whose value is always a truth-value. ..I give the name 'function' to what is meant by the 'unsaturated' part. | |
| From: Gottlob Frege (Function and Concept [1891], p.30) | |
| A reaction: So a function becomes a concept when the variable takes a value. Problems arise when the value is vague, or the truth-value is indeterminable. |
| 9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
| Full Idea: For Frege, concepts differ from objects in being inherently incomplete in nature. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: This is because they are 'unsaturated', needing a quantified variable to complete the sentence. This could be a pointer towards Quine's view of properties, as simply an intrinsic feature of predication about objects, with no separate identity. |
| 4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
| Full Idea: From sameness of meaning there does not follow sameness of thought expressed. A fact about the Morning Star may express something different from a fact about the Evening Star, as someone may regard one as true and the other false. | |
| From: Gottlob Frege (Function and Concept [1891], p.14) | |
| A reaction: This all gets clearer if we distinguish internalist and externalist theories of content. Why take sides on this? Why not just ask 'what is in the speaker's head?', 'what does the sentence mean in the community?', and 'what is the corresponding situation?' |
| 18231 | Anaxagoras said a person would choose to be born to contemplate the ordered heavens [Anaxagoras] |
| Full Idea: When Anaxagoras was asked what it was for which a person would choose to be born rather than not, he said it would be to apprehend the heavens and the order in the whole universe. | |
| From: Anaxagoras (fragments/reports [c.460 BCE], 1216), quoted by Aristotle - Eudemian Ethics 8 'Finality' | |
| A reaction: [Anaxagoras, quoted by Aristotle, quoted by Korsgaard, quoted by me, and then quoted by you, perhaps] |
| 631 | For Anaxagoras the Good Mind has no opposite, and causes all movement, for a higher reason [Anaxagoras, by Aristotle] |
| Full Idea: Anaxagoras says the good is a principle as the source of movement, in the form of Mind. However it does it for the sake of something else, which is a further factor. And he allows no opposite to the good Mind. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by Aristotle - Metaphysics 1075b |
| 22727 | Mind creates the world from a mixture of pure substances [Anaxagoras, by ] |
| Full Idea: Anaxagoras assumed that Mind, which is God, is the efficient principle, and the multi-mixture of homoeomeries is the material principle. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by - I.6 | |
| A reaction: The choice of homoeomeries as basic is a good one. They are much better candidates than materials which are made of parts of a quite different kind, where the parts are a better candidate than the whole. |
| 21383 | The ultimate constituents of reality are the homoeomeries [Anaxagoras, by Vlastos] |
| Full Idea: Anaxagoras contrasts with other thinkers in the formula that his 'elements' were not the air of Anaximenes or the fire of Heraclitus or the roots of Empedocles or the atoms of Leucippus, but the infinite variety of homoiomereia. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by Gregory Vlastos - The Physical Theory of Anaxagoras III | |
| A reaction: Not sure about the 'roots' of Empedocles. Anaxagoras is particularly thinking of the basic stuffs that make up the body, such as hair, bone and blood. It is plausible to reduce everything to stuffs that seem to have no further structure. |
| 550 | Anaxagoras said that the number of principles was infinite [Anaxagoras, by Aristotle] |
| Full Idea: Anaxagoras said that the number of principles was infinite. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by Aristotle - Metaphysics 984a |
| 13208 | Anaxagoreans regard the homoeomeries as elements, which compose earth, air, fire and water [Anaxagoras, by Aristotle] |
| Full Idea: The followers of Anaxagoras regard the 'homoeomeries' as 'simple' and elements, whilst they affirm that Earth, Fire, Water and Air are composite; for each of these is (according to them) a 'common seminary' of all the homoeomeries. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 314a28 | |
| A reaction: Compare Idea 13207. Aristotle is amused that the followers of Empedocles and of Anaxagoras have precisely opposite views on this subject. |
| 367 | Anaxagoras says mind produces order and causes everything [Anaxagoras, by Plato] |
| Full Idea: Anaxagoras asserted that it is mind that produces order and is the cause of everything. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by Plato - Phaedo 097d |
| 21381 | Germs contain microscopic organs, which become visible as they grow [Anaxagoras] |
| Full Idea: In the germ there are hair, nails, arteries, sinews, bones, which are not manifest because of the smallness of their parts, but become distinct little by little as they grow. For how could hair come from not-hair, or flesh from non-flesh. | |
| From: Anaxagoras (fragments/reports [c.460 BCE], B10), quoted by Gregory Vlastos - The Physical Theory of Anaxagoras I | |
| A reaction: Compare Aristotle's apparent view that the physical world has no microscopic structure, and Democritus's view that hair can come from not-hair by the organisation of atoms. Is this the first suggestion that we need to know what is microscopic? |
| 2629 | Anaxagoras was the first to say that the universe is directed by an intelligence [Anaxagoras, by Cicero] |
| Full Idea: Anaxagoras, pupil of Anaximenes, was the first to maintain that the form and motion of the universe was determined and directed by the power and purpose of an infinite intelligence. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') I.26 |
| 22726 | When things were unified, Mind set them in order [Anaxagoras] |
| Full Idea: All things were together, and Mind came and set them in order. | |
| From: Anaxagoras (fragments/reports [c.460 BCE]) | |
| A reaction: This is presumably the source for the passionate belief of Plato in the importance of order. Existence seems like chaos, with order residing beneath it, but we can wonder whether if we go even deeper it is chaos again. |
| 8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |
| Full Idea: The ontological proof of God's existence suffers from the fallacy of treating existence as a first-level concept. | |
| From: Gottlob Frege (Function and Concept [1891], p.38 n) | |
| A reaction: [See Idea 8490 for first- and second-order functions] This is usually summarised as the idea that existence is a quantifier rather than a predicate. |
| 480 | Past, present and future, and the movements of the heavens, were arranged by Mind [Anaxagoras] |
| Full Idea: Whatever was then in existence which is not now, and all things that now exist, and whatever shall exist - all were arranged by Mind, as also the revolution followed now by the stars, the sun and the moon. | |
| From: Anaxagoras (fragments/reports [c.460 BCE], B12), quoted by Simplicius - On Aristotle's 'Physics' 164.24 |
| 7488 | Anaxagoras was the first recorded atheist [Anaxagoras, by Watson] |
| Full Idea: Anaxagoras was the first recorded atheist. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by Peter Watson - Ideas Ch.25 | |
| A reaction: He was a very lively character, right in the middle of the Athenian golden age. |
| 5956 | Anaxagoras was charged with impiety for calling the sun a lump of stone [Anaxagoras, by Plutarch] |
| Full Idea: Anaxagoras was charged with impiety because he called the sun a lump of stone. | |
| From: report of Anaxagoras (fragments/reports [c.460 BCE]) by Plutarch - 14: Superstition §9 | |
| A reaction: The point is that he was supposed to say that the sun is a god. |