Colloquium Lecture: Gillian Russell (Australian National University), "Logic for Virtual Worlds"

Abstract: In the second half of "Two Dogmas", Quine argued that there could be empirical grounds to revise logic---at least in principle. Since then the most popular proposal for what those empirical grounds might be has involved quantum mechanics. Still, most logicians seem to think that even this does not give us enough reason for revision. This paper considers and evaluates an alternative proposal: perhaps the experiences acquired in virtual reality give us reason to adopt an assessment-sensitive logic.