15 ideas
| 10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
| Full Idea: A logic is a collection of closely related artificial languages, and its older meaning is the study of the rules of sound argument. The languages can be used as a framework for studying rules of argument. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.1) | |
| A reaction: [Hodges then says he will stick to the languages] The suspicion is that one might confine the subject to the artificial languages simply because it is easier, and avoids the tricky philosophical questions. That approximates to computer programming. |
| 10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
| Full Idea: To have a truth-value, a first-order formula needs an 'interpretation' (I) of its constants, and a 'valuation' (ν) of its variables. Something in the world is attached to the constants; objects are attached to variables. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.3) |
| 10284 | There are three different standard presentations of semantics [Hodges,W] |
| Full Idea: Semantic rules can be presented in 'Tarski style', where the interpretation-plus-valuation is reduced to the same question for simpler formulas, or the 'Henkin-Hintikka style' in terms of games, or the 'Barwise-Etchemendy style' for computers. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.3) | |
| A reaction: I haven't yet got the hang of the latter two, but I note them to map the territory. |
| 10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
| Full Idea: I |= φ means that the formula φ is true in the interpretation I. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.5) | |
| A reaction: [There should be no space between the vertical and the two horizontals!] This contrasts with |-, which means 'is proved in'. That is a syntactic or proof-theoretic symbol, whereas |= is a semantic symbol (involving truth). |
| 10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
| Full Idea: Downward Löwenheim-Skolem (the weakest form): If L is a first-order language with at most countably many formulas, and T is a consistent theory in L. Then T has a model with at most countably many elements. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) |
| 10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
| Full Idea: Upward Löwenheim-Skolem: every first-order theory with infinite models has arbitrarily large models. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) |
| 10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
| Full Idea: Compactness Theorem: suppose T is a first-order theory, ψ is a first-order sentence, and T entails ψ. Then there is a finite subset U of T such that U entails ψ. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) | |
| A reaction: If entailment is possible, it can be done finitely. |
| 10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
| Full Idea: A 'set' is a mathematically well-behaved class. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.6) |
| 7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
| Full Idea: Libet himself points out that the conscious decisions still have the power to 'endorse' or 'cancel', so to speak, the processes initiated by the earlier cortical activity: no action will result if the action's execution is consciously countermanded. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by David Papineau - Thinking about Consciousness 1.4 | |
| A reaction: This is why Libet's findings do not imply 'epiphenomenalism'. It seems that part of a decisive action is non-conscious, undermining the all-or-nothing view of consciousness. Searle tries to smuggle in free will at this point (Idea 3817). |
| 6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |
| Full Idea: Libet found that a subject's conscious choice to move was about a fifth of a second before movement, and thus later than the onset of the brain's so-called 'readiness potential', which seems to imply that unconscious processes initiates action. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.9 | |
| A reaction: Of great interest to philosophers! It seems to make conscious choices epiphenomenal. The key move, I think, is to give up the idea of consciousness as being all-or-nothing. My actions are still initiated by 'me', but 'me' shades off into unconsciousness. |
| 23061 | Free atheism should start by questioning its faith in humanity [Gray] |
| Full Idea: A free-thinking atheism would begin by questioning the prevailing faith in humanity. But there is little prospect of contemporary atheists giving up their reverence for this phantom. | |
| From: John Gray (Seven Types of Atheism [2018], Conc) | |
| A reaction: He seems to be referring to 'humanism', which I take to be quite different from atheism. I take it as obvious that simple atheism is entirely neutral on the question of whether we should have 'faith' in humanity (which presumably mean optimism). |
| 23057 | Gnosticism has a supreme creator God, giving way to a possibly hostile Demiurge [Gray] |
| Full Idea: Gnostic traditions envisage a supreme God that created the universe and then withdrew into itself, leaving the world to be ruled by a lesser god, or Demiurge, which might be indifferent or hostile to mankind. | |
| From: John Gray (Seven Types of Atheism [2018], Intro) | |
| A reaction: It doesn't seem to solve any problems, given that the first God is 'supreme', and is therefore responsible for the introduction and actions of the later Demiurge. |
| 23056 | Judaism only became monotheistic around 550 BCE [Gray] |
| Full Idea: It was only sometime around the sixth century BC, during the period when the Israelites returned to Jerusalem, that the idea that there is only one God emerged in Jewish religion. | |
| From: John Gray (Seven Types of Atheism [2018], Intro) | |
| A reaction: There seems to be a parallel move among the Greeks to elevate Zeus to special status. |
| 23055 | Christians introduced the idea that a religion needs a creed [Gray] |
| Full Idea: The notion that religions are creeds - lists of propositions or doctrines that everyone must accept or reject - emerged only with Christianity. | |
| From: John Gray (Seven Types of Atheism [2018], Intro) | |
| A reaction: With a creed comes the possibility of heresy. I''m not happy with children being taught to recite something which begins 'I believe…', but which they have never thought about and barely understand. |
| 23058 | Buddhism has no divinity or souls, and the aim is to lose the illusion of a self [Gray] |
| Full Idea: Buddhism says nothing of any divine mind and rejects any idea of the soul. The world consists of processes and events. The human sense of self is an illusion; freedom is found in ridding oneself of this illusion. | |
| From: John Gray (Seven Types of Atheism [2018], Intro) | |
| A reaction: I'm not clear why shaking off the illusion of a self is a superior state. Freedom to do what? Presumably nothing at all, since there is no self to desire anything. |