15 ideas
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
| A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
| From: Ian Rumfitt ("Yes" and "No" [2000]) | |
| A reaction: This is the standard view which Rumfitt sets out to challenge. |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
| A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| Full Idea: By a 'propositional function' I mean something which contains a variable x, and expresses a proposition as soon as a value is assigned to x. That is to say, it differs from a proposition solely by the fact that it is ambiguous. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.216) | |
| A reaction: This is Frege's notion of a 'concept', as an assertion of a predicate which still lacks a subject. |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| Full Idea: Such a proposition as 'all the judgements made by Epimenedes are true' will only be prima facie capable of truth if all his judgements are of the same order. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.227) | |
| A reaction: This is an attempt to use his theory of types to solve the Liar. Tarski's invocation of a meta-language is clearly in the same territory. |
| 23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
| Full Idea: Russell's theory of types meant that features common to different levels of the hierarchy became uncapturable (since any attempt to capture them would involve a predicate which disobeyed the hierarchy restrictions). | |
| From: comment on Bertrand Russell (The Theory of Logical Types [1910]) by Michael Morris - Guidebook to Wittgenstein's Tractatus 2H | |
| A reaction: I'm not clear whether this is the main reason why type theory was abandoned. Ramsey was an important critic. |
| 21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
| Full Idea: In Russell's mature 1910 theory of types classes are defined in terms of propositional functions, and functions themselves are regimented by a ramified theory of types mitigated by the axiom of reducibility. | |
| From: report of Bertrand Russell (The Theory of Logical Types [1910]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.133 |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| Full Idea: We will define a function of one variable as 'predicative' when it is of the next order above that of its arguments, i.e. of the lowest order compatible with its having an argument. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.237) | |
| A reaction: 'Predicative' just means it produces a set. This is Russell's strict restriction on which functions are predicative. |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
| A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
| 7602 | In the Bible God changes his mind (repenting of creating humanity, in the Flood) [Armstrong,K] |
| Full Idea: In the Bible God changes his mind, as when he repents of having made man and decides to destroy the human race in the Flood. | |
| From: Karen Armstrong (A History of God [1993], Ch.1) | |
| A reaction: It becomes apparent that the most startling feature of Christian fundamentalism is its uncritical reading of the Bible, in which passages are wilfully lifted from context, and inconvenient inconsistencies are ruthlessly ignored. |
| 7605 | Monotheism introduced intolerance into religious thinking [Armstrong,K] |
| Full Idea: We have become so used to the intolerance of monotheism that we may not appreciate that its hostility towards other gods was a new religious attitude; paganism was an essentially tolerant faith. | |
| From: Karen Armstrong (A History of God [1993], Ch.2) | |
| A reaction: The comedian Dave Allen always signed off with "may your god go with you". To me the most striking feature of monotheists is frequently their barely controlled aggression, beneath a mask of strained compassion. |
| 7599 | Around 800 BCE teachers superseded gods in India [Armstrong,K] |
| Full Idea: Around the eighth century BCE the gods ceased to be very important in India, and would be superseded by the religious teacher, who would be considered higher than the gods. | |
| From: Karen Armstrong (A History of God [1993], Ch.1) | |
| A reaction: At least there has been one culture that gave an appropriate status to teachers. It seems astonishing in that age that human beings could have higher status than gods - way before the European 'humanists'. |
| 7597 | There is virtually no sign of monotheism in the Pentateuch [Armstrong,K] |
| Full Idea: It is very difficult to find a single monotheistic statement in the whole of the Pentateuch, and even the Ten Commandments take the existence of other gods for granted ("There shall be no strange gods for you before my face"). | |
| From: Karen Armstrong (A History of God [1993], Ch.1) | |
| A reaction: The transition from polytheism to monotheism is very strange. First God is 'jealous' of other gods, then supremely above them, and eventually totally exclusive. It's like watching the rise of Stalin. |
| 7606 | The idea that Jesus was God was only settled in the fourth century [Armstrong,K] |
| Full Idea: Jesus himself certainly never claimed to be God, and the doctrine that Jesus had been God in human form was not finalised until the fourth century. | |
| From: Karen Armstrong (A History of God [1993], Ch.3) | |
| A reaction: It was this final view which seems to have provoked Muhammed into developing a religion with the slogan "there is only one God". In Christianity an initially promising set of teachings grew into a prolonged irrational hysteria. |
| 7596 | Faith is not just belief in propositions, but also putting trust in them [Armstrong,K] |
| Full Idea: There is a distinction between belief in a set of propositions and a faith which enables us to put our trust in them. | |
| From: Karen Armstrong (A History of God [1993], Intro) | |
| A reaction: This is interestingly distinct from the usual idea that faith is putting belief in propositions which are not sufficiently rationally justified. How many philosophers actually have faith in the propositions they say they believe? |