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? |
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
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. |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
A reaction: Each expansion brings a limitation, but then you can expand again. |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
15473 | How does anything get outside itself? [Fodor, by Martin,CB] |
Full Idea: Fodor asks the stirring and basic question 'How does anything get outside itself?' | |
From: report of Jerry A. Fodor (works [1986]) by C.B. Martin - The Mind in Nature 03.6 | |
A reaction: Is this one of those misconceived questions, like major issues concerning 'what's it like to be?' In what sense am I outside myself? Is a mind any more mysterious than a shadow? |
2981 | Is intentionality outwardly folk psychology, inwardly mentalese? [Lyons on Fodor] |
Full Idea: For Fodor the intentionality of the propositional-attitude vocabulary of our folk psychology is the outward expression of the inward intentionality of the language of the brain. | |
From: comment on Jerry A. Fodor (works [1986]) by William Lyons - Approaches to Intentionality p.39 | |
A reaction: I would be very cautious about this. Folk psychology works, so it must have a genuine basis in how brains work, but it breaks down in unusual situations, and might even be a total (successful) fiction. |
2985 | Are beliefs brains states, but picked out at a "higher level"? [Lyons on Fodor] |
Full Idea: Fodor holds that beliefs are brain states or processes, but picked out at a 'higher' or 'special science' level. | |
From: comment on Jerry A. Fodor (works [1986]) by William Lyons - Approaches to Intentionality p.82 | |
A reaction: I don't think you can argue with this. Levels of physical description exist (e.g. pure physics tells you nothing about the weather), and I think 'process' is the best word for the mind (Idea 4931). |
3135 | Is thought a syntactic computation using representations? [Fodor, by Rey] |
Full Idea: The modest mentalism of the Computational/Representational Theory of Thought (CRTT), associated with Fodor, says mental processes are computational, defined over syntactically specified entities, and these entities represent the world (are also semantic). | |
From: report of Jerry A. Fodor (works [1986]) by Georges Rey - Contemporary Philosophy of Mind Int.3 | |
A reaction: This seems to imply that if you built a machine that did all these things, it would become conscious, which sounds unlikely. Do footprints 'represent' feet, or does representation need prior consciousness? |
2983 | Maybe narrow content is physical, broad content less so [Lyons on Fodor] |
Full Idea: Fodor is concerned with producing a realist and physicalist account of 'narrow content' (i.e. wholly in-the-head content). | |
From: comment on Jerry A. Fodor (works [1986]) by William Lyons - Approaches to Intentionality p.54 | |
A reaction: The emergence of 'wide' content has rather shaken Fodor's game plan. We can say "Oh dear, I thought I was referring to H2O", so there must be at least some narrow aspect to reference. |