12 ideas
2626 | A philosopher is outside any community of ideas [Wittgenstein] |
Full Idea: The philosopher is not a citizen of any community of ideas; that is what makes him a philosopher. | |
From: Ludwig Wittgenstein (Zettel [1950], 455) | |
A reaction: A bit surprising from the man who gave us 'language games' and 'private language argument'. |
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. |
6569 | 'This sentence is false' sends us in a looping search for its proposition [Wittgenstein, by Fogelin] |
Full Idea: According to Wittgenstein, 'this sentence is false' sends us off on an endless, looping search for the proposition to be evaluated. | |
From: report of Ludwig Wittgenstein (Zettel [1950], §691) by Robert Fogelin - Walking the Tightrope of Reason Ch.2 | |
A reaction: Fogelin quotes this as one possible strategy for dealing with the Liar Paradox. It doesn't sound like much of a solution to the paradox, merely an account of why it is so annoying. Wittgenstein's challenge is that the Cretan can't state his problem. |
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) |
3790 | Causes of beliefs are irrelevant to their contents [Wittgenstein] |
Full Idea: The causes of our belief in a proposition are indeed irrelevant to the question of what we believe. | |
From: Ludwig Wittgenstein (Zettel [1950], i.437) | |
A reaction: This should have nipped the causal theory of knowledge in the bud before it got started. Everyone has a different cause for their belief that 'it sometimes rains'. Cause is not justification. |
3102 | Why don't we experience or remember going to sleep at night? [Magee] |
Full Idea: As a child it was incomprehensible to me that I did not experience going to sleep, and never remembered it. When my sister said 'Nobody remembers that', I just thought 'How does she know?' | |
From: Bryan Magee (Confessions of a Philosopher [1997], Ch.I) | |
A reaction: This is actually evidence for something - that we do not have some sort of personal identity which is separate from consciousness, so that "I am conscious" would literally mean that an item has a property, which it can lose. |