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.