19 ideas
| 18776 | Contextual definitions eliminate descriptions from contexts [Linsky,B] |
| Full Idea: A 'contextual' definition shows how to eliminate a description from a context. | |
| From: Bernard Linsky (Quantification and Descriptions [2014], 2) | |
| A reaction: I'm trying to think of an example, but what I come up with are better described as 'paraphrases' than as 'definitions'. |
| 10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
| Full Idea: 'Equivocation' is when the terms do not mean the same thing in the premises and in the conclusion. | |
| From: JC Beall / G Restall (Logical Consequence [2005], Intro) |
| 16951 | It was realised that possible worlds covered all modal logics, if they had a structure [Dummett] |
| Full Idea: The new discovery was that with a suitable structure imposed on the space of possible worlds, the Leibnizian idea would work for all modal logics. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 1) |
| 16952 | If something is only possible relative to another possibility, the possibility relation is not transitive [Dummett] |
| Full Idea: If T is only possible if S obtains, and S is possible but doesn't obtain, then T is only possible in the world where S obtains, but T is not possible in the actual world. It follows that the relation of relative possibility is not transitive. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 1) | |
| A reaction: [compressed] |
| 16953 | Relative possibility one way may be impossible coming back, so it isn't symmetrical [Dummett] |
| Full Idea: If T is only possible if S obtains, T and S hold in the actual world, and S does not obtain in world v possible relative to the actual world, then the actual is not possible relative to v, since T holds in the actual. Accessibility can't be symmetrical. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 1) |
| 16960 | If possibilitiy is relative, that might make accessibility non-transitive, and T the correct system [Dummett] |
| Full Idea: If some world is 'a way the world might be considered to be if things were different in a certain respect', that might show that the accessibility relation should not be taken to be transitive, and we should have to adopt modal logic T. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 8) | |
| A reaction: He has already rejected symmetry from the relation, for reasons concerning relative identity. He is torn between T and S4, but rejects S5, and opts not to discuss it. |
| 16958 | In S4 the actual world has a special place [Dummett] |
| Full Idea: In S4 logic the actual world is, in itself, special, not just from our point of view. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 8) | |
| A reaction: S4 lacks symmetricality, so 'you can get there, but you can't get back', which makes the starting point special. So if you think the actual world has a special place in modal metaphysics, you must reject S5? |
| 10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
| Full Idea: Logic is purely formal either when it is invariant under permutation of object (Tarski), or when it has totally abstracted away from all contents, or it is the constitutive norms for thought. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
| A reaction: [compressed] The third account sounds rather woolly, and the second one sounds like a tricky operation, but the first one sounds clear and decisive, so I vote for Tarski. |
| 10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
| Full Idea: Technical work on logical consequence has either focused on proofs, where validity is the existence of a proof of the conclusions from the premises, or on models, which focus on the absence of counterexamples. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 3) |
| 10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
| Full Idea: Two different views of logical consequence are necessary truth-preservation (based on modelling possible worlds; favoured by Realists), or truth-preservation based on the meanings of the logical vocabulary (differing in various models; for Anti-Realists). | |
| From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
| A reaction: Thus Dummett prefers the second view, because the law of excluded middle is optional. My instincts are with the first one. |
| 10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
| Full Idea: A logical step is a 'material consequence' and not a formal one, if we need the contents as well as the structure or form. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 2) |
| 18774 | Definite descriptions, unlike proper names, have a logical structure [Linsky,B] |
| Full Idea: Definite descriptions seem to have a logical structure in a way that proper names do not. | |
| From: Bernard Linsky (Quantification and Descriptions [2014], 1.1.1) | |
| A reaction: Thus descriptions have implications which plain names do not. |
| 10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
| Full Idea: If a conclusion follows from an empty collection of premises, it is true by logic alone, and is a 'logical truth' (sometimes a 'tautology'), or, in the proof-centred approach, 'theorems'. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 4) | |
| A reaction: These truths are written as following from the empty set Φ. They are just implications derived from the axioms and the rules. |
| 10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
| Full Idea: Models are abstract mathematical structures that provide possible interpretations for each of the non-logical primitives in a formal language. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 3) |
| 10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
| Full Idea: There are many proof-systems, the main being Hilbert proofs (with simple rules and complex axioms), or natural deduction systems (with few axioms and many rules, and the rules constitute the meaning of the connectives). | |
| From: JC Beall / G Restall (Logical Consequence [2005], 3) |
| 16957 | Possible worlds aren't how the world might be, but how a world might be, given some possibility [Dummett] |
| Full Idea: The equation of a possible world with the way that the (actual) world might be is wrong: the way a distant world might be is not a way the world might be, but a way we might allow it to be given how some intervening world might be. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 8) | |
| A reaction: The point here is that a system of possible worlds must include relative possibilities as well as actual possibilities. Dummett argues against S5 modal logic, which makes them all equal. Things impossible here might become possible. Nice. |
| 16959 | If possible worlds have no structure (S5) they are equal, and it is hard to deny them reality [Dummett] |
| Full Idea: If our space of possible worlds has no structure, as in the semantics for S5, then, from the standpoint of the semantics, all possible worlds are on the same footing; it then becomes difficult to resist the claim that all are equally real. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 8) | |
| A reaction: This is a rather startling and interesting claim, given that modern philosophy seems full of thinkers who both espouse S5 for metaphysics, and also deny Lewisian realism about possible worlds. I'll ponder that one. Must read the new Williamson…. |
| 16956 | To explain generosity in a person, you must understand a generous action [Dummett] |
| Full Idea: It cannot be explained what it is for a person to be generous without first explaining what it is for an action to be generous. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 4) | |
| A reaction: I presume a slot machine can't be 'generous', even if it favours the punter, so you can't specify a generous action without making reference to the person. A benign circle, as Aristotle says. |
| 16954 | Generalised talk of 'natural kinds' is unfortunate, as they vary too much [Dummett] |
| Full Idea: In my view, Kripke's promotion of 'natural kinds', coverning chemical substances and animal and plant species, is unfortunate, since these are rather different types of things, and words used for them behave differently. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 2) | |
| A reaction: My view is that the only significant difference among natural kinds is their degree of stability in character. Presumably particles, elements and particular molecules are fairly invariant, but living things evolve. |