| |
The Second Arché Conference on the Foundations of Logical Consequence will run for three full days from 8-10 June 2012. The Conference will be the last event organised during the AHRC-funded Foundations of Logical Consequence project, and so will aim to bring together all the themes considered during the project. The overall goal has been to clarify the foundations of logical consequence. Are these absolute or relative, or pluralist? Are the 'laws of thought' universal, topic-invariant, and certain, or are they relative to context, or are there different admissible senses of validity? Is pluralism a form of relativism? Should the foundations be essentially model-theoretic, or proof-theoretic, or some hybrid of the two, or is there a third way, e.g., deflationary? Is there a clear conception of a logical constant, such that all consequence is formal, or are there different logics for different concepts, modal, temporal, epistemic and so on?
Further issues concern the relata of the consequence relation: are they sentences, propositions, utterances, statements or states of affairs? are they sets of such relata, or multi-sets, or sequences? are they finite or can they be infinite? Moreover, what of the epistemology of inference? How do the competing accounts of logical consequence, and of the meanings of the logical constants, respectively, connect with the justification of logical principles? The aim is to bring together researchers in these fields to share their findings, reach conclusions, and provide a stimulus to further research.
To register and book accommodation please visit the university online shop
Conference Programme:
Friday, June 8th
| 8.30 | Registration |
| 9.15 | Peter Schroeder-Heister, Completeness in Proof-theoretic Semantics |
| 10.45 | Coffee Break |
| 11.15 | Ole Hjortland, Probabilism for Validity |
| 12.45 | Lunch |
|
| Contributed Talks: |
|
| 13.45 | Brian Leahy, Logical Consequence in Teleosemantics |
| 14.30 | Catarina Dutilh Novaes, The 'Built-in Opponent' Conception of Logic, and Proof-theoretical vs. Model-theoretical Accounts of Logical Consequence |
| 15.15 | Dag Westerståhl, Constants and Consequences |
| 16.00 | Takuro Onishi, A Bilateralist Account of Logical Validity |
|
| 16.45 | Coffee Break |
| 17.15 | Lloyd Humberstone, Logical Relations (The Carnegie Centenary Lecture) |
| 19.00 | Whisky Tasting by Straight Up Whisky (optional, £15 at the door) |
Saturday, June 9th
| 9.15 | Michael Glanzberg, Grammar and Logical Revision |
| 10.45 | Coffee Break |
|
| Contributed Talks: |
|
| 11.15 | Vincent Degauquier, Unifying Logical Consequence |
| 12.00 | Matt Carlson, Why Not a Theory of Meaning? |
|
| 12.45 | Lunch |
|
| Graduate Student Sessions: |
|
| 13.45 | Bogdan Dicher, Logical Pluralism and Model Theoretic Consequence |
| 14.30 | Gil Sagi, Formality in Logic: From Logical Terms to Semantic Constraints |
| 15.15 | Jack Woods, A Problem With Garson's Natural Semantics |
| 16.00 | O.E. Griffiths, Formal and Informal Consequence |
|
| 16.45 | Coffee Break |
| 17.15 | Alan Weir, The Force of Reason: Why Does Logic Compel? |
| 19.30 | Conference Dinner at Rocca Grill |
Sunday, June 10th
| 9.15 | Francesco Paoli, Set-theoretical Paradoxes and Logical Consequence |
| 10.45 | Coffee Break |
| 11.15 | Gabriel Uzquiano, Indefinite Extensibility and Logical Consequence |
| 12.45 | Lunch |
|
| Contributed Talks: |
|
| 13.45 | Florian Steinberger, Logic, Normativity, and Paraconsistency |
| 14.30 | James Garson, What
Classical
Connectives
Mean
|
| 15.15 | Yoshihiro Maruyama, Tonk and Paradox as Adjoint Functors |
| 16.00 | Mark Jago, Logical Consequence and Bounded Rationality |
|
| 16.45 | Coffee Break |
| 17.15 | Carrie Ichikawa Jenkins, Naturalism and Norms of Inference |
Abstracts for the invited talks can be found here.
We gratefully acknowledge financial support from the Analysis Trust, the Carnegie Trust for the Universities of Scotland and from the Scots Philosophical Association. |
