16 ideas
| 15842 | An ad hominem refutation is reasonable, if it uses the opponent's assumptions [Harte,V] |
| Full Idea: Judicious use of an opponent's assumptions is quite capable of producing a perfectly reasonable ad hominem refutation of the opponent's thesis. | |
| From: Verity Harte (Plato on Parts and Wholes [2002], 1.6) |
| 15841 | Mereology began as a nominalist revolt against the commitments of set theory [Harte,V] |
| Full Idea: Historically, the evolution of mereology was associated with the desire to find alternatives to set theory for those with nomimalist qualms about the commitment to abstract objects like sets. | |
| From: Verity Harte (Plato on Parts and Wholes [2002], 1.2) | |
| A reaction: Goodman, for example. It is interesting to note that the hardline nominalist Quine, pal of Goodman, eventually accepted set theory. It is difficult to account for things by merely naming their parts. |
| 18812 | Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt] |
| Full Idea: Tarski made a division of logical and non-logical vocabulary. He then defined a model as a non-logical assignment satisfying the corresponding sentential function. Then a conclusion follows logically if every model of the premises models the conclusion. | |
| From: report of Alfred Tarski (The Concept of Logical Consequence [1936]) by Ian Rumfitt - The Boundary Stones of Thought 3.2 | |
| A reaction: [compressed] This is Tarski's account of logical consequence, which follows on from his account of truth. 'Logical validity' is then 'true in every model'. Rumfitt doubts whether Tarski has given the meaning of 'logical consequence'. |
| 13344 | X follows from sentences K iff every model of K also models X [Tarski] |
| Full Idea: The sentence X follows logically from the sentences of the class K if and only if every model of the class K is also a model of the sentence X. | |
| From: Alfred Tarski (The Concept of Logical Consequence [1936], p.417) | |
| A reaction: [see Idea 13343 for his account of a 'model'] He is offering to define logical consequence in general, but this definition fits what we now call 'semantic consequence', written |=. This it is standard practice to read |= as 'models'. |
| 13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
| Full Idea: An arbitrary sequence of objects which satisfies every sentential function of the sentences L' will be called a 'model' or realization of the class L of sentences. There can also be a model of a single sentence is this way. | |
| From: Alfred Tarski (The Concept of Logical Consequence [1936], p.417) | |
| A reaction: [L' is L with the constants replaced by variables] Tarski is the originator of model theory, which is central to modern logic. The word 'realization' is a helpful indicator of what he has in mind. A model begins to look like a possible world. |
| 15858 | Traditionally, the four elements are just what persists through change [Harte,V] |
| Full Idea: Earth, air, fire and water, viewed as elements, are, by tradition, the leading candidates for being the things that persist through change. | |
| From: Verity Harte (Plato on Parts and Wholes [2002], 4.4) | |
| A reaction: Physics still offers us things that persist through change, as conservation laws. |
| 15848 | Mereology treats constitution as a criterion of identity, as shown in the axiom of extensionality [Harte,V] |
| Full Idea: Mereologists do suppose that constitution is a criterion of identity. This view is enshrined in the Mereological axiom of extensionality; that objects with the same parts are identical. | |
| From: Verity Harte (Plato on Parts and Wholes [2002], 3.1) | |
| A reaction: A helpful explanation of why classical mereology is a very confused view of the world. It is at least obvious that a long wall and a house are different things, even if built of identical bricks. |
| 15837 | What exactly is a 'sum', and what exactly is 'composition'? [Harte,V] |
| Full Idea: The difficulty with the claim that a whole is (just) the sum of its parts is what are we to understand by 'the sum'? ...If we say wholes are 'composites' of parts, how are we to understand the relation of composition? | |
| From: Verity Harte (Plato on Parts and Wholes [2002], 1.1) |
| 15839 | If something is 'more than' the sum of its parts, is the extra thing another part, or not? [Harte,V] |
| Full Idea: Holism inherits all the difficulties associated with the term 'sum' and adds one of its own, when it says a whole is 'more than' the sum of its parts. This seems to say it has something extra? Is this something extra a part? | |
| From: Verity Harte (Plato on Parts and Wholes [2002], 1.1) | |
| A reaction: [compressed] Most people take the claim that a thing is more than the sum of its parts as metaphorical, I would think (except perhaps emergentists about the mind, and they are wrong). |
| 15838 | The problem with the term 'sum' is that it is singular [Harte,V] |
| Full Idea: For my money, the real problem with the term 'sum' is that it is singular. | |
| From: Verity Harte (Plato on Parts and Wholes [2002], 1.1) | |
| A reaction: Her point is that the surface grammar makes you accept a unity here, with no account of what unifies it, or even whether there is a unity. Does classical mereology have a concept (as the rest of us do) of 'disunity'? |
| 13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
| Full Idea: A class of sentences can be called 'analytical' if every sequence of objects is a model of it. | |
| From: Alfred Tarski (The Concept of Logical Consequence [1936], p.418) | |
| A reaction: See Idea 13344 and Idea 13343 for the context of this assertion. |
| 8430 | Causal statements are used to explain, to predict, to control, to attribute responsibility, and in theories [Kim] |
| Full Idea: The function of causal statements is 1) to explain events, 2) for predictive usefulness, 3) to help control events, 4) with agents, to attribute moral responsibility, 5) in physical theory. We should judge causal theories by how they account for these. | |
| From: Jaegwon Kim (Causes and Counterfactuals [1973], p.207) | |
| A reaction: He suggests that Lewis's counterfactual theory won't do well on this test. I think the first one is what matters. Philosophy aims to understand, and that is achieved through explanation. Regularity and counterfactual theories explain very little. |
| 8396 | Many counterfactuals have nothing to do with causation [Kim, by Tooley] |
| Full Idea: Kim has pointed out that there are a number of counterfactuals that have nothing to do with causation. If John marries Mary, then if John had not existed he would not have married Mary, but that is not the cause of their union. | |
| From: report of Jaegwon Kim (Causes and Counterfactuals [1973], 5.2) by Michael Tooley - Causation and Supervenience | |
| A reaction: One might not think that this mattered, but it leaves the problem of distinguishing between the causal counterfactuals and the rest (and you mustn't mention causation when you are doing it!). |
| 8429 | Counterfactuals can express four other relations between events, apart from causation [Kim] |
| Full Idea: Counterfactuals can express 'analytical' dependency, or the fact that one event is part of another, or an action done by doing another, or (most interestingly) an event can determine another without causally determining it. | |
| From: Jaegwon Kim (Causes and Counterfactuals [1973], p.205) | |
| A reaction: [Kim gives example of each case] Counterfactuals can even express a relation that involves no dependency. Or they might just involve redescription, as in 'If Scott were still alive, then the author of "Waverley" would be too'. |
| 8428 | Causation is not the only dependency relation expressed by counterfactuals [Kim] |
| Full Idea: The sort of dependency expressed by counterfactual relations is considerably broader than strictly causal dependency, and causal dependency is only one among the heterogeneous group of dependency relationships counterfactuals can express. | |
| From: Jaegwon Kim (Causes and Counterfactuals [1973], p.205) | |
| A reaction: In 'If pigs could fly, one and one still wouldn't make three' there isn't even a dependency. Kim has opened up lines of criticism which make the counterfactual analysis of causation look very implausible to me. |
| 4781 | Many counterfactual truths do not imply causation ('if yesterday wasn't Monday, it isn't Tuesday') [Kim, by Psillos] |
| Full Idea: Kim gives a range of examples of counterfactual dependence without causation, as: 'if yesterday wasn't Monday, today wouldn't be Tuesday', and 'if my sister had not given birth, I would not be an uncle'. | |
| From: report of Jaegwon Kim (Causes and Counterfactuals [1973]) by Stathis Psillos - Causation and Explanation §3.3 | |
| A reaction: This is aimed at David Lewis. The objection seems like commonsense. "If you blink, the cat gets it". Causal claims involve counterfactuals, but they are not definitive of what causation is. |