Combining Texts

All the ideas for 'Possibility', 'Brain Bisection and Unity of Consciousness' and 'Category Mistakes'

unexpand these ideas     |    start again     |     specify just one area for these texts


83 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
If an analysis shows the features of a concept, it doesn't seem to 'reduce' the concept [Jubien]
     Full Idea: An analysis of a concept tells us what the concept is by telling us what its constituents are and how they are combined. ..The features of the concept are present in the analysis, making it surprising the 'reductive' analyses are sought.
     From: Michael Jubien (Possibility [2009], 4.5)
     A reaction: He says that there are nevertheless reductive analyses, such as David Lewis's analysis of modality. We must disentangle conceptual analysis from causal analysis (e.g. in his example of the physicalist reduction of mind).
2. Reason / F. Fallacies / 8. Category Mistake / a. Category mistakes
People have dreams which involve category mistakes [Magidor]
     Full Idea: It is an empirical fact that people often sincerely report having had dreams which involve category mistakes.
     From: Ofra Magidor (Category Mistakes [2013], 3.4)
     A reaction: She doesn't give any examples, but I was thinking that this might be the case before I read this idea. Dreams seem to allow you to live with gaps in reality that we don't tolerate when awake.
Category mistakes are either syntactic, semantic, or pragmatic [Magidor]
     Full Idea: A plausible case can be made for explaining the phenomenon of category mistakes in terms of each of syntax, semantics, and pragmatics.
     From: Ofra Magidor (Category Mistakes [2013], 1.1)
     A reaction: I want to explain them in terms of (structured) ontology, but she totally rejects that on p.156. Her preferred account is that they are presupposition failures, which is pragmatics. She splits the semantic view into truth-valued and non-truth-valued.
2. Reason / F. Fallacies / 8. Category Mistake / b. Category mistake as syntactic
Category mistakes seem to be universal across languages [Magidor]
     Full Idea: The infelicity of category mistakes seems to be universal across languages.
     From: Ofra Magidor (Category Mistakes [2013], 2.3)
     A reaction: Magidor rightly offers this fact to refute the claim that category mistakes are purely syntax (since syntax obviously varies hugely across languages). I also take the fact to show that category mistakes concern the world, and not merely language.
Category mistakes as syntactic needs a huge number of fine-grained rules [Magidor]
     Full Idea: A syntactic theory of category mistakes would require not only general syntactic features such as must-be-human, but also highly particular ones such as must-be-a-grape.
     From: Ofra Magidor (Category Mistakes [2013], 2.3)
     A reaction: Her grape example comes from Hebrew, but an English example might be the verb 'to hull', which is largely exclusive to strawberries. The 'must-be' form is one of Chomsky's 'selectional features'.
Embedded (in 'he said that…') category mistakes show syntax isn't the problem [Magidor]
     Full Idea: The embedding data (such as 'John said that the number two is green', compared to '*John said that me likes apples') strongly suggests that category mistakes are not syntactically ill-formed.
     From: Ofra Magidor (Category Mistakes [2013], 2.4)
     A reaction: Sounds conclusive. The report of John's category error, unlike the report of his remark about apples, seems perfectly syntactically acceptable.
2. Reason / F. Fallacies / 8. Category Mistake / c. Category mistake as semantic
Category mistakes are meaningful, because metaphors are meaningful category mistakes [Magidor]
     Full Idea: Metaphors must have literal meanings. …Since many metaphors involving category mistakes manage to achieve their metaphorical purpose, they must also have literal meanings, so category mistakes must be (literally) meaningful.
     From: Ofra Magidor (Category Mistakes [2013], 3.5)
     A reaction: Hm. 'This guy is so weird that to meet him is to encounter a circular square'.
The normal compositional view makes category mistakes meaningful [Magidor]
     Full Idea: The principle that if a competent speaker understands some terms then they understand a sentence made up of them entails that category mistakes are meaningful (as in understanding 'the number two' and 'is green').
     From: Ofra Magidor (Category Mistakes [2013], 3.2.1)
     A reaction: [compressed version] It is normal to impose restrictions on plausible compositionality, and thus back away from this claim, but I rather sympathise with it. She adds to a second version of the principle the proviso 'IF the sentence is meaningful'.
If a category mistake is synonymous across two languages, that implies it is meaningful [Magidor]
     Full Idea: Two sentences are synonymous if they have the same meaning, suggesting that they must both be meaningful. On the face of it the English 'two is green' and French 'deux est vert' are synonymous, suggesting meaningful category mistakes.
     From: Ofra Magidor (Category Mistakes [2013], 3.3)
     A reaction: I'm fairly convinced already that most category mistakes are meaningful, and this seems to confirm the view. Some mistakes could be so extreme that no auditor could compute their meaning, especially if you concatenated lots of them.
If a category mistake has unimaginable truth-conditions, then it seems to be meaningless [Magidor]
     Full Idea: One motivation for taking category mistakes to be meaningless is that one cannot even imagine what it would take for 'Two is green' to be true. …Underlying this complaint is sometimes the thought that the meaning of a sentence is its truth-conditions.
     From: Ofra Magidor (Category Mistakes [2013], 3.6)
     A reaction: I defend the view that most sentences are meaningful if they compose from meaningful parts, but you have to acknowledge this view. It seems to come in degrees. Sentences can have fragmentary meaning, or be almost meaningful, or offer a glimpse of meaning?
