12 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) |
| 21354 | It may be that internal relations like proportion exist, because we directly perceive it [MacBride] |
| Full Idea: Some philosophers maintain that we literally perceive proportions and other internal relations. These relations must exist, otherwise we couldn't perceive them. | |
| From: Fraser MacBride (Relations [2016], 3) | |
| A reaction: [He cites Mulligan 1991, and Hochberg 2013:232] This seems a rather good point. You can't perceive the differing heights of two people, yet fail to perceive that one is taller. You also perceive 'below', which is external. |
| 21353 | Internal relations are fixed by existences, or characters, or supervenience on characters [MacBride] |
| Full Idea: Internal relations are determined either by the mere existence of the things they relate, or by their intrinsic characters, or they supervene on the intrinsic characters of the things they relate. | |
| From: Fraser MacBride (Relations [2016], 3) | |
| A reaction: Suggesting that they 'supervene' doesn't explain anything (and supervenience never explains anything). I vote for the middle one - the intrinsic character. It has to be something about the existence, and not the mere fact of existence. |
| 21352 | 'Multigrade' relations are those lacking a fixed number of relata [MacBride] |
| Full Idea: A 'unigrade' relation R has a definite degree or adicity: R is binary, or ternary....or n-ary (for some unique n). By contrast a relation is 'multigrade' if it fails to be unigrade. Causation appears to be multigrade. | |
| From: Fraser MacBride (Relations [2016], 1) | |
| A reaction: He also cites entailment, which may have any number of premises. |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |