20 ideas
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
From: Melvin Fitting (Intensional Logic [2007], 3) | |
A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
From: Melvin Fitting (Intensional Logic [2007], 3.3) |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
A reaction: [He cites Fagin and Halpern 1988 for this] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
From: Melvin Fitting (Intensional Logic [2007], §1) |
14650 | Maybe proper names involve essentialism [Plantinga] |
Full Idea: Perhaps the notion of a proper name itself involves essentialism. | |
From: Alvin Plantinga (De Re and De Dicto [1969], p.43) | |
A reaction: This is just before Kripke's announcement of 'rigid designation', which seems to have relaunched modern essentialism. The thought is that you can't name something, if you don't have a stable notion of what is (and isn't) being named. |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
14648 | Could I name all of the real numbers in one fell swoop? Call them all 'Charley'? [Plantinga] |
Full Idea: Can't I name all the real numbers in the interval (0,1) at once? Couldn't I name them all 'Charley', for example? | |
From: Alvin Plantinga (De Re and De Dicto [1969], p.40) | |
A reaction: Plantinga is nervous about such a sweeping move, but can't think of an objection. This addresses a big problem, I think - that you are supposed to accept the real numbers when we cannot possibly name them all. |
14647 | Surely self-identity is essential to Socrates? [Plantinga] |
Full Idea: If anything is essential to Socrates, surely self-identity is. | |
From: Alvin Plantinga (De Re and De Dicto [1969], p.37) | |
A reaction: This is the modern move of Plantinga and Adams, to make 'is identical with Socrates' the one property which assures the identity of Socrates (his 'haecceity'). My view is that self-identity is not a property. Plantinga wonders about that on p.44. |
14646 | An object has a property essentially if it couldn't conceivably have lacked it [Plantinga] |
Full Idea: An object has a property essentially just in case it couldn't conceivably have lacked that property. | |
From: Alvin Plantinga (De Re and De Dicto [1969], p.35) | |
A reaction: Making it depend on what we can conceive seems a bit dubious, for someone committed to real essences. The key issue is how narrowly or broadly you interpret the word 'property'. The word 'object' needs a bit of thought, too! |
14649 | Can we find an appropriate 'de dicto' paraphrase for any 'de re' proposition? [Plantinga] |
Full Idea: To explain the 'de re' via the 'de dicto' is to provide a rule enabling us to find, for each de re proposition, an equivalent de dicto proposition. | |
From: Alvin Plantinga (De Re and De Dicto [1969], p.41) | |
A reaction: Many 'de dicto' paraphrases will change the modality of a 'de re' statement, so the challenge is to find the right equivalent version. Plantinga takes up this challenge. The 'de dicto' statement says the object has the property, and must have it. |
14642 | Expressing modality about a statement is 'de dicto'; expressing it of property-possession is 'de re' [Plantinga] |
Full Idea: Some statements predicate modality of another statement (modality 'de dicto'); but others predicate of an object the necessary or essential possession of a property; these latter express modality 'de re'. | |
From: Alvin Plantinga (De Re and De Dicto [1969], p.26) | |
A reaction: The distinction seems to originate in Aquinas, concerning whether God knows the future (or, how he knows the future). 'De dicto' is straightforward, but possibly the result of convention. 'De re' is controversial, and implies deep metaphysics. |
14643 | 'De dicto' true and 'de re' false is possible, and so is 'de dicto' false and 'de re' true [Plantinga] |
Full Idea: Aquinas says if a 'de dicto' statement is true, the 'de re' version may be false. The opposite also applies: 'What I am thinking of [17] is essentially prime' is true, but 'The proposition "what I am thinking of is prime" is necessarily true' is false. | |
From: Alvin Plantinga (De Re and De Dicto [1969], p.27) | |
A reaction: In his examples the first is 'de re' (about the number), and the second is 'de dicto' (about that proposition). |
14651 | What Socrates could have been, and could have become, are different? [Plantinga] |
Full Idea: Is there a difference between what Socrates could have been, and what he could have become? | |
From: Alvin Plantinga (De Re and De Dicto [1969], p.44) | |
A reaction: That is, I take it, 1) how different might he have been in the past, given how he is now?, and 2) how different might he have been in the past, and now, if he had permanently diverged from how he is now? 1) has tight constraints on it. |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
22445 | Morality shows murder is wrong, but not what counts as a murder [Foot] |
Full Idea: While one can determine from the concept of morality that there is an objection to murder one cannot determine completely what will count as murder. | |
From: Philippa Foot (Morality and Art [1972], p.7) | |
A reaction: She then refers to abortion, but there are military and criminal problem cases, and killings by neglect or side effect. |
22444 | A moral system must deal with the dangers and benefits of life [Foot] |
Full Idea: A moral system seems necessarily to be one aimed at removing particular dangers and securing certain benefits. | |
From: Philippa Foot (Morality and Art [1972], p.6) | |
A reaction: I thoroughly approve of this approach to morality, which anchors it in real life, rather than in ideals or principles of reason. |
22447 | Saying something 'just is' right or wrong creates an illusion of fact and objectivity [Foot] |
Full Idea: When we say that something 'just is' right or wrong we want to give the impression of some kind of fact or authority standing behind our words, ...maintaining the trappings of objectivity though the substance is not there. | |
From: Philippa Foot (Morality and Art [1972], p.9) | |
A reaction: Foot favours the idea that such a claim must depend on reasons, and that the reasons arise out of actual living. She's right. |
22448 | We sometimes just use the word 'should' to impose a rule of conduct on someone [Foot] |
Full Idea: It would be more honest to recognise that the 'should' of moral judgement is sometimes merely an instrument by which we (for our own very good reasons) try to impose a rule of conduct even on the uncaring man? | |
From: Philippa Foot (Morality and Art [1972], p.18) | |
A reaction: This is a good example, I think, of the ordinary language tradition that Foot grew up in. We load a word like 'should' with a mystical power, but the situations in which it is actually used bring us back down to earth. |
22446 | In the case of something lacking independence, calling it a human being is a matter of choice [Foot] |
Full Idea: In the problem of abortion there is a genuine choice as to whether or not to count as a human being, with the rights of a human being, what would become a human being but is not yet capable of independent life. | |
From: Philippa Foot (Morality and Art [1972], p.7) | |
A reaction: There must be some basis for the choice. We can't call a dead person a human being. Choosing to call a tiny zygote a human being seems very implausible. Pre-viability strikes me as implausible. |