Two good sentences should combine to make a good sentence, but that might be absurd [Magidor]
     Full Idea: The principle that if 'p' and 'q' are meaningful sentences then 'p and q' is a meaningful sentence seems highly plausible. But now consider the following example: 'That is a number and that is green'.
     From: Ofra Magidor (Category Mistakes [2013], 3.2.2)
     A reaction: This challenges the defence of the meaningfulness of category mistakes on the basis of strong compositionality.
A good explanation of why category mistakes sound wrong is that they are meaningless [Magidor]
     Full Idea: The meaninglessness view does seem to offer a simple and compelling explanation for the fact that category mistakes are highly infelicitous.
     From: Ofra Magidor (Category Mistakes [2013], 3.6)
     A reaction: However, I take there to be quite a large gulf between why meaningless sentences like 'squares turn happiness into incommensurability', which I would call 'category blunders', and subtle category mistakes, which are meaningful.
Category mistakes are neither verifiable nor analytic, so verificationism says they are meaningless [Magidor]
     Full Idea: No sense experience shows that 'two is green' is true or false. But neither is 'two is green' analytically true or false. So it fails to have legitimate verification conditions and hence, by the lights of traditional verificationism, it is meaningless.
     From: Ofra Magidor (Category Mistakes [2013], 3.6.2)
     A reaction: If a category mistake is an error in classification, then it would seem to be analytically false. If it wrongly attributes a property to something, that makes it verifiably false. The problem is to verify anything at all about 'two'.
