Wolfgang Schwarz

Quantum physics and relative truth

There has been some discussion recently about whether propositions are true or false absolutely, or only relative to a possible world, or relative to a world and a time. What hasn't been considered, to my knowledge, is whether propositions are true or false only relative to a branch of the wave function of the universe.

I'm a Humean, and I like necessary connections

In metaphysics, "Humeans" are people who believe that truths about laws of nature, counterfactuals, dispositions and the like (truths about what must or would be the case) are in some sense reducible to non-modal truths (about what is the case).

Frequentism and the end of time

This paper (recently featured on the physics arXiv blog) argues that if the universe never comes to an end, then the universe will probably come to an end within the next 5 billion years. The reasoning, as far as I can tell, goes roughly like this.

Update

OK. We're back in Canberra. I've also finished the completeness proof that I've been working on for the last few months. More on that soon. In the meantime, here are some pictures from this year's bike trip through the Alps.

.

Quick logic question

Suppose you add to the language of first-order logic a sentence operator L for which you stipulate that all instances of

(L(p -> q) & Lp) -> Lq

are valid and that validity is closed under prefixing L's:

ANU

Last week I accepted an offer for a post-doc at the ANU, starting in September. I will be working with Al Hajek on "the objects of probability". Should be great.

Extensionality and Leibniz' Law

Extensional contexts are usually defined as positions in a sentence at which co-refering terms can be substituted without affecting the truth-value of the sentence. So 'Cicero' occupies an extensional position in 'Cicero denounced Catiline', but not in 'Philip said that Cicero denounced Catiline'. One might think that a term t occupies an extensional position in A(t) if and only if all instances of the following schema are true:

"Norms of assertion"

Two rather different things sometimes seem to go under the name "norms of assertion", and it might be useful to keep them apart. Often, e.g. by Williamson, norms of assertion are characterised as constitutive norms of a particular speech act. Roughly, a constitutive norm for an activity X is a norm you must obey, or try to obey, in order to partake in activity X. The rules of chess are a paradigm example: to play chess, you have to move the pieces in a particular way across the board. The other kind of "norm of assertion" would be a genuine social norm that is normally in force when people make an assertion.

Pre-fission possibilities

Suppose tonight you will fission into two persons. One of your successors will wake up Mars and one on Venus. There are then two possibilities for how things might be for you tomorrow: you might wake up on Mars, and you might wake up on Venus. These are distinct centered possibilities that do not correspond to distinct uncentered possibilties. There is just one possibility for the world, but two possibilities for you. Indeed, the two possibilities are two actualities: you will wake up on Mars, and you will wake up on Venus. It is tempting to go further and say that there are also two possibilities for you now. I want to discuss three quite different reasons for making this move.

Imaging, counterfactuals, and expected conditional chance

In today's installment we take a look at the "imaging analysis" of subjunctive conditional probability. We will find that the analysis is fairly empty, and therefore fairly safe. In particular, it seems invulnerable to a worry that Robbie Williams recently raised in a comment on his blog. Let's begin with an example.