8 ideas
| 9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
| Full Idea: Logic is part of a normative theory of thinking, not a substitute for thinking. | |
| From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.13) | |
| A reaction: There is some sort of logicians' dream, going back to Leibniz, of a reasoning engine, which accepts propositions and outputs inferences. I agree with this idea. People who excel at logic are often, it seems to me, modest at philosophy. |
| 16489 | Is it possible to state every possible truth about the whole course of nature without using 'not'? [Russell] |
| Full Idea: Imagine a person who knew everything that can be stated without using the word 'not' or some equivalent; would such a person know the whole course of nature, or would he not? | |
| From: Bertrand Russell (Human Knowledge: its scope and limits [1948], 9) | |
| A reaction: Nowadays we might express Russell's thought as 'Does God need the word 'not'?'. Russell's thesis is that such words concern psychology, and not physics. God would need 'not' to describe how human minds work. |
| 14665 | We can call the quality of Plato 'Platonity', and say it is a quality which only he possesses [Boethius] |
| Full Idea: Let the incommunicable property of Plato be called 'Platonity'. For we can call this quality 'Platonity' by a fabricated word, in the way in which we call the quality of man 'humanity'. Therefore this Platonity is one man's alone - Plato's. | |
| From: Boethius (Librium de interpretatione editio secunda [c.516], PL64 462d), quoted by Alvin Plantinga - Actualism and Possible Worlds 5 | |
| A reaction: Plantinga uses this idea to reinstate the old notion of a haecceity, to bestow unshakable identity on things. My interest in the quotation is that the most shocking confusions about properties arose long before the invention of set theory. |
| 9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
| Full Idea: Vagueness in respect of membership is consistency with determinacy of the set's identity, so long as a set's identity is taken to consist, not in its having such-and-such members, but in its being the extension of a concept. | |
| From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.5) | |
| A reaction: I find this view of sets much more appealing than the one that identifies a set with its members. The empty set is less of a problem, as well as non-existents. Logicians prefer the extensional view because it is tidy. |
| 16490 | Some facts about experience feel like logical necessities [Russell] |
| Full Idea: The impossibility of seeing two colours simultaneously in a given direction feels like a logical impossibility. | |
| From: Bertrand Russell (Human Knowledge: its scope and limits [1948], 9) | |
| A reaction: I presume all necessities feel equally necessary. If we distinguish necessities by what gives rise to them (a view I favour) then how strong they 'feel' will be irrelevant. We can see why Russell is puzzled by the phenomenon, though. |
| 16488 | It is hard to explain how a sentence like 'it is not raining' can be found true by observation [Russell] |
| Full Idea: If 'it is not raining' means 'the sentence "it is raining" is false', that makes it almost impossible to understand how a sentence containing the word 'not' can be found true by observation. | |
| From: Bertrand Russell (Human Knowledge: its scope and limits [1948], 9) | |
| A reaction: Russell goes on to explore the general difficulty of deciding negative truths by observation. The same problem arises for truthmaker theory. Obviously I can observe that it isn't raining, but it seems parasitic on observing when it is raining. |
| 16491 | If we define 'this is not blue' as disbelief in 'this is blue', we eliminate 'not' as an ingredient of facts [Russell] |
| Full Idea: We can reintroduce 'not' by a definition: the words 'this is not blue' are defined as expressing disbelief in what is expressed by the words 'this is blue'. In this way the need of 'not' as an indefinable constituent of facts is avoided. | |
| From: Bertrand Russell (Human Knowledge: its scope and limits [1948], 9) | |
| A reaction: This is part of Russell's programme of giving a psychological account of logical connectives. See other ideas from his 1940 and 1948 works. He observes that disbelief is a state just as positive as belief. I love it. |
| 4786 | Russell's 'at-at' theory says motion is to be at the intervening points at the intervening instants [Russell, by Psillos] |
| Full Idea: To reply to Zeno's Arrow Paradox, Russell developed his 'at-at' theory of motion, which says that to move from A to B is to be at the intervening points at the intervening instants. | |
| From: report of Bertrand Russell (Human Knowledge: its scope and limits [1948]) by Stathis Psillos - Causation and Explanation §4.2 | |
| A reaction: I wonder whether Russell's target was actually Zeno, or was it a simplified ontology of points and instants? The ontology will also need identity, to ensure it is the same thing which arrives at each point. |