Friday, 10 August 2018

Notes on Modality

Some notes from my post-PhD attempts to get back to the really deep problems surrounding modality.

The truth-conditions framing of the puzzle of modality makes it vividly felt. In the case of subjunctive (counterfactual) modality, it even leads to a fruitful answer. But at base, puzzlement remains, and the seeds for solving it are not to be found in the truth-conditions frame.

Likewise, I think, for a grounding frame. However, if grounding is thought of in explanatory terms, there may be a way in.

One problem with the truth-conditions frame is that not everything can be given informative truth-conditions, including discourse which we are not inclined to problematise. Actually describing and isolating surprising features of modal discourse, e.g. with concepts like ‘intensional’, ‘hyperintensional’, ‘referentially opaque’, gives something beyond the general appeal to the question of truth-conditions. Something more to work with. This suggests that a frontier here is: giving better and more refined such descriptions.

Another frontier which is easy to neglect once you take modality philosophically seriously, but really ought not to be neglected: what is it that is bothering the skeptic? What might their view come to?

Falsity in conventionalism. Elements of truth. (Later Putnam on H20.)

‘You can problematize anything like that’ (of the truth-conditions frame). Yes, but today it is this what we have problematized. And you haven’t solved it by pointing that out.

(When does, and when doesn’t, that sort of response - ‘You can always…’ - work? (Compare the perfect island objection to the ontological argument.) Well, the problems are distinctive in the case of modality and the truth-conditions frame. The truth-conditions frame is not just a trick that does the same thing every time, so to speak.)

A couple of particularly deep problems of modality get bypassed, partly because the area is so fruitful and leads to other investigations. (E.g. subjunctive modality’s relation to the a priori. The problems of epistemic modals.)

My PhD research trajectory is an example of such a deflection.

Unity of modality - another problem. Why the same words for all this? (Think about this question and how there may be no satisfactory answer. Here it may be worth trying to imagine other possibilities.)

The unity problem can seem silly in a way, but we can’t really answer it, or say convincingly why we shouldn’t have to. What, exactly, if anything, is wrong with the question?

‘Obstacles’: just shiny problems we get attracted to, distracting us from the big game? Or real obstacles that we can’t just pass by if we want? I.e. does not clarifying the relationship of subjunctive modality to the a priori threaten to make trouble for our efforts at the deeper problems.

The problem under the truth-conditions frame is closely related to the metaphysical feeling of mystery. (The feeling of a ghost.)

Idea: modal yearning is a diffuse yearning for models, systems.

In this way the problem of modality boils down to the general problem of metaphysics.

Modal yearning as a useful heuristic, which then gets a metaphysical application. A metaphysical interpretation.

I look at things in a peculiar way and feel the problem of modality.

This modal yearning angle also explains the attraction of necessitarianism. That doctrine is a soothing balm to one whose modal yearning is bothering them. The pressure to find the system is off. (God’s mind. Copy of the world.)

‘Eliciting the problem’.

My former teacher McDermott’s odd view on metaphysical modality - that it coincides with physical - can make better sense if we think of the dynamic between ‘This is the best deserver of the name’ and ‘Nothing deserves the name’. Or: ‘I don’t know whether anything deserves the name’. ‘I can’t tell what it would take to deserve the name’.

The metaphysically wary person may yet be forced into trouble with wedge-driving argument. ‘Well, you must admit we could have sat over there instead?’, ‘You must admit that we couldn’t both have sat here and not sat here?’

I may be a skeptic myself, if that just means that no one notion deserves a name like ‘metaphysically necessary’. But I used that term as the received label for a (type of?) concept I was interested in.

Sometimes, when thinking skeptically about the puzzles of modality, a realistic impulse asserts itself. Then, it begins to seem like denying the existence of some kind of basic, metaphysical space of possibilities is tantamount to denying that there is a real world.

What does it mean to say that the world has moving parts?

‘There is no privileged system of the world, no privileged way of identifying moving parts and their ranges of movement.’

It is quite easy to feel skeptical when pondering the idea of a complete space of possibilities, or possible worlds.

(There is a use of words like ‘fixed’ in philosophy which I want to call idiotic, or at least very crude. ‘So-and-so believes in fixed meanings’. ‘A fixed set of possible worlds’.)