Category mistakes play no role in mental life, so conceptual role semantics makes them meaningless [Magidor]
     Full Idea: One might argue that conceptual role semantics entails that category mistakes are meaningless. Sentences such as 'two is green' play no role in the cognitive life of any agent.
     From: Ofra Magidor (Category Mistakes [2013], 3.6.2)
     A reaction: [She quotes Block's definition of conceptual role semantics] I would have thought that if a category mistake is believed by an agent, it could play a huge role in their cognitive life.
Maybe when you say 'two is green', the predicate somehow fails to apply? [Magidor]
     Full Idea: One might argue that although 'two' refers to the number two, and 'is green' expresses the property of being green, in 'two is green' the property somehow fails to apply to the number two.
     From: Ofra Magidor (Category Mistakes [2013], 4.2)
     A reaction: It is an interesting thought that you say something which applies a predicate to an object, but the predicate then 'fails to apply' for reasons of its own, over which you have no control. The only possible cause of the failure is the nature of reality.
If category mistakes aren't syntax failure or meaningless, maybe they just lack a truth-value? [Magidor]
     Full Idea: Having rejected the syntactic approach and the meaninglessness view, one might feel that the last resort for explaining the defectiveness of category mistakes is to claim that they are truth-valueless (even if meaningful).
     From: Ofra Magidor (Category Mistakes [2013], 4.3.1)
     A reaction: She rejects this one as well, and votes for a pragmatic explanation, in terms of presupposition failure. The view I incline towards is just that they are false, despite being well-formed, meaningful and truth-valued.
2. Reason / F. Fallacies / 8. Category Mistake / d. Category mistake as pragmatic
Maybe the presuppositions of category mistakes are the abilities of things? [Magidor]
     Full Idea: The most promising way to characterise the presuppositions involved in category mistakes might be to rephrase them in modal terms ('x is able to be pregnant', 'x is able to be green').
     From: Ofra Magidor (Category Mistakes [2013], 5.4.3)
     A reaction: This catches my attention because it suggests that category mistakes contradict dispositions, rather than contradicting classifications or types. 'Let's use a magnet to repel this iron'? The dispositions of 'two' and 'green' in 'two is green'? Hm
Category mistakes suffer from pragmatic presupposition failure (which is not mere triviality) [Magidor]
     Full Idea: I argue that category mistakes are infelicitous because they suffer from (pragmatic) presupposition failure, ...but I reject the 'naive pragmatic approach' according to which category mistakes are infelicitous because they are trivially true or false.
     From: Ofra Magidor (Category Mistakes [2013], 5.1)
     A reaction: She supports her case quite well, but I vote for them being false. The falsity may involve presuppositions. 'Two is green' is a category mistake, and false, because 'two' lacks the preconditions for anything to be coloured (notably, emitting light).
Category mistakes because of presuppositions still have a truth value (usually 'false') [Magidor]
     Full Idea: I am assuming that even in those contexts in which the presupposition of 'the number two is green' fails and the utterance is infelicitious, it nevertheless receives a bivalent truth-value (presumably 'false').
     From: Ofra Magidor (Category Mistakes [2013], 5.4.1)
     A reaction: It seems to me obvious that, in normal contexts, 'the number two is green' is false, rather than meaningless. Is 'the number eight is an odd number' meaningless?
In 'two is green', 'green' has a presupposition of being coloured [Magidor]
     Full Idea: My proposal is that the truth-conditional content of 'green' (in 'two is green') is the property of being green, and its presuppositional content is the property of being coloured.
     From: Ofra Magidor (Category Mistakes [2013], 5.4.1)
     A reaction: This requires a two-dimensional semantics of truth-conditional and presuppositional content. I fear it may have a problem she spotted elsewhere, of overgenerating presuppositions. Eyes are presupposed by 'green'. Ambient light is required.
'Numbers are coloured and the number two is green' seems to be acceptable [Magidor]
     Full Idea: 'The number two is green' is normally infelicitous, but, interestingly, 'numbers are coloured and the number two is green' is not infelicitous.
     From: Ofra Magidor (Category Mistakes [2013], 5.4.1)
     A reaction: A nice example, which gives good support for her pragmatic account of category mistakes in terms of presupposition failure. But how about 'figures can have contradictory shapes, and this square is circular'? Numbers are not coloured!!!
2. Reason / F. Fallacies / 8. Category Mistake / e. Category mistake as ontological
The presuppositions in category mistakes reveal nothing about ontology [Magidor]
     Full Idea: My pragmatic account of category mistakes does not support a key role for them in metaphysics. It is highly doubtful that the presuppositions associated with category mistakes reveal anything about the fundamental nature of ontological categories.
     From: Ofra Magidor (Category Mistakes [2013], 5.6)
     A reaction: Thus she dashes my hope, without even bothering to offer a reason. I think she should push her enquiry further, and ask why we presuppose things. Why do we take presuppositions for granted? Why are they obvious?
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
Intensional logic maps logical space, showing which predicates are compatible or incompatible [Magidor]
     Full Idea: Intensional logic aims to capture necessary relations between certain predicates, such as that 'green all over' and 'red all over' cannot be co-instantiated. Each predicate is allocated a set of points in logical space, and every object has one point.
     From: Ofra Magidor (Category Mistakes [2013], 4.4)
     A reaction: This produces an intriguing model of reality, as a vast and rich space of multiply overlapping modal predicates. Things can be blue, square, dangerous and large. They can't be small and large, or square and round. Objects are optional extras!
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
It is a mistake to think that the logic developed for mathematics can clarify language and philosophy [Jubien]
     Full Idea: It has often been uncritically assumed that logic that was initially a tool for clarifying mathematics could be seamlessly and uniformly applied in the effort to clarify ordinary language and philosophy, but this has been a real mistake.
     From: Michael Jubien (Possibility [2009], Intro)
     A reaction: I'm not saying he's right (since you need stupendous expertise to make that call) but my intuitions are that he has a good point, and he is at least addressing a crucial question which most analytical philosophers avert their eyes from.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
We only grasp a name if we know whether to apply it when the bearer changes [Jubien]
     Full Idea: We cannot be said to have a full grasp of a name unless we have a definite disposition to apply it or to withhold it under whatever conceivable changes the bearer of the name might come to undergo.
     From: Michael Jubien (Possibility [2009], 5.3)
     A reaction: This is right, and an excellent counterproposal to the logicians' notion that names have to rigidly designate. As a bare minimum, you are not supposed to deny the identity of your parents because they have grown a bit older, or a damaged painting.
The baptiser picks the bearer of a name, but social use decides the category [Jubien]
     Full Idea: The person who introduces a proper name gets to pick its bearer, but its category - and consequently the meaning of the name - is determined by social use.
     From: Michael Jubien (Possibility [2009], 7)
     A reaction: New 'division of labour'. The idea that a name has some sort of meaning seems right and important. If babies were switched after baptism, social use might fix the name to the new baby. The namer could stipulate the category at the baptism. Too neat.
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Examples show that ordinary proper names are not rigid designators [Jubien]
     Full Idea: There are plenty of examples to show that ordinary proper names simply are not rigid designators.
     From: Michael Jubien (Possibility [2009], 5.1)
     A reaction: His examples are the planet Venus and the dust of which it is formed, and a statue made of clay. In other words, for some objects, perhaps under certain descriptions (e.g. functional ones), the baptised matter can change. Rigidity is an extra topping.
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
We could make a contingent description into a rigid and necessary one by adding 'actual' to it [Jubien]
     Full Idea: 'The winner of the Derby' satisfies some horse, but only accidentally. But we could 'rigidify' the description by inserting 'actual' into it, giving 'the actual winner of the Derby'. Winning is a contingent property, but actually winning is necessary.
     From: Michael Jubien (Possibility [2009], 5.1)
     A reaction: I like this unusual proposal because instead of switching into formal logic in order to capture the ideas we are after, he is drawing on the resources of ordinary language, offering philosophers a way of speaking plain English more precisely.
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
Philosophers reduce complex English kind-quantifiers to the simplistic first-order quantifier [Jubien]
     Full Idea: There is a readiness of philosophers to 'translate' English, with its seeming multitude of kind-driven quantifiers, into first-order logic, with its single wide-open quantifier.
     From: Michael Jubien (Possibility [2009], 4.1)
     A reaction: As in example he says that reference to a statue involves a 'statue-quantifier'. Thus we say things about the statue that we would not say about the clay, which would involve a 'clay-quantifier'.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
Some suggest that the Julius Caesar problem involves category mistakes [Magidor]
     Full Idea: Various authors have argued that identity statements arising in the context of the 'Julius Caesar' problem in philosophy of mathematics constitute category mistakes.
     From: Ofra Magidor (Category Mistakes [2013], 1.1 n1)
     A reaction: [She cites Benacerraf 1965 and Shapiro 1997:79]
7. Existence / A. Nature of Existence / 3. Being / g. Particular being
To exist necessarily is to have an essence whose own essence must be instantiated [Jubien]
     Full Idea: For a thing to exist necessarily is for it to have an entity-essence whose own entity-essence entails being instantiated.
     From: Michael Jubien (Possibility [2009], 6.4)
     A reaction: This is the culmination of a lengthy discussion, and is not immediately persuasive. For Jubien the analysis rests on a platonist view of properties, which doesn't help.
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
If objects are just conventional, there is no ontological distinction between stuff and things [Jubien]
     Full Idea: Under the Quinean (conventional) view of objects, there is no ontological distinction between stuff and things.
     From: Michael Jubien (Possibility [2009], 1.5)
     A reaction: This is the bold nihilistic account of physical objects, which seems to push all of our ontology into language (English?). We could devise divisions into things that were just crazy, and likely to lead to the rapid extinction of creatures who did it.
7. Existence / E. Categories / 1. Categories
The category of Venus is not 'object', or even 'planet', but a particular class of good-sized object [Jubien]
     Full Idea: The category of Venus is not 'physical object' or 'mereological sum', but narrower. Surprisingly, it is not 'planet', since it might cease to be a planet and still merit the name 'Venus'. It is something like 'well-integrated, good-sized physical object'.
     From: Michael Jubien (Possibility [2009], 5.3)
     A reaction: Jubien is illustrating Idea 13402. This is a nice demonstration of how one might go about the task of constructing categories - by showing the modal profiles of things to which names have been assigned. Categories are file names.
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
The idea that every entity must have identity conditions is an unfortunate misunderstanding [Jubien]
     Full Idea: The pervasiveness, throughout philosophy, of the assumption that entities of various kinds need identity conditions is one unfortunate aspect of Quine's important philosophical legacy.
     From: Michael Jubien (Possibility [2009], Intro)
     A reaction: Lowe seems to be an example of a philosopher who habitually demands individuation conditions for everything that is referred to. Presumably the alternative is to take lots of things as primitive, but this seems to be second best.
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
Any entity has the unique property of being that specific entity [Jubien]
     Full Idea: For any entity of any sort, abstract or concrete, I assume there is a property of being that specific entity. For want of a better term, I will call such properties entity-essences. They are 'singulary' - not instantiable by more than one thing at a time.
     From: Michael Jubien (Possibility [2009], 4.2)
     A reaction: Baffling. Why would someone who has mocked all sorts of bogus philosophical claims based on logic then go on to assert the existence of such weird things as these? I can't make sense of this property being added to a thing's other properties.
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
It is incoherent to think that a given entity depends on its kind for its existence [Jubien]
     Full Idea: It is simply far-fetched - even incoherent - to think that, given an entity, of whatever kind, its being a single entity somehow consists in its satisfying some condition involving the kind to which it belongs (or concepts related to that kind).
     From: Michael Jubien (Possibility [2009], 2.3)
     A reaction: Well said. I can't see how philosophers have allowed themselves to drift into such a daft view. Kinds blatantly depend on the individuals that constitute them, so how could the identity of the individuals depend on their kind?
9. Objects / A. Existence of Objects / 6. Nihilism about Objects
Objects need conventions for their matter, their temporal possibility, and their spatial possibility [Jubien]
     Full Idea: We need a first convention to determine what matter constitutes objects, then a second to determine whether there are different temporal possibilities for a given object, then a third for different spatial possibilities.
     From: Michael Jubien (Possibility [2009], 1.5)
     A reaction: This is building up a Quinean account of objects, as mere matter in regions of spacetime, which are then precisely determined by a set of social conventions.
Basically, the world doesn't have ready-made 'objects'; we carve objects any way we like [Jubien]
     Full Idea: There is a certain - very mild - sense in which I don't think the physical world comes with ready-made objects. I think instead that we (conventionally) carve it up into objects, and this can be done any way we like.
     From: Michael Jubien (Possibility [2009], 1.5)
     A reaction: I have no idea how one could begin to refute such a view. Obviously there are divisions (even if only of physical density) in the world, but nothing obliges us to make divisions at those points. We happily accept objects with gaps in them.
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
If the statue is loved and the clay hated, that is about the object first qua statue, then qua clay [Jubien]
     Full Idea: If a sculptor says 'I love the statue but I really hate that piece of clay - it is way too hard to work with' ...the statement is partly is partly about that object qua statue and partly about that object qua piece of clay.
     From: Michael Jubien (Possibility [2009], 1.4)
     A reaction: His point is that identity is partly determined by the concept or category under which the thing falls. Plausible. Lots of identity muddles seem to come from our conceptual scheme not being quite up to the job when things change.
If one entity is an object, a statue, and some clay, these come apart in at least three ways [Jubien]
     Full Idea: A single entity is a physical object, a piece of clay and a statue. We seem to have that the object could be scattered, but not the other two; the object and the clay could be spherical, but not the statue; and only the object could have different matter.
     From: Michael Jubien (Possibility [2009], 5.2)
     A reaction: His proposal, roughly, is to reduce object-talk to property-talk, and then see the three views of this object as referring to different sets of properties, rather than to a single thing. Promising, except that he goes platonist about properties.
We can explain the statue/clay problem by a category mistake with a false premise [Magidor]
     Full Idea: Since 'the lump of clay is Romanesque' is a category mistake, a pragmatic account of that phenomenon is key to pursuing the strategy of saying that the problem rests on a false premise.
     From: Ofra Magidor (Category Mistakes [2013], 5.6)
     A reaction: [compressed]
9. Objects / B. Unity of Objects / 3. Unity Problems / d. Coincident objects
The idea of coincident objects is a last resort, as it is opposed to commonsense naturalism [Jubien]
     Full Idea: I find it surprising that some philosophers accept 'coincident objects'. This notion clearly offends against commonsense 'naturalism' about the world, so it should be viewed as a last resort.
     From: Michael Jubien (Possibility [2009], 5.2 n9)
     A reaction: I'm not quite clear why he invokes 'naturalism', but I pass on his intuition because it seems right to me.
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
Parts seem to matter when it is just an object, but not matter when it is a kind of object [Jubien]
     Full Idea: When thought of just as an object, the parts of a thing seem definitive and their arrangement seems inconsequential. But when thought of as an object of a familiar kind it is reversed: the arrangement is important and the parts are inessential.
     From: Michael Jubien (Possibility [2009], 1.4)
     A reaction: This is analogous to the Ship of Theseus, where we say that the tour operator and the museum keeper give different accounts of whether it is the same ship. The 'kind' Jubien refers to is most likely to be a functional kind.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
We should not regard essentialism as just nontrivial de re necessity [Jubien]
     Full Idea: I argue against the widely accepted characterization of the doctrine of 'essentialism' as the acceptance of nontrivial de re necessity
     From: Michael Jubien (Possibility [2009], Intro)
     A reaction: I agree entirely. The notion of an essence is powerful if clearly distinguished. The test is: can everything being said about essences be just as easily said by referring to necessities? If so, you are talking about the wrong thing.
9. Objects / E. Objects over Time / 9. Ship of Theseus
Thinking of them as 'ships' the repaired ship is the original, but as 'objects' the reassembly is the original [Jubien]
     Full Idea: Thinking about the original ship as a ship, we think we continue to have the 'same ship' as each part is replaced; ...but when we think of them as physical objects, we think the original ship and the outcome of the reassembly are one and the same.
     From: Michael Jubien (Possibility [2009], 1.4)
     A reaction: It seems to me that you cannot eliminate how we are thinking of the ship as influencing how we should read it. My suggestion is to think of Theseus himself valuing either the repaired or the reassembled version. That's bad for Jubien's account.
Rearranging the planks as a ship is confusing; we'd say it was the same 'object' with a different arrangement [Jubien]
     Full Idea: That the planks are rearranged as a ship elevates the sense of mystery, because arrangements matter for ships, but if they had been arranged differently we would have the same intuition - that it still counts as the same object.
     From: Michael Jubien (Possibility [2009], 1.4)
     A reaction: Implausible. Classic case: can I have my pen back? - smashes it to pieces and hands it over with 'there you are' - that's not my pen! - Jubien says it's the same object! - it isn't my pen, and it isn't the same object either! Where is Shelley's skylark?
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
If two objects are indiscernible across spacetime, how could we decide whether or not they are the same? [Jubien]
     Full Idea: If a bit of matter has a qualitatively indistinguishable object located at a later time, with a path of spacetime connecting them, how could we determine they are identical? Neither identity nor diversity follows from qualitative indiscernibility.
     From: Michael Jubien (Possibility [2009], 1.3)
     A reaction: All these principles expounded by Leibniz were assumed to be timeless, but for identity over time the whole notion of things retaining identity despite changing has to be rethought. Essentialism to the rescue.
10. Modality / A. Necessity / 6. Logical Necessity
Entailment does not result from mutual necessity; mutual necessity ensures entailment [Jubien]
     Full Idea: Typically philosophers say that for P to entail Q is for the proposition that all P's are Q's to be necessary. I think this analysis is backwards, and that necessity rests on entailment, not vice versa.
     From: Michael Jubien (Possibility [2009], 4.4)
     A reaction: His example is that being a horse and being an animal are such that one entails the other. In other words, necessities arise out of property relations (which for Jubien are necessary because the properties are platonically timeless). Wrong.
10. Modality / C. Sources of Modality / 1. Sources of Necessity
Modality concerns relations among platonic properties [Jubien]
     Full Idea: I think modality has to do with relations involving the abstract part of the world, specifically with relations among (Platonic) properties.
     From: Michael Jubien (Possibility [2009], 3.2)
     A reaction: [Sider calls Jubien's the 'governance' view, since abstract relations govern the concrete] I take Jubien here (having done a beautiful demolition job on the possible worlds account of modality) to go spectacularly wrong. Modality starts in the concrete.
To analyse modality, we must give accounts of objects, properties and relations [Jubien]
     Full Idea: The ultimate analysis of possibility and necessity depends on two important ontological decisions: the choice of an analysis of the intuitive concept of a physical object, and the other is the positing of properties and relations.
     From: Michael Jubien (Possibility [2009], Intro)
     A reaction: In the same passage he adopts Quine's view of objects, leading to mereological essentialism, and a Platonic view of properties, based on Lewis's argument for taking some things at face value. One might start with processes and events instead.
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
The love of possible worlds is part of the dream that technical logic solves philosophical problems [Jubien]
     Full Idea: I believe the contemporary infatuation with possible worlds in philosophy stems in part from a tendency to think that technical logic offers silver-bullet solutions to philosophical problems.
     From: Michael Jubien (Possibility [2009], 3.2)
     A reaction: I would say that the main reason for the infatuation is just novelty. As a technical device it was only invented in the 1960s, so we are in a honeymoon period, as we would be with any new gadget. I can't imagine possible worlds figuring much in 100 years.
Possible worlds don't explain necessity, because they are a bunch of parallel contingencies [Jubien]
     Full Idea: The fundamental problem is that in world theory, what passes for necessity is in effect just a bunch of parallel 'contingencies'.
     From: Michael Jubien (Possibility [2009], 3.2)
     A reaction: Jubien's general complaint is that there is no connection between the possible worlds and the actual world, so they are irrelevant, but this is a nicely different point - that lots of contingent worlds can't add up to necessity. Nice.
15. Nature of Minds / A. Nature of Mind / 5. Unity of Mind
Brain bisection suggests unity of mind isn't all-or-nothing [Nagel, by Lockwood]
     Full Idea: Nagel argues (because of brain bisection experiments) that we should jettison our commonsense assumption that the unity of consciousness is an all-or-nothing affair.
     From: report of Thomas Nagel (Brain Bisection and Unity of Consciousness [1971]) by Michael Lockwood - Mind, Brain and the Quantum p.84
     A reaction: It seems wrong to call it 'commonsense'. It is an assumption that precedes any judgement, but if you rapidly grasp that your mind is in your brain, it becomes common sense that you can cut lumps out of your mind.
16. Persons / B. Nature of the Self / 4. Presupposition of Self
We may be unable to abandon personal identity, even when split-brains have undermined it [Nagel]
     Full Idea: As a result of the evidence of split-brains, it is possible that the ordinary, simple idea of a single person will come to seem quaint some day, …but we may be unable to abandon the idea, no matter what we discover.
     From: Thomas Nagel (Brain Bisection and Unity of Consciousness [1971], p.164)
     A reaction: I'm not sure what grounds you can have for a claim that we can't abandon our current view of selves, even when the new reality will be utterly different. Rather conservative? I would expect future concepts to roughly match future reality.
17. Mind and Body / E. Mind as Physical / 6. Conceptual Dualism
Analysing mental concepts points to 'inclusionism' - that mental phenomena are part of the physical [Jubien]
     Full Idea: We have (physicalist) 'inclusionism' when the mental is included in the physical, and mental phenomena are to be found among physical phenomena. Only inclusionism is compatible with a genuine physicalist analysis of mental concepts.
     From: Michael Jubien (Possibility [2009], 4.5)
     A reaction: This isn't the thesis of conceptual dualism (which I like), but an interesting accompaniment for it. Jubien is offering this as an alternative to 'reductive' analysis, translating all the mental concepts into physical language. He extends 'physical'.
18. Thought / A. Modes of Thought / 2. Propositional Attitudes
Propositional attitudes relate agents to either propositions, or meanings, or sentence/utterances [Magidor]
     Full Idea: Three views of the semantics of propositional attitudes: they are relations between agents and propositions ('propositional' view); relations between individuals and meanings (Fregean); or relations of individuals and sentences/utterances ('sentential').
     From: Ofra Magidor (Category Mistakes [2013], 3.4)
     A reaction: I am a propositionalist on this one. Meanings are too vague, and sentences are too linguistic.
18. Thought / C. Content / 1. Content
Two sentences with different meanings can, on occasion, have the same content [Magidor]
     Full Idea: It is commonly assumed that meaning and content can come apart: the sentence 'I am writing' and 'Ofra is writing' may have different meanings, even if, as currently uttered, they express the same content.
     From: Ofra Magidor (Category Mistakes [2013], 4.1)
     A reaction: From that, I would judge 'content' to mean the same as 'proposition'.
18. Thought / D. Concepts / 4. Structure of Concepts / b. Analysis of concepts
To grasp 'two' and 'green', must you know that two is not green? [Magidor]
     Full Idea: Is it a necessary condition on possessing the concepts of 'two' and 'green' that one does not believe that two is green? I think this claim is false.
     From: Ofra Magidor (Category Mistakes [2013], 3.4)
     A reaction: To see that it is false one only has to consider much more sophisticated concepts, which are grasped without knowing their full implications. I might think two is green because I fully grasp 'two', but have not yet mastered 'green'.
19. Language / B. Reference / 3. Direct Reference / a. Direct reference
First-order logic tilts in favour of the direct reference theory, in its use of constants for objects [Jubien]
     Full Idea: First-order logic tilts in favor of the direct reference account of proper names by using individual constants to play the intuitive role of names, and by 'interpreting' the constants simply as the individuals that are assigned to them for truth-values.
     From: Michael Jubien (Possibility [2009], Intro)
     A reaction: This is the kind of challenge to orthodoxy that is much needed at the moment. We have an orthodoxy which is almost a new 'scholasticism', that logic will clarify our metaphysics. Trying to enhance the logic for the job may be a dead end.
19. Language / C. Assigning Meanings / 1. Syntax
Generative semantics says structure is determined by semantics as well as syntactic rules [Magidor]
     Full Idea: Generative semanticists claimed that the structure of a sentence is determined by both 'syntactic' and 'semantic' considerations which interact with each other in complex ways.
     From: Ofra Magidor (Category Mistakes [2013], 1.3)
     A reaction: [She mentions George Lakoff for this view] You need to study a range of examples, but this sounds a better view to me than the tidy picture of producing a syntactic structure and then adding a semantics. We make up sentences while speaking them.
'John is easy to please' and 'John is eager to please' have different deep structure [Magidor]
     Full Idea: The sentences 'John is easy to please' and 'John is eager to please' can have very different deep structure (with the latter concerning John as a pleaser, while the former concerns John as the one being pleased).
     From: Ofra Magidor (Category Mistakes [2013], 2.1)
     A reaction: This demolishes the old idea of grammar as 'parts of speech' strung together according to superficial rules. The question is whether we now just have deeper syntax, or whether semantics is part of the process.
19. Language / C. Assigning Meanings / 2. Semantics
The semantics of a sentence is its potential for changing a context [Magidor]
     Full Idea: The basic semantics of sentences are not truth-conditions, but rather context change potential, which is a rule which determines what the effect of uttering the sentence would be on the context.
     From: Ofra Magidor (Category Mistakes [2013], 5.3.2)
     A reaction: [I. Heim's 'renowned' 1983 revision of Stalnaker] This means the semantics of a sentence can vary hugely, depending on context. It is known as 'dynamic semantics'. 'I think you should go ahead and do it'.
19. Language / C. Assigning Meanings / 4. Compositionality
Weaker compositionality says meaningful well-formed sentences get the meaning from the parts [Magidor]
     Full Idea: A weaker principle of compositionality states that if a syntactically well-formed sentence is meaningful, then its meaning is a function of the meaning of its parts.
     From: Ofra Magidor (Category Mistakes [2013], 1.1)
     A reaction: I would certainly accept this as being correct. I take the meaning of a sentence to be something which you assemble in your head as you hear the parts of it unfold. ….However, irony might exhibit meaning that only comes from the whole sentence. Hm.
Strong compositionality says meaningful expressions syntactically well-formed are meaningful [Magidor]
     Full Idea: In the strong form of the principle of compositionality any meaningful expressions combined in a syntactically well-formed manner compose a meaningful expression.
     From: Ofra Magidor (Category Mistakes [2013], 1.1)
     A reaction: [She cites Montague as holding this view] I find this plausible, at least. If you look at whole sentences they can seem meaningless, but if you track the process of composition a collective meaning emerges, despite the oddities.
Understanding unlimited numbers of sentences suggests that meaning is compositional [Magidor]
     Full Idea: The fact that speakers of natural languages have the capacity to understand indefinitely many new sentences suggests that meaning must be compositional.
     From: Ofra Magidor (Category Mistakes [2013], 3.2.1)
     A reaction: To some extent, the compositionality of meaning is so obvious as to hardly require pointing out. It is the precise nature of the claim, and the extent to which whole sentences can add to the compositional meaning, that is of interest.
19. Language / D. Propositions / 2. Abstract Propositions / b. Propositions as possible worlds
Are there partial propositions, lacking truth value in some possible worlds? [Magidor]
     Full Idea: Are there such things as 'partial propositions', which are truth-valueless relative to some possible worlds?
     From: Ofra Magidor (Category Mistakes [2013], 1.1)
     A reaction: Presumably this could be expressed without possible worlds. Are there propositions meaningful in New Guinea, and meaningless in England? Do some propositions require the contingent existence of certain objects to be meaningful?
19. Language / F. Communication / 5. Pragmatics / a. Contextual meaning
A sentence can be meaningful, and yet lack a truth value [Magidor]
     Full Idea: 'That is red' in a context where the demonstrative fails to refer is truth-valueless, despite being meaningful, as is 'the queen of France in 2010 is bald'. ...The claim that some sentences are meaningful but truth-valueless is, then, widely accepted.
     From: Ofra Magidor (Category Mistakes [2013], 4.1)
     A reaction: The lack of truth value is usually because of reference failure. It is best to say the words are meaningful, but no proposition is expressed.
In the pragmatic approach, presuppositions are assumed in a context, for successful assertion [Magidor]
     Full Idea: According to the pragmatic approach, presuppositions are constraints on the context: if a sentence s generates a presupposition p, an assertion of s cannot proceed smoothly unless the context already entails p (p is taken for granted).
     From: Ofra Magidor (Category Mistakes [2013], 5.3.2)
     A reaction: She credits Stalnaker for this approach. There is a choice between the presuppositions being largely driven by internal features of the sentence, or by external features of context. You may not know the context of some statements.
19. Language / F. Communication / 5. Pragmatics / b. Implicature
The infelicitiousness of trivial truth is explained by uninformativeness, or a static context-set [Magidor]
     Full Idea: In Grice's theory if a sentence is trivially true, asserting it would violate the maxim of quantity. For Stalnaker, if p is trivially true, it involves no update to the context-set, and is thus pointless.
     From: Ofra Magidor (Category Mistakes [2013], 5.2)
     A reaction: 'Let us remind ourselves, before we proceed, of the following trivial truth: p'.
The infelicitiousness of trivial falsity is explained by expectations, or the loss of a context-set [Magidor]
     Full Idea: In Grice's theory if a sentence is trivially false, asserting it would violate the maxim of quality. For Stalnaker if p is trivially false, removing all worlds incompatible with p would result in an empty context-set, preventing any further communication.
     From: Ofra Magidor (Category Mistakes [2013], 5.2)
     A reaction: [compressed] I'm not sure whether we need to 'explain' the inappropriateness of uttering trivial falsities. I take the main rule of conversation to be 'don't be boring', but we all violate that.
19. Language / F. Communication / 5. Pragmatics / c. Presupposition
A presupposition is what makes an utterance sound wrong if it is not assumed? [Magidor]
     Full Idea: The most obvious test for presupposition would be this: if s generates the presupposition p, then an utterance of s would be infelicitous, unless p is taken for granted by participants in the conversation.
     From: Ofra Magidor (Category Mistakes [2013], 5.3.1.1)
     A reaction: The principle of charity seems to be involved here - that we try to make people's utterances sound right, so we add in the presuppositions which would achieve that. The problem, she says, is that the infelicity may have other causes.
A test for presupposition would be if it provoked 'hey wait a minute - I have no idea that....' [Magidor]
     Full Idea: A proposed test for presupposition is the 'Hey, wait a minute' test. S presupposes that p, just in case it would be felictious to respond to an utterance of s with something like 'Hey, wait a minute - I had not idea that p!'.
     From: Ofra Magidor (Category Mistakes [2013], 5.3.1.2)
     A reaction: [K. Von Finkel 2004 made the suggestion] That is, you think 'hm ...this statement seems to presuppose p'. She says the suggestion vastly over-generates possible presuppositions - unlikely ones, as well as the obvious ones.
The best tests for presupposition are projecting it to negation, conditional, conjunction, questions [Magidor]
     Full Idea: The most robust tests for presupposition are the projection tests. If s presupposes p, then ¬s does too. If s1 presupposes p, then 'if s1 then s2' presupposes p. If s1 presupposes p, then 's1 and s2' presupposes p. If s presupposes p, then 's?' does too.
     From: Ofra Magidor (Category Mistakes [2013], 5.3.1.3)
     A reaction: [compressed] She also discusses quantifiers. In other words, the presupposition remains stable through various transformations of the underlying proposition.
If both s and not-s entail a sentence p, then p is a presupposition [Magidor]
     Full Idea: In the traditional account, a sentence s presupposes p if and only if both s and ¬s entail p. Standardly, this entails that if s presupposes p, then whenever p is false, s must be neither true nor false.
     From: Ofra Magidor (Category Mistakes [2013], 5.3.2)
     A reaction: 'I'm looking down on the garden' presupposes 'I'm upstairs'. Why would 'I'm not looking down on the garden' entail 'I'm upstairs'? I seem to have missed something.
Why do certain words trigger presuppositions? [Magidor]
     Full Idea: We can ask why a range of lexical items (e.g. 'stop' or 'know') trigger the presuppositions they do.
     From: Ofra Magidor (Category Mistakes [2013], 5.3.2)
     A reaction: I'm not sure whether we'll get an answer, but I would approach the question by thinking about mental files.
19. Language / F. Communication / 6. Interpreting Language / d. Metaphor
One theory says metaphors mean the same as the corresponding simile [Magidor]
     Full Idea: On standard versions of the simile theory of metaphors, they mean the same as the corresponding simile.
     From: Ofra Magidor (Category Mistakes [2013], 3.5)
     A reaction: Magidor points out that this allows the metaphor to work while being meaningless, since all the work is done by the perfectly meaningful simile. But the metaphor must at least mean enough to indicate what the simile is.
Theories of metaphor divide over whether they must have literal meanings [Magidor]
     Full Idea: There are theories of metaphors that require them to have literal meanings in order to achieve their metaphorical purpose, and those that do not.
     From: Ofra Magidor (Category Mistakes [2013], 3.5)
     A reaction: I take almost any string of proper language to have literal meaning (for compositional reasons), even if the end result is somewhat ridiculous. 'Churchill was a lion' obviously has literal meaning. And so does 'Churchill was a transcendental number'.
The simile view of metaphors removes their magic, and won't explain why we use them [Magidor]
     Full Idea: The simile theory of metaphors makes them too easy to figure out, when they cannot be paraphrased in literal terms, …and it does not explain why we use metaphors as well as similes.
     From: Ofra Magidor (Category Mistakes [2013], 3.5)
     A reaction: [She cites Davidson for these points] They might just be similes with the added frisson of leaving out 'like', so that they seem at first to be false, until you work out the simile and see their truth.
Maybe a metaphor is just a substitute for what is intended literally, like 'icy' for 'unemotional' [Magidor]
     Full Idea: According to the substitution view of metaphors, a word used metaphorically is merely a substitute for another word or phrase that expresses the same meaning literally. Thus 'John is an ice-cube' is a substitute for 'John is cruel and unemotional'.
     From: Ofra Magidor (Category Mistakes [2013], 3.5)
     A reaction: This seems to capture the denotation but miss the connotation. Whoever came up with this theory didn't read much poetry.
Gricean theories of metaphor involve conversational implicatures based on literal meanings [Magidor]
     Full Idea: Gricean theories of metaphor …assume that conversational implicatures are generated via literal contents, and hence that a sentence cannot generate an implicature without being literally meaningful.
     From: Ofra Magidor (Category Mistakes [2013], 3.5)
     A reaction: Magidor gives not details of such theories, but presumably the metaphor is all in the speaker's intention, which is parasitic on the wayward literal meaning, as in cases of irony.
Non-cognitivist views of metaphor says there are no metaphorical meanings, just effects of the literal [Magidor]
     Full Idea: According to non-cognitivists there is no such thing as metaphorical meaning. …The effects on the hearer are induced directly via the literal meaning of the metaphor.
     From: Ofra Magidor (Category Mistakes [2013], 3.5)
     A reaction: [This is said to be Davidson's view] I wonder how many people defended some explicit 'metaphorical meaning', as opposed to connotations that accumulate as you take in the metaphor? Any second meaning is just a further literal meaning.
Metaphors tend to involve category mistakes, by joining disjoint domains [Magidor]
     Full Idea: The fact that most metaphors involve category mistakes is not a coincidence. …A big part of them is to do with connecting objects and properties that normally seem to belong to disjoint domains.
     From: Ofra Magidor (Category Mistakes [2013], 3.5)
     A reaction: Metaphysica poets took disjoint domains and 'yoked them together by violence', according to Dr Johnson.
Metaphors as substitutes for the literal misses one predicate varying with context [Magidor]
     Full Idea: A problem with the substitution view of metaphors is that the same predicate can have very different metaphorical contributions in different contexts. Consider 'Juliet is the sun' uttered by Romeo, and 'Stalin is the sun' from a devoted communist.
     From: Ofra Magidor (Category Mistakes [2013], 3.5)
     A reaction: The substitution view never looked good (especially if you like poetry), and now it looks a lot worse.