I just realized that I don't know what my telephone number is. I used
to think it is 44717384. But 44717384 is a number, and the same as
252452510 in octal, or 2aa5548 in hexadecimal. Yet it sounds wrong to
say that my telephone number is 252452510 in octal, or that my
telephone number begins with 4 only in decimal notation. What's more,
telephone numbers are never pronounced "forty-four million, seven
hundred and seventeen thousand three hundred eighty-four". (I know an
old woman in a rural part of Germany whose number used to be 543; she, too,
always said "five four three".)
When sometime between 1986 and 2001, Lewis accepted (a certain version of) standard quantum physics, did he thereby accept that Humean Supervenience is false? I'm not sure. My knowledge of quantum physics ("knowledge" in the sense of "probably false, unjustified guesses" rather than "true, justified beliefs") doesn't suffice to see through this with any confidence. Anyway, here's some thoughts.
Humean Supervenience is the hypothesis that in worlds like ours, all
truths supervene on the spatiotemporal distribution of fundamental
properties at spacetime points. This appears to contradict what quantum physics says about entangled states: if two electrons are suitably entangled, their combined state is a superposition of X-spin(electron 1)=up & X-spin(electron 2)=down and X-spin(electron 1)=down & X-spin(electron 2)=up (
, or so), which is not determined by any local qualities of the individual electrons: there are no spin states A and B such that whenever some electron is in A and another one in B, then their mereological fusion is in this entangled state. So Humean Supervenience is false.
While I'm on the topic of repeating well-known mistakes, here's another idea I'm certainly not the first to come up with. Consider the liar paradox:
| L := "L is not true" |
1) | Suppose L is true. |
2) | Then "L is not true" is true (by definition of L). |
3) | Then L is not true (by the Tarski Schema). |
| etc. |
The inference from (1) to (2) is only valid if "... is true" is an extensional or intensional context. So couldn't one block the paradox by declaring "true" hyper-intensional?
The set
is the empty
set if p is false, otherwise it is the set of all numbers. Hence
iff either p and q are both false or p and q are both true. So
Once upon a time, two quite different roles were assigned to truth-conditions: 1) they are what you know when you understand a sentence and what people communicate with utterances of the sentence; 2) they determine the truth value of the sentence when prefixed with modal operators. Unfortunately, there are sentences where these two roles come apart, namely context-dependent sentences, like "it's raining" and "I am late", and sentences containing rigid designators, like "London is overcrowded" and "Hesperus = Phosphorus". Since virtually all sentences ever uttered belong to one of these two classes (or both), the idea that we can assign to sentences truth-conditions that serve both (1) and (2) must be given up. The common strategy to deal with this at least among philosophers is to regard truth-conditions in the sense of (2) as the proper topic of compositional semantics and to assume that some other ("pragmatic") story will deliver truth-conditions in the sense of (1) out of the truth-conditions in the sense of (2) and various contextual features. I find that cumbersome and unmotivated. In my view, truth-conditions in the sense of (1) should be the primary topic of semantics, and I don't see any reason for the roundabout two-step procedure via truth-conditions in the sense of (2). I wouldn't complain if that procedure turned out to work sufficiently well, but for all I can tell, it doesn't work well at all. So I think it would be better to do compositional semantics directly for truth-conditions in the sense of (1). Since Frank Jackson calls such truth conditions "A-propositions" or "A-intensions", I use "A-intensional semantics" for that project.
If I'd make a list of how people should behave, it would include
things like
- avoid killing other animals, in particular humans
- help your friends when they are in need
etc. The list should be weighted and pruned of redundancy, so that it
can be used to assign to every possible life a goodness value. Suppose
that is done. I wonder if the list should contain (or entail) a
rule that says that good people see to it that other people are also
good:
For the "Philosophische Club" at the university of Bielefeld, I've made a short paper out of that entry on perceptual content. The proposal is still that the information we acquire through perception is the information that we have just those perceptual experiences. But more needs to be said about what that amounts to: if "having just those experiences" means having experiences with this fundamental phenomenal charater, the proposal is incompatible with physicalism; if it means having just this brain state, the proposal is false. So I end up defending a kind of analytical functionalism even about demonstratives like "this experience". The main argument has something to do with skeptical scenarios. I won't repeat it here, as the paper itself is short enough.
When I went to sleep yesterday it was still February. Apparently 2006 is international year of desertification.
In his John Locke Lectures, Kit Fine proposes a new solution to Frege's Puzzle (see in particular lecture 2 (warning: 'RTF' format -- unless you use a perfect intrinsic duplicate of Kit Fine's computer, that means you probably have to guess all the logical symbols)).
The puzzle, according to Fine, is that there is an intuitive semantic difference between "Cicero = Cicero" and "Cicero = Tully". That is puzzling on the assumption that the semantic contribution names make to sentences is only their referent.
Never dist-upgrade while running out of battery power. At least always backup papers on attitude reports before destroying the file system...