Given this picture of the complete space of possibilities, we might ask: what is the alternative?

The picture all by itself isn’t harmful, presumably. It can be applied in a way that is not guilty of anything.

* * *

(The below section of these notes was prompted by reading a draft paper by John Burgess called 'Modal Logic in the Modal Sense of Modality'.)

My thought that the deep puzzle was there before Kripke, and that Kripke’s innovation’s main consequence with respect to it was a clearable obstacle, is there in Burgess. That the a priori bit at the core of modal epistemology is still clearly there doing its thing, and that this really just takes us back to where we were before Kripke, as far as the deep puzzle is concerned.

It is interesting that Burgess, when he wants to get to the heart of the matter surrounding the difference between views on which necessity ‘derives from us’ and those on which it doesn’t, uses theological language. He then notes that this would have been a natural way for philosophers in the 17th and 18th centuries to discuss it, but that we probably must today take it as still metaphorical. (And I think it clearly is, even from most theistic perspectives, if they be at all sophisticated.) And so arguably this theological gloss is not much better than the ‘origin’ talk. So he says he’s going to try again.

The next attempt ends up being based on the metaphors of reflection and projection. The modal facts are there, part of the world as it it in itself, vs. they aren’t, rather being a projection of our interests. Burgess, getting into profound waters, writes:

Perhaps I should give up the attempt to get rid of all metaphors, and admit that the two views I am discussing are not so much philosophical theses or doctrines as ‘metaphilosophical’ attitudes or orientations: a stance that finds the ‘reflection’ metaphor congenial, and the stance that finds the ‘projection’ metaphor congenial. But let me try a third time to describe the distinction between the two outlooks in literal terms, avoiding optics as well as theology.

Now comes the attempt:

To begin with, both sides grant that there is a correspondence or parallelism between two items. On the one hand, there are facts about the contrast between what is necessary and what is contingent, for instance, between 29 being a prime number and 29 being the number of years it takes for Saturn to orbit the sun. On the other hand, there are facts about our usage of modal auxiliary verbs such as ‘would’ and ‘might’, and these include, for instance, the fact that we have no use for questions of the form ‘Would 29 still have been a prime number if such-and-such?’ but may have use for questions of the form ‘Would 29 still have been the number of years it takes for Saturn to orbit the sun if such-and-such?’ The difference between the two sides concerns the order of explanation of the relation between the two parallel ranges of facts.

And what do I mean by that? Well, both sides grant that ‘29 is necessarily prime’, for instance, is a proper thing to say, but they differ in the explanation why it is a proper thing to say. Asked why, the first side will say that ultimately it is simply because 29 is necessarily prime. That makes the proposition that 29 is necessarily prime true, and since the sentence ‘29 is necessarily prime’ expresses that proposition, it is true also, and a proper thing to say. The second side will say instead that ’29 is necessarily prime’ is a proper thing to say because there is a rule of our language according to which it is a proper thing to say. This formulation of the difference between the two sides gets rid of metaphor, though it does put an awful lot of weight on the perhaps fragile ‘why’ and ‘because’.

Here the late Wittgenstein passage (from PI 590 - quoted below) can get in between these views. The explanation can go through language to the world, so to speak. What we have use for is not a completely arbitrary matter, if we think of the used items as not bare signs, but signs in a system of language, a body of usage.

...even supposing the pragmatist view is the right one, and the problems of the epistemology of modality are dissolved, still the pragmatist side has an important unanswered question of its own to address. The pragmatist account, as I formulated it earlier, begins by saying that we have certain reasons, connected with our various purposes in life, to use certain words, including ‘would’ and ‘might’, in certain ways, and thereby to make certain distinctions. What the pragmatist owes us is an account of what these purposes are, and how the rules of our language help us to achieve them. Addressing that issue is or ought to be at the top of the pragmatists’ to-do list.

I think this above bit needs careful thought, and that we need to be on guard against oversimplifying ideas about language having a purpose. Its multifaceted character needs to be kept in mind here. It seems to me that the reasons and the purposes aren’t really to be identified, and aren’t really the focus anyhow. We have rather to look into language itself, the working of it, and what we can and can’t ‘do something with’ - this doesn’t require that we have a settled idea of what we want to do with language. So I think there is a way which falls on the ‘pragmatist’ side of Burgess’s line, in that language (meaning) gets into the explanatory act, but where the to-do list doesn’t look like Burgess says it does or ought to.

