Séminaire Philmath

Title :  « 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 (though still not very) 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 good enough reason for revision.  This paper considers and evaluates an alternative proposal for empirical grounds for revision of logic:  perhaps the experiences acquired in virtual reality give us reason to adopt an assessment-sensitive logic.