The Foundations of Logical Consequence

Venue: St Andrews

Location: St Andrews, United Kingdom

Event Date/Time: Jun 12, 2010 End Date/Time: Jun 12, 2010
Report as Spam


The aim of the conference is to clarify foundational questions about logical consequence, e.g. should the foundations be essentially model-theoretic, or proof-theoretic, or some combination, or is there a third way, e.g., deflationary?