Strohminger & Yli-Vakkuri Improve (in Some Respects) Upon Kipper's Bombshell (and My Account of Necessity May Be False)

This post is quite compressed and relies on things explained in the previous posts on the task of linking necessity to apriority, as well as alluding to my account of necessity as expressed in my PhD thesis. In a future post, I intend to explain and explore what these developments mean for my account of necessity.

There has recently appeared an unpublished manuscript on PhilPapers (PDF available here at time of writing) which contains even stronger counterexamples to both Casullo's and my proposed link between necessity and apriority. It is by Margot Strohminger and Yuhani Yli-Vakkuri.

Strohminger & Yli-Vakkuri argue that Kipper's examples are contentious, relying on dubitable assumptions about natural kind terms and perhaps even embracing what they call 'Chalmersian two-dimensionalist ideology'. They provide even simpler examples of propositions whose general modal status cannot be known a priori (and, relevantly for me, these examples also don't seem to be implied by propositions whose general modal status can be known a priori). For example:

Bob Dylan is at least as tall as Robert Zimmerman.

This is necessary, since Bob Dylan is Robert Zimmerman. But for all we can know a priori, Dylan and Zimmerman are distinct, in which case this proposition would not be necessary, but contingent.

But hold on a minute! My link appeals to implication, and I said that the example above isn't implied by a proposition whose general modal status is knowable a priori. But can't we say that it is implied by 'Bob Dylan is Robert Zimmerman', which we can know a priori to be necessary? Yes, we can - although here we need a notion of implication which takes into account the meaning of 'is at least as tall as' - or at least the fact that it's a certain kind of comparative expression - rather than just the meanings of subject-neutral particles like 'or', 'all' and 'some'. So, from the point of view of disproving Casullo's proposed link, this example may be the best available so, but from the point of view of disproving my proposed implication-involving link, Kipper's natural kind examples may still have an edge.

It seems to be a very exciting time to be thinking about these issues! So far, in this post and the last, I've been talking about how these examples affect my proposed link between necessity and apriority. But the situation is more serious than that for me. The centrepiece of my PhD thesis was an account of the conditions under which a proposition is necessarily true (I've blogged about this account quite a bit here). And these developments, as far as I can tell, may well show that account to be false. This is very momentous for me, as I worked on that account for several years and considered it to be maybe my best bit of work.

I can't believe I didn't think of the example above in connection with my account! I even considered a very similar example when making a side point about using my notion of a genuine counterfactual scenario description (used in my account of necessity) to arrive at a definition of rigid designation which is in some ways more fundamental than the Kripkean one.

Stay tuned for more on whether and how these developments affect my account of necessity, and what can be done about it if they do.

Kipper's Bombshell

In a recent post (and an article I am working on), I arrived at the view that if a proposition can be known to be necessary (i.e. necessarily true or false) then either it or its negation is in the deductive closure of a set of true propositions with a priori necessary character - i.e. propositions which are such that it can be known a priori that they are necessary.

There is a new article by Jens Kipper forthcoming in Analysis, 'On what is apriori about necessities', which seems to make serious trouble for this view (as well as its ancestors). Here is the problem in my own words:

Kipper zeroes in on the fact that with some terms, such as - plausibly - 'air' and 'water', it is not a priori whether they pick out a natural kind or not. It turns out that 'air' doesn't pick out a natural kind, and that 'water' does. Now, let 'airy' be a predicate that applies to a stuff when it exhibits the superficial characteristics that air has in our world, and similarly for 'watery'.

Kipper's bombshell is to point out that 'Air is airy' is plausibly necessary (since air doesn't have some underlying nature which makes it air - rather its being air is basically just a matter of its being airy) but 'Water is watery' is plausibly not necessary (since something with water's underlying nature, i.e. being comprised mainly of H20, could have existed in quite different conditions where it isn't watery). And it definitely seems like these things could not have been known a priori.

I have mixed feelings realising this. I was really happy with my proposed link between necessity and apriority. I still feel inclined to suppose that there is something in the idea. But I cannot deny the simplicity and insightfulness of Kipper's bombshell.

Kipper considers and casts serious doubt on a view that tries to escape the bombshell by claiming that meaning change occurs when we discover whether a term like 'air' doesn't pick out a natural kind. I am pretty sympathetic to Kipper's rebuttal of this, and am inclined to look elsewhere for a way of saving, or repairing, my link. Could I perhaps figure out a way of getting propositions which clearly do have a priori necessary character and which imply propositions like 'Air is airy'?

I will post again on this matter once I get a better view of the situation.