After discussing a modal ship of Theseus paradox:

Moreover, if the question ever did prove to be, in some specific case, of practical importance, then according to the pragmatist view we could then settle it by fiat, making a new rule for ourselves, since it is rules we have made to which the answers to all questions about modality are ultimately to be traced.

This is dubious to me. Sometimes ‘making a game more definite’ can be protested to be really just moving to a different game. And thus there is, I think, an important sense in which the original question was inherently borderline, inherently not a clear case. Compare ‘Is this man tall?’ (where he’s sort of tall but not really). There’s something wrong with saying that we can just stipulate that the answer to this is ‘yes’. For then we have a concept (attached to ‘tall’) which is just different from the one we had where we didn’t know what to say.

This discussion of Burgess doesn’t get into the weeds of the whole space of possibility, how extensive it is, etc. Or the idea that there’s a lot of indeterminacy there, or actually different notions going by the name ‘metaphysical necessity’. Rather, he just takes a fairly standard off the shelf picture of there being some modal facts here, and contrasts two attitudes to the origin (metaphorically), optics (metaphorically), or explanation (non-metaphorically but perhaps ‘fragile’) of those facts.

‘By contrast, to those who take a pragmatist attitude there will only be the potential for a practical problem, a potential that is thus far apparently unrealized, and that if it ever were realized could always be solved by fiat.’

This I don’t think is right. Similarly I want to rebel against Burgess’s idea about what is on the to-do list of his pragmatist. To be fair, he stipulates that his pragmatist starts with the idea of ‘certain interests and purposes’, but if the core of the pragmatist attitude is just that explanations of modality go through language and meaning, then this starting with ‘certain interests and purposes’, and their foregrounding, seems to me to be an optional extra, and one which I would want to consider doing without.

This, I think, leads to a stronger position. One advocates going through meaning when explaining modality, but also is careful to be faithful to language and meaning as it really is - not a thing with ‘certain purposes’ in any strong sense, and also something which can be inherently indefinite (i.e. that certain expressions and concepts are inherently not sharp, and can’t be made definite by ‘fiat’ without changing the game).

Taking this position, it becomes clearer why we scratch our heads in some cases, and don’t just consult our purposes and lay down new rules.

* * *

One problem with the basic intuition pumping ‘We could have done otherwise today’ way of motivating the concept of metaphysical modality is that it admits of a retrospective epistemic reading which does not obviously imply anything about ways things really could have been.

Here it might be thought: for it to become clear that we mean metaphysical rather than retrospective epistemic modality, we need negative examples - necessities, i.e. claims that such and such could not have gone otherwise. The thought is: if that’s right, and it’s not right under the retrospective epistemic reading, then there must be another reading.

* * *

Trying to really follow through on a maximally realist, metaphysical viewpoint is worth doing. Call the facts objective, say they aren’t projections, talk about our intellectual access to them and let yourself have a special way of knowing. Work in that framework and then see what the questions are.

One that hasn’t been given enough attention in my view is ‘is “Necessary” vague?’. The sort of default thought is perhaps that it is not for the hard-core realist but is for the projectionist. But that’s not very compelling once you really think about it. (Tallness is real, some things really are heaps, etc.)

Idea of a system we could understand which governs the metaphysical modal space. Would this not be a kind of once and for all solution to conceptual possibility questions? (Or would you first have to find a reduction into the terms of the system?)

* * *

The 'broadly logical' terminology for metaphysical modality as a promissory note.

