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) |
| 15148 | Powers give explanations, without being necessary for some class membership [Chakravartty] |
| Full Idea: Powers explain behaviours regardless of whether they are necessary for membership in a particular class of things. | |
| From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 3) | |
| A reaction: This seems right, and is important for driving a wedge between powers and essences. If there are essences, they are not simply some bunch of powers. |
| 15145 | A kind essence is the necessary and sufficient properties for membership of a class [Chakravartty] |
| Full Idea: The modern concept of a kind essence is a set of intrinsic properties that are individually necessary and jointly sufficient for the membership of something in a class of things, or 'kind'. | |
| From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 2) | |
| A reaction: I am always struck by the problem that the kind itself is constructed from the individuals, so circularity always seems to loom. |
| 15147 | Cluster kinds are explained simply by sharing some properties, not by an 'essence' [Chakravartty] |
| Full Idea: The fact that members of some cluster kinds are subjects of causal generalizations reflects the degree to which they share causally efficacious properties, not the fact that they may be composed of essence kinds per se. | |
| From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 2) | |
| A reaction: I think this is right. I am a fan of individual essences, but not of kind essences. I take kinds, and kind explanations, to be straightforward inductive generalisations from individuals. Extreme stabilities give the illusion of a kind essence. |
| 15144 | Explanation of causal phenomena concerns essential kinds - but also lack of them [Chakravartty] |
| Full Idea: Scientific practices such as prediction and explanation regarding causal phenomena are concerned not merely with kinds having essences, but also with kinds lacking them. | |
| From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 1) | |
| A reaction: Not quite clear what he has in mind, but explanation should certainly involve a coherent picture, and not just the citation of some underlying causal mechanism. |
| 15146 | Some kinds, such as electrons, have essences, but 'cluster kinds' do not [Chakravartty] |
| Full Idea: Many of the kinds we theorize about and experiment on today simply do not have essences. We can distinguish 'essence kinds', such as electrons, and 'cluster kinds', such as biological species. | |
| From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 2) | |
| A reaction: This is an important point for essentialists. He offers a strict criterion, in Idea 15145, for mind membership, but we might allow species to have essences by just relaxing the criteria a bit, and acknowledging some vagueness, especially over time. |
| 15151 | Many causal laws do not refer to kinds, but only to properties [Chakravartty] |
| Full Idea: Causal laws often do not make reference to kinds of objects at all, but rather summarize relations between quantitative, causally efficacious properties of objects. | |
| From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 3) | |
| A reaction: This would only be a serious challenge if it was not possible to translate talk of properties into talk of kinds, and vice versa. |
| 15877 | The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré] |
| Full Idea: In Poincaré's view, we try to construct a language within which the brute facts of experience are expressed as comprehensively and as elegantly as possible. The job of science is the forging of a language precisely suited to that purpose. | |
| From: report of Henri Poincaré (The Value of Science [1906], Pt III) by Rom Harré - Laws of Nature 2 | |
| A reaction: I'm often struck by how obscure and difficult our accounts of self-evident facts can be. Chairs are easy, and the metaphysics of chairs is hideous. Why is that? I'm a robust realist, but I like Poincaré's idea. He permits facts. |