DIP Colloquium

Speaker: Owen Griffiths and Alex Paseau
Title: What are introduction- and elimination-rules for?
Date:
Time: 14:00 - 15:30
Location: SP107 F1.15 (ILLC Seminar Room)

It is standard to present the rules for logical constants in terms of introduction- and elimination-rules. Some philosophers take this style of presentation to have important upshots for meaning. But is there anything special about introduction- and elimination-rules to justify this elevated status? We argue that there is not.