Formal tools for confusion
Dave Ripley (University of Melbourne, University of Connecticut)

March 22, 2013, 11:00am - 12:30pm
School of Historical and Philosophical Studies, University of Melbourne

Common Room, Old Quad
University Of Melbourne
Parkville
Australia

Topic areas

Details

There are a bunch of familiar problems around Vesper and Lucifer: what happens when we treat one thing as though it were two? There are also a bunch of problems, although perhaps less familiar, around the reverse kind of case, where we treat two things as though they were one. Following Millikan and Camp in particular, I'll call this kind of thing `confusion'.

Here I want to look at some desiderata for formal approaches to confusion. How do we design a formal system to capture important aspects of this phenomenon? I'll point to two key desiderata: a confused system should not treat the "confusanda" differently from each other, and confusion should not invalidate any valid arguments. Building on these desiderata, I'll give a way of generating, for any consequence relation of a certain sort, a confused version of that relation, and explore some of the features of this way of proceeding.

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

No

Who is attending?

1 person is attending:

University of Melbourne

See all

Will you attend this event?


Let us know so we can notify you of any change of plan.