15 ideas
8083 | Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin] |
Full Idea: Boole proposed to use the entire apparatus of a school algebra class, with operations such as addition and multiplication, methods to solve equations, and the like, to produce an algebra of thought. | |
From: report of George Boole (The Laws of Thought [1854]) by Keith Devlin - Goodbye Descartes Ch.3 | |
A reaction: The Stoics didn’t use any algebraic notation for their study of propositions, so Boole's idea launched full blown propositional logic, and the rest of modern logic followed. Nice one. |
7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once [Boole, by Weiner] |
Full Idea: Boole introduced a new symbolic notation in which it was possible to represent both syllogisms and propositional arguments, ...but not both at once. | |
From: report of George Boole (The Laws of Thought [1854], Ch.3) by Joan Weiner - Frege | |
A reaction: How important is the development of symbolic notations for the advancement of civilisations? Is there a perfect notation, as used in logical heaven? |
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
Full Idea: Boole (followed by Frege) began to turn logic from a branch of philosophy into a branch of mathematics. He brought an algebraic approach to propositions, and introduced the notion of a quantifier and a type of probabilistic reasoning. | |
From: report of George Boole (The Laws of Thought [1854], 3.2) by Michèle Friend - Introducing the Philosophy of Mathematics | |
A reaction: The result was that logic not only became more mathematical, but also more specialised. We now have two types of philosopher, those steeped in mathematical logic and the rest. They don't always sing from the same songsheet. |
22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |
Full Idea: Boole's work was an early example of the axiomatic method, whereby intellectual economy is achieved by studying a set of axioms in which the primitive terms have multiple interpretations. | |
From: report of George Boole (The Laws of Thought [1854]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Boole' | |
A reaction: Unclear about this. I suppose the axioms are just syntactic, and a range of semantic interpretations can be applied. Are De Morgan's Laws interpretations, or implications of the syntactic axioms? The latter, I think. |
16065 | Constitution is identity (being in the same place), or it isn't (having different possibilities) [Wasserman] |
Full Idea: Some insist that constitution is identity, on the grounds that distinct material objects cannot occupy the same place at the same time. Others argue that constitution is not identity, since the statue and its material differ in important respects. | |
From: Ryan Wasserman (Material Constitution [2009], Intro) | |
A reaction: The 'important respects' seem to concern possibilities rather than actualities, which is suspicious. It is misleading to think we are dealing with two things and their relation here. Objects must have constitutions; constitutions make objects. |
16067 | Constitution is not identity, because it is an asymmetric dependence relation [Wasserman] |
Full Idea: For those for whom 'constitution is not identity' (the 'constitution view'), constitution is said to be an asymmetric relation, and also a dependence relation (unlike identity). | |
From: Ryan Wasserman (Material Constitution [2009], 2) | |
A reaction: It seems obvious that constitution is not identity, because there is more to a thing's identity than its mere constitution. But this idea makes it sound as if constitution has nothing to do with identity (chalk and cheese), and that can't be right. |
16069 | There are three main objections to seeing constitution as different from identity [Wasserman] |
Full Idea: The three most common objections to the constitution view are the Impenetrability Objection (two things in one place?), the Extensionality Objection (mereology says wholes are just their parts), and the Grounding Objection (their ground is the same). | |
From: Ryan Wasserman (Material Constitution [2009], 2) | |
A reaction: [summary] He adds a fourth, that if two things can be in one place, why stop at two? [Among defenders of the Constitution View he lists Baker, Fine, Forbes, Koslicki, Kripke, Lowe, Oderberg, N.Salmon, Shoemaker, Simons and Yablo.] |
16068 | The weight of a wall is not the weight of its parts, since that would involve double-counting [Wasserman] |
Full Idea: We do not calculate the weight of something by summing the weights of all its parts - weigh bricks and the molecules of a wall and you will get the wrong result, since you have weighed some parts more than once. | |
From: Ryan Wasserman (Material Constitution [2009], 2) | |
A reaction: In fact the complete inventory of the parts of a thing is irrelevant to almost anything we would like to know about the thing. The parts must be counted at some 'level' of division into parts. An element can belong to many different sets. |
16074 | Relative identity may reject transitivity, but that suggests that it isn't about 'identity' [Wasserman] |
Full Idea: If the relative identity theorist denies transitivity (to deal with the Ship of Theseus, for example), this would make us suspect that relativised identity relations are not identity relations, since transitivity seems central to identity. | |
From: Ryan Wasserman (Material Constitution [2009], 6) | |
A reaction: The problem here, I think, focuses on the meaning of the word 'same'. One change of plank leaves you with the same ship, but that is not transitive. If 'identical' is too pure to give the meaning of 'the same' it's not much use in discussing the world. |
411 | If we succeed in speaking the truth, we cannot know we have done it [Xenophanes] |
Full Idea: No man has seen certain truth, and no man will ever know about the gods and other things I mentioned; for if he succeeds in saying what is fully true, he himself is unaware of it; opinion is fixed by fate on all things. | |
From: Xenophanes (fragments/reports [c.530 BCE], B34), quoted by Sextus Empiricus - Against the Professors (six books) 7.49.4 |
412 | If God had not created honey, men would say figs are sweeter [Xenophanes] |
Full Idea: If God had not created yellow honey, men would say that figs were sweeter. | |
From: Xenophanes (fragments/reports [c.530 BCE], B38), quoted by Herodian - On Peculiar Speech 41.5 |
1640 | The basic Eleatic belief was that all things are one [Xenophanes, by Plato] |
Full Idea: The Eleatic tribe, which had its beginnings from Xenophanes and still earlier, proceed on the grounds that all things so-called are one. | |
From: report of Xenophanes (fragments/reports [c.530 BCE]) by Plato - The Sophist 242d |
3055 | Xenophanes said the essence of God was spherical and utterly inhuman [Xenophanes, by Diog. Laertius] |
Full Idea: Xenophanes taught that the essence of God was of a spherical form, in no respect resembling man. | |
From: report of Xenophanes (fragments/reports [c.530 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.2.3 |
407 | Mortals believe gods are born, and have voices and clothes just like mortals [Xenophanes] |
Full Idea: Mortals believe the gods to be created by birth, and to have raiment, voice and body like mortals'. | |
From: Xenophanes (fragments/reports [c.530 BCE], B14), quoted by Clement - Miscellanies 5.109.2 |
408 | Ethiopian gods have black hair, and Thracian gods have red hair [Xenophanes] |
Full Idea: Ethiopians have gods with snub noses and black hair, Thracians have gods with grey eyes and red hair. | |
From: Xenophanes (fragments/reports [c.530 BCE], B16), quoted by Clement - Miscellanies 7.22.1 |