Monday, November 10, 2008

Possible Worlds III - Actualism

by Hanno

Lewis held that possible worlds exist exactly like this one. His view entails that there are uncountably many things that exist in "uncountable infinities of donkeys, protons and puddles, of planets very like earth... small wonder if you are reluctant to believe it." Actualist possible worlds tries to use the power of modal logic using actual objects to ground talk of possible worlds. Actualists reject Lewis's view precisely because it is unbelievable.

There are at least three versions of actualist possible worlds semantics. According to Stalnaker, possible worlds are uninstantiated properties. Like the property of being a unicorn, the property exists even if there are no examples of unicorns. In logic-speak, an instance of the property is its instantiation. So uninstantiated properties are properties that nothing has. But for many philosophers, like Plato, the property can exist even if there is no instance.

Alvin Plantinga holds that possible worlds are complete states of affairs. These exist as abstract entities and have properties. The state of affairs "Quine's being a philosopher" has the property of obtaining, while the state of affairs "Quine's being a politician" has the property of not obtaining. Some states of affairs have the property of being possible, and others do not (though Plantinga does not state whether he thinks the imposible states of affairs non-the-less exist). Plantinga has a technical way of defining complete, but basically, for any state of affairs S, a complete state of affairs either includes either S or not S.

According to Robert Adams, possible worlds are not states of affairs, nor abstract objects, but complete, consistent sets of propositions. Propositions are actual intensional abstract entities, and these propositions have the property of being either true or false. A proposition like "Aristotle is tall" contains both the individual Aristotle and the property of being tall. Consistency in complete sets of propositions is inherently modal: It is consistent if it is possible to be true together.

Other philosophers will use a logical notion of consistency, ie, it is consistent iff there is a model which satisfies the set of sentences which mean the propositions. In such a case, anything that is logically consistent is possible, and vise versa. Adams was trying to avoid that conclusion. But the more empiricist philosophers (Hume, Quine, Carnap, early Wittgenstein) all accept that kind of view.

Finally, there are the fictionalists: possible worlds are fictional entities. Just as there are truths about Superman, fiction can ground truth. Just as the fiction of the ideal gas law gives us important truths, so fictional truths can be important. Talk of possibility is grounded on these kinds of important fictions. David Armstrong (not the one at McNeese) holds this kind of view, and cites Wittgenstein as his inspiration.

So possible worlds are: complete consistent states of affairs, complete consistent propositions, complete consistent sets of sentences or made up entities, each version grounding the truth of our modal claims and justifying modal logic.

5 comments:

Anonymous said...

A proposition like "Aristotle is tall" contains both the individual Aristotle and the property of being tall. Consistency in complete sets of propositions is inherently modal: It is consistent if it is possible to be true together.

But for Adams, what does possible entail? Is it "possible" that Aristotle was a goat farmer? It's not true, so far as I am aware, but modal claims need not be consistent with things precisely as they are (or were) in this world. Can we attach properties that are not consistent with this world, but would be perfectly consistent given a different state of affairs in a possible world? If I'm putting this in proper logic-speak: if I put forth a valid proposition, given that it is in possible world X, does it automatically become sound?

Just as there are truths about Superman, fiction can ground truth.

Finally, someone who makes sense. Bravo Armstrong. Bravo, indeed.

Civis said...

What "Lewis" are you referring to?

Hanno said...

Civis: Howdy and welcome. Lewis is David Lewis. See the earlier posts on Possible Worlds.

ce: Possibility is for Adams irreducible, so you cannot analyze it further. But given that, you can construct a possible worlds semantics for our language.

For Adams, it is possible for Aristotle to have been a goat farmer because "Aristotle is a goat farmer" is a proposition that that is contained in a complete consistent set of propositions.

And no, that is not proper logic-speak, so I'm not sure what you have in mind.

Anonymous said...

H

That was a confusing jumble (mea culpa), but I mean something like this:

1. All animals which have wings can fly.
2. Pigs have wings.
3. Pigs can fly.

It's valid, but it's unsound. However, if we just posit a possible world in which 1 and 2 actually are the case then it becomes sound. So would Adams let me make the proposition, "pigs can fly"? Is this sort of logic game lingering behind his concept of modality? If so, then it seems like anything I can construct, which is valid, will also become sound, given an appropriate possible world.

Did that make more sense? I prefer pigs to penguins, just because I think the mental image is more amusing.

Also, how sharply is the line drawn between Adams and the empiricists (Hume, Quine, etc., which you listed)? It seems like you could play a lot of such games, which would then find Adams and the empiricists in agreement. Where would they differ, and why? Can you give me an example?

Hanno said...

It is sound in the possible world in which the premises are true.

Soundness is relative to particular possible worlds, as truth is.

The proposition "All animals can fly" certainly seems to be a member of a complete consistent set of sentences, so yes, Adams would would grant that there is such a possible world.

As to how sharply the line is drawn... I would have to look more carefully at Adams work to see, not something I've done in years.