Note how naturally it comes to say 'It doesn't *make sense* to talk about this table having been made of ice'. 'It doesn't make sense to talk about Queen Elizabeth being born of different parents'. (*If* you're in the mood to say those things are metaphysically impossible.) 'It doesn't make sense to talk about Hesperus being distinct from Phosphorus'.

When it is put in terms of sense like this, the matter seems far less final. One thinks 'Well, maybe it could make sense in certain circumstances'. (Not so for other things. For of course we don't just mean 'these words could be given a meaning'.)

Note that these natural claims about what does and does not make sense with respect to counterfactual scenario descriptions do not parallel claims about statements about the way things actually are. It does, for instance, make sense to talk about the table actually being made of ice, or Hesperus perhaps not being Phosphorus after all.

Problem for relating modality to meaning: why, "in the abstract", would meaning be relevant? A picture: the world as a kind of machine with a space of configurations. Those are the possibilities. Our ideas or models are only a guide to the extent and nature of these insofar as they reflect the world. In any case, the order of explanation should not put meanings at the base. Our ideas or models or sentences can meaningfully assume such and such configurations *because* the world is like that.

Response: This brings out that the point of bringing in meaning isn't to block out the world. It's not that we have some end goal of cutting it out and just looking at some isolated language/thought system and explaining modal status in terms of its constitution. Rather, it's that there is a harmony there, and that we go *through* our representations to the world. Through meaning to modality. (But here I feel I'm getting too glib.) The idea that, if we don't do that, we end up stuck.

Look here at particular cases.

When there's an impossibility, one might say, it is only because our conceptions or expressions possess degrees of freedom not possessed by the world.

But something seems to have gone wrong already with that thought. Think about how poorly ideas about, say, the necessity of origin and constitution fit with this picture. (As though there were this thing, the table (or the Queen), which could be manipulated some ways but not others. But of course the table and the Queen are not 'elements' of the world, so to speak, so we feel that this picture is inappropriate. This relates to Quine's idea of the "museum myth".)

The issue of whether there is a single, main concept of metaphysical modality is important. As too is the issue of vagueness. (Kripke's results are negative - whatever may be possible, this isn't.)

Drive towards thinking there is a single concept may be bound up with a yearning to find the system - a generalised, metaphysicalised natural thinking impulse. (Necessitarianism as a balm.)

The one other bit, I think, although it may be implicit in part of the above, is this: the feeling that what our ideas or talk permits may just reflect ignorance or prejudice. Now, there is something to this, but it easily gets out of control or totalised. (This pattern-matches with the philosophical point that we couldn't be wrong all of the time in, say, arithmetic.) (Note that we can, in one fell swoop so to speak, perform radical "manipulations" with our pictures - p-zombies, e.g., or a world with just one atom perhaps, or a non-physical world. But also note the uneasiness which comes with it, the head-scratching aspect, which we don't normally have with clear examples of alternative possibilities.)

Finally, something I think is emerging only dimly now but is important, perhaps very important: the 'leaving it ragged' stuff, the 'making room for head-scratching' stuff. I think some kind of statement of the potential importance of that would be good to have.

* * *

You might ask: what does the credential matter? What follows from it? This is a hard, but I think suggestive, question.

One point: naturalness of ‘doesn’t make sense’ locutions in explanations of Kripkean necessities. Also, making sense in the relevant sense does have to do with the world: not all configurations permitted by the system of language looked at in isolation have the right kind of usability - lack a special status. And the world plays a role in that. (PI 590 passage.)

(The passage referred to above is from section 590 of Wittgenstein's Investigations and I mention it again below. It runs:
[...] So does it depend wholly on our grammar what will be called (logically) possible and what not,—i.e. what that grammar permits?”—But surely that is arbitrary!—Is it arbitrary?—It is not every sentence-like formation that we know how to do something with, not every technique has an application in our life [...].)

One tries to put meaning in the picture by saying: this proposition is one of those whose necessity is guaranteed by what it means (not that they all are - the C. Anthony Anderson point about disjunctive cases): no statement with that meaning could have been contingent. But if one has an extensionalist view of meaning - what is picked out - then this will automatically be true of all necessities. So that doesn’t distinguish the view of the philosopher who wants to have meaning in the picture, in some sense, in their philosophical understanding of modality.

If you have an internal aspect of meaning, then you can perhaps still put the point in terms of necessitation. Still say something that distinguishes from an out-in-the-worlder. Otherwise, looks like you need something like grounding or explanation.

A bare configuration - one we can sort of do something with - one we can do something with.

When you make the world part of the explanation for why a construction doesn’t have the credential - doesn’t have modal genuineness - the meaning view may seem to collapse into an ‘out there in the (nonsemantic) world’ view.

What is so important about having meaning in the picture? What is wrong with the out there in the world view? One problem is that when we try it, and try to talk explanatorily about modal facts, we shoot past the question of meaning - we try to talk in the object language about modally genuine and non-modally-genuine situations. We as it were beg the question in favour of possibility. ‘The world state where Hesperus, that very object, is distinct from Phosphorus, that very object, is an impossible one’. One wants to object that in a sense “the world state” isn’t there.

You may end up representing modal reality in a way which invites the thought that it could have been different. (Stark with modal realism.) Or, you end up with a mysterious ontology of things which you say could not have been different - this gets represented as a kind of super-structure. Now, I think the person who wants meaning in the picture is sometimes feeling here that there’s a kind of inappropriate bedrock - that there’s helpful stuff which is left unsaid if we adhere strictly to an ‘out there in the (nonsemantic) world’ view. (Here recall how it’s quite natural, when explaining the metaphysical necessity of identity, to say something like ‘Given that Hesperus is Phosphorus, it doesn’t make sense to talk about Hesperus, that very thing, not being Phosphorus, that very thing. You’d as it were be saying that this one thing is distinct from itself.’ The movement of thought here is something like: don’t look for, as it were, a counterfactual possibility that is being ruled out as impossible, rather see how there is no such thing answering to that name.)

Wednesday, 20 June 2018

Forthcoming in The Philosophical Forum

Cover image

My paper 'Propositions, Meaning and Names' is forthcoming in the Winter 2018 edition of The Philosophical Forum. It derives from a chapter of my PhD thesis and sketches an approach to the topics mentioned in the title. The approach to propositions and meaning it develops has other applications besides the question of the meaning of proper names, but that will have to wait (for the most part). This is my longest publication to date and is fairly ambitious. I've blogged here over the years about some of the ideas in it, and am glad to see them making their way to publication. It seems that philosophers who are especially interested in these topics often have to start from the beginning, and this is my start.

Saturday, 5 May 2018

Epistemic Modals and Whether 'True' and 'False' are Ambiguous

Around 2011 I began to develop a view about epistemic modals which I have always wanted to return to. Motivated by dissatisfaction with the rival approaches of contextualism and relativism, the core ideas of the view were:

(1) That an utterance of 'It might be that p' can be thought of as being correct iff the proposition p is robust with respect to a contextually relevant amount and kind of inquiry. That is, iff the proposition is not falsified by the relevant amount and kind of inquiry.

(2) Sometimes, when we assess epistemic modals, we assess whether their prejacents - the propositions p they say might obtain - meet the contextually relevant robustness requirement, but other times, we assess whether they are ultimately correct - i.e. whether they would survive all possible inquiry.

To get a feel for why you'd want something like (1), consider this phenomenon: sometimes when asked whether something might be true, we say 'I don't know'. That suggests that we don't think present evidence settles the question. Nevertheless, we might be happy after a certain amount of inquiry to say 'It turns out that p could indeed be true', and we might be happy to say this even while allowing that yet more inquiry may still falsify p. So when we were asked whether it might be that p, we took ourselves to need some more evidence than we currently have, but still not all possible evidence. Thus, we had some idea in the background of a contextually relevant amount or kind of inquiry.

To get a feel for why you'd want something like (2), consider the fact that if I'm asked whether it might be that p, and say something 'I don't know, we'd better wait for the results of the police report', and then later, once the report is in, say 'The report is in now, and yes, it might be that p', I may still, later when even more is known and we now know p is false, say 'Ah, so it turns out that our belief that p might be the case was wrong'.

My explanation for this was that the judgement made when the report came in - and perhaps the agnosticism before it - was about robustness up to a contextually relevant point, but that the later judgement once even more inquiry is done, and we know that p is false, was about ultimate correctness.

This led to the idea that, with respect to epistemic modals, expressions like 'true'/'false', 'right'/'wrong', 'correct'/'incorrect', are ambiguous. Or more carefully, that statements about epistemic modals made with these terms can be understood in different ways. (You could perhaps maintain a unified semantics for these terms by having a contextual parameter - very roughly, a view on which 'true' means something like 'cognitively good in way X'.)

Now, a forthcoming paper by Justin Khoo and Jonathan Phillips considers a version of relativism which responds to certain difficult data with a kind of ambiguity view of 'true' and 'false'. They raise a problem for this response which would also be a problem for my idea about terms like these, when epistemic modals are in play, sometimes being about contextually relevant robustness and sometimes being about ultimate correctness.

Against any such ambiguity approach - or more carefully, against any approach on which these assessment claims about epistemic modals are equivocal can be understood in different ways - Khoo and Phillips adduce the following exchange:
A: Fat Tony might be dead.
B: What A said is false.
C: #I agree with you B – what A said is false; but also, A’s claim is true since A didn’t have the evidence proving Fat Tony is alive.
And judge that what C says at the end seems 'irreparably incoherent' (p. 12 of the archived draft). 

I want to suggest that this is too quick. I agree that C's last utterance sounds very bad. But I don't think that is all that hard for an ambiguity approach to account for.

In service of this argument against an ambiguity approach, they consider an uncontroversially ambiguous word, 'book', and note that the following sounds fine (p. 12 of the archived draft):
D: (pointing to a bound volume with blank pages) This is a book.
E: I agree with you D – that is a book; but it also isn’t a book since it’s not a literary work.
But this isn't a good comparison. I suggest that there's something like a rule of language which is flouted in the dialogue they complain about between A, B and C but is not flouted in the dialogue between D and E. Something like: when you use both members of a contrast pair like 'true' and 'false' then, absent explicit markers to the contrary, you're using them in the same way.

In support of this: if we add something like 'in a sense' and 'in another sense' to C's utterance, it begins to sound a lot better.

This has reinvigorated me - to see new considerations putting pressure on relativism to look more like the view I began to develop in 2011, which move on relativism's part then faces published (or forthcoming) objections to which I think I have a good answer.

Tuesday, 27 March 2018

Forthcoming in Acta Analytica

My paper 'Linking Necessity to Apriority' is forthcoming in Acta Analytica. It grew out of this blog post, although the proposal in the post is slightly different and, if not false, seems to require Millianism about proper names, which I don't want to have to require. (Two anonymous referees for Acta Analytica made me see this.) I arrived at the basic idea of the paper during my PhD work. It's a kind of stripped-down, partial version of the more ambitious account of necessity developed in my thesis. If it's right, it shows a clear, straightforward way in which our knowledge of modal status can always be traced back to a crucial a priori factor.

It's my first publication to contain a clear and positive theoretical proposal. My previous publications have either been mainly negative, or in the case of my paper on identity statements, positive in a way but hard to get a grip on, and the sort of thing that only sympathetic minds would accept. This, on the other hand, seems more "mathematical", more like something that quite differently minded philosophers might accept. It impinges on recent work by Kipper and Strohminger & Yli-Vakkuri, which I have discussed quite a bit here on this blog.

Thursday, 8 March 2018

'Metaphorical Truth'? Three Frontiers for a Sharper Metalinguistic Negotiation Toolkit

I have recently been thinking about verbal disputes, a topic which has seen an increase in philosophical attention over the last few years. I began to think more about them when confronted with some debates involving public intellectuals on the idea of truth. Roughly, some prefer what I call an 'austere' conception of truth, which does not for instance allow that a single claim with a given meaning is false in some "literal" sense while true in some other "metaphorical", mythological, metaphysical, or higher sense. Others prefer a more capacious conception of truth, which does let us say things like 'That may not be literally or scientifically true, but it is metaphorically true: this idea can guide us in the world and help us'. (This is interestingly different from pragmatism about truth as normally discussed within philosophy, since it retains a plain conception of truth which need not be thought of in pragmatic terms at all, but can be thought of as correspondence to the facts, and then has a separate stratum of truths, or a separate way of being true.)

Now, I would like to discuss this particular dispute further in future, applying in detail some of the thoughts which follow. In this post I will outline some general ideas about what I call 'tenacious verbal disputes', which I think show how complex and multi-faceted such disputes can be, and may help furnish us with a toolkit for better engaging with, arbitrating, and understanding them.

Tenacious verbal disputes are different from 'merely' verbal disputes - roughly, ones which dissolve once their nature becomes clear. Tenacious verbal disputes do not so dissolve. I think that many philosophical disputes are tenacious verbal disputes, and that many (if not all) tenacious verbal disputes are normative, ethical, or pragmatic disputes about how to use words (and symbols, and pictures).

It is merely verbal disputes that Chalmers spends most of his time on in his agenda-setting 'Verbal Disputes' paper of 2011. He does, however, say some insightful things about what Peirce called "the ethics of terminology" - how we should use words - but this is a very brief glance made during the fourth entry in a list of four things that ordinary language philosophy can do. 

The sort of thing I am interested in here has been discussed, especially by Plunkett and Thomasson, under the umbrella 'metalinguistic negotiation'. Some of their discussions are more in terms of what concepts we should use, rather than how we should use certain given representations, but such discussions are obviously still relevant. (Here it's helpful to distinguish between repertoire and deployment. If I want to use a term X in a certain way but my opponent wants to use it another, I may still want to have the concept they want to attach X to on board, but just in a less central place.) Or what concepts we should use for some 'task at hand'. (But sometimes there's no very circumscribed task, and our disagreement surrounds a term which comes up all over the place.) In view of repertoire vs. deployment issues, and the open-ended nature of some 'jobs' that representations do, I think it is often more helpful for many disputes to frame the issue in terms of how we should use certain words, symbols, or pictures.

Here are three frontiers I see for sharpening our metalinguistic negotiation toolkit:

(1) We should not just think of the issues in terms of some indefinitely expandable 'we' - as in 'How should we use word X?'. Some ways of using words, symbols and pictures will be best for some people, others better for others. Likewise not just for different persons but different times, situations, and communities.

(2) The above point also makes it clear that there are issues of what I call contagion to consider. For example, two thinkers having a tenacious verbal dispute may actually be disposed to agree that it's horses for courses, and that maybe one disputant's usage could give them some value in certain ways, but the other party may nevertheless worry that this sort of usage, which has certain virtues in some range of application, may catch on overly and have bad effects which outweigh the good. Realising that this is the issue, when it is the issue, could help the disputants to settle the issue, or at least to stop wasting time and effort arguing about it in the wrong way.

(3) Just as, with normative issues more generally, we recognise distinctions between differences in values versus differences over how things are, and between basic and instrumental values (or at least relatively basic vs. relatively instrumental ones), we should take this sophistication and apply it to tenacious verbal disputes. Two disputants, for instance, may be unclear about whether the crux of their disagreement is that they have different views of what would actually happen if the usage at issue caught on, or that they differ in their preferences regarding a given such outcome. Getting clear about this could pay real dividends. For instance, if they manage to agree that it's largely due to different views about what would actually happen, they could then move on to investigating more thoroughly what would actually happen, using the wisdom of relevant disciplines instead of confused, frustrating arguments.

Monday, 29 January 2018

Update on my Necessity and Propositions account (and my haste to declare it false)

In some recent posts here I have discussed propositions like 'Air is airy' (due to Jens Kipper) which we know to be necessarily true, but only because we know empirically that air is not a natural kind, and hence that all there is to being air is being airy, and 'Eminem is not taller than Marshall Mathers' (due to Strohminger and Yli-Vakkuri), which we know to be necessarily true, but only because we know empirically that Eminem is Marshall Mathers, in relation to the account of necessity defended in my thesis. That account says that a proposition is necessarily true iff it is in the deductive closure of the set of true inherently counterfactually invariant propositions. (Roughly, a proposition is ICI if it does not vary across counterfactual scenarios when held true. For more detail see Chapter 5 of my thesis.)

At first, I reacted by thinking that such propositions show that account to be false. I then came up with another account, based on the idea of a counterfactual invariance decider. I still find this new account more elegant, but I soon came to have doubts about just how threatening they are to the ICI-based account in my thesis.

I have recently realised that the ICI-account fares even better in the face of these examples than suggested in the post mentioned above. There, I suggested in effect that 'All there is to being air is being airy' could be argued to imply 'Air is airy' on a suitably rich notion of implication, thus saving the ICI-account, and similarly that 'Eminem is Marshall Mathers' could be argued to imply 'Eminem is not taller than Marshall Mathers' on a suitably rich notion of implication.

But, I have realised, no such rich notion of implication is required! We just need to conjoin the empirical proposition which decides the modal matter with the proposition whose modal status is in question. 'Air is not a natural kind and air is airy', or 'All there is to being air is being airy and air is airy', are both true and ICI, and they both - very straightforwardly, by conjunction elimination - imply the desired proposition. For the Eminem case we have 'Eminem is Marshall Mathers and Eminem is not taller than Marshall Mathers'. So there was never a serious problem for the ICI-account after all! 

Admittedly, these impliers do perhaps seem a bit "clever", a bit artificial in some way, and this - together with not requiring any appeal to implication at all - is why I still think the CI decider account is more elegant. 

One thing that I think went wrong in my thought process around this is that I got a kind of kick out of concluding that my original account was false. Doing so made me feel like a virtuous philosopher, open to changing their views. But I am glad that I now have a more elegant account, and the notion of a CI decider. (I wonder: Would the CI decider account still have come to me if I had not overreacted and thought my original account falsified? Or did my foolishness here cause me to come up with the CI decider account?)

Tuesday, 9 January 2018

Robin Hanson Responds

I recently posted criticisms of Robin Hanson and Kevin Simler's excellent new social science book The Elephant in the Brain. Hanson responds here. The response is short so I will reproduce it here:

The fourth blog review was 1500 words, and is the one on a 4-rank blog, by philosopher Tristan Haze. He starts with praise:

A fantastic synthesis of subversive social scientific insight into hidden (or less apparent) motives of human behaviour, and hidden (or less apparent) functions of institutions. Just understanding these matters is an intellectual thrill, and helpful in thinking about how the world works. Furthermore – and I didn’t sufficiently appreciate this point until reading the book, … better understanding the real function of our institutions can help us improve them and prevent us from screwing them up. Lots of reform efforts, I have been convinced (especially for the case of schooling), are likely to make a hash of things due to taking orthodox views of institutions’ functions too seriously.
But as you might expect from a philosopher, he has two nits to pick regarding our exact use of words.
I want to point out what I think are two conceptual shortcomings in the book. … The authors seem to conflate the concept of common knowledge with the idea of being “out in the open” or “on the record”. … This seems wrong to me. Something may satisfy the conditions for being common knowledge, but people may still not be OK talking about it openly. … They write: ‘Common knowledge is the difference between (…) a lesbian who’s still in the closet (though everyone suspects her of being a lesbian), and one who’s open about her sexuality; between an awkward moment that everyone tries to pretend didn’t happen and one that everyone acknowledges’ (p. 55). If we stick to the proper recursive explanation of ‘common knowledge’, these claims just seem wrong.
We agree that the two concepts are in principle distinct. In practice the official definition of common knowledge almost never applies, though a related concept of common belief does often apply. But we claim that in practice a lack of common belief is the main reason for widely known things not being treated as “out in the open”. While the two concepts are not co-extensive, one is the main cause of the other. Tristan’s other nit:
Classical decision theory has it right: there’s no value in sabotaging yourself per se. The value lies in convincing other players that you’ve sabotaged yourself. (p. 67).
This fits the game of chicken example pretty well. But it doesn’t really fit the turning-your-phone-off example: what matters there is that your phone is off – it doesn’t matter if the person wanting the favour thinks that your phone malfunctioned and turned itself off, rather than you turning it off. … It doesn’t really matter how the kidnapper thinks it came about that you failed to see them – they don’t need to believe you brought the failure on yourself for the strategy to be good.
Yes, yes, in the quote above we were sloppy, and should have instead said “The value lies in convincing other players that you’ve been sabotaged.” It matters less who exactly caused you to be sabotaged.
So Hanson paints me as a nitpicky philosopher, but nevertheless takes the points. He didn't mention the second point under the second heading, about theory of mind, which I think is maybe the most important. This omission better lets him get away with painting me as a nitpicky philosopher. But I am happy to see the response, and will not be daunted in making conceptual points that in fast-and-loose mode may seem like mere nitpicks.

What may seem like mere nitpicks at the stage of airing these ideas and getting them a hearing can turn into important substantive points in the context of actually trying to develop them further and make them more robust.