Combining Texts

Ideas for 'On the Philosophy of Logic', 'How to Russell a Frege-Church' and 'talk'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


6 ideas

10. Modality / B. Possibility / 1. Possibility
We can't explain 'possibility' in terms of 'possible' worlds [Fisher]
     Full Idea: Explaining 'it is possible that p' by saying p is true in at least one possible world doesn't get me very far. If I don't understand what possibility is, then appealing to possible worlds is not going to do me much good.
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 06.III)
     A reaction: This seems so blatant that I assume friends of possible worlds will have addressed the problem. Note that you will also need to understand 'possible' to define necessity as 'true in all possible worlds'. Necessarily-p is not-possibly-not-p.
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher]
     Full Idea: If all truths are implied by a falsehood, then 'if there are no trees in the park then there is no shade' and 'if there are no trees in the park there is plenty of shade' both come out as true. Intuitively, though, the second one is false.
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.I)
     A reaction: The rule that a falsehood implies all truths must be the weakest idea in classical logic, if it actually implies a contradiction. This means we must take an interest in relevance logics.
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher]
     Full Idea: A good account of relevance logic suggests that a conditional will be true when the flow of information is such that a conditional is the device that helps information to flow from the antecedent to the consequent.
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.III)
     A reaction: Hm. 'If you are going out, you'll need an umbrella'. This passes on information about 'out', but also brings in new information. 'If you are going out, I'm leaving you'. What flows is an interpretation of the antecedent. Tricky.
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
'Haecceitism' says that sameness or difference of individuals is independent of appearances [Kaplan]
     Full Idea: The doctrine that we can ask whether this is the same individual in another possible world, and that a common 'thisness' may underlie extreme dissimilarity, or distinct thisnesses may underlie great resemblance, I call 'Haecceitism'.
     From: David Kaplan (How to Russell a Frege-Church [1975], IV)
     A reaction: Penelope Mackie emphasises that this doctrine, that each thing is somehow individuated, is not the same as believing in actual haecceities, specific properties which achieve the individuating.
'Haecceitism' is common thisness under dissimilarity, or distinct thisnesses under resemblance [Kaplan]
     Full Idea: That a common 'thisness' may underlie extreme dissimilarity or distinct thisnesses may underlie great resemblance I call 'haecceitism'. (I prefer the pronunciation Hex'-ee-i-tis-m).
     From: David Kaplan (How to Russell a Frege-Church [1975], IV)
     A reaction: [odd pronunciation, if 'haec' is pronounced haeek] The view seems to be very unpopular (e.g. with Lewis, Bird and Mumford). But there is an intuitive sense of whether or not two things are identical when they seem dissimilar.
If quantification into modal contexts is legitimate, that seems to imply some form of haecceitism [Kaplan]
     Full Idea: If one regards the usual form of quantification into modal and other intensional contexts - modality de re - as legitimate (without special explanations), then one seems committed to some form of haecceitism.
     From: David Kaplan (How to Russell a Frege-Church [1975], IV)
     A reaction: That is, modal reference requires fixed identities, irrespective of possible changes in properties. Why could one not refer to objects just as bundles of properties, with some sort of rules about when it ceased to be that particular bundle (keep 60%?)?