| |
Proof-Theoretic vs Model-Theoretic Semantics
Multi-media broadcasts of some of the sessions are now available at the new
Arché Projects website.
Foundations of Logical Consequence Project
Two approaches have dominated discussion of logical consequence in recent years, the model-theoretic and the inferentialist. The model-theoretic analysis identifies logical consequence with truth-preservation in models: every model of the premises must also be a model of the conclusion. Such models can, in Etchemendy's terminology, be either interpretational (varying the interpretation of the vocabulary) or representational (varying the "facts"). In contrast, the inferentialist analysis of consequence concentrates on the notion of proof or derivation, consisting in the application of a set of rules of inference. Rather than judge the rules as correct if they are truth-preserving over models, the inferentialist approach takes the rules as autonomous, constitutive of the meaning of at least the logical terms they contain. For example, the reason Modus Ponens (to infer B from A and 'if A then B') is a correct form of inference is not because it preserves truth; on the contrary, 'if' gains its meaning from being that expression which permits inferences of this form. The order of explanation is reversed.
The aim of the Workshop is to explore these two approaches, clarify their statement and evaluate their relative success in providing a foundation for the notion of logical consequence.
Schedule
Monday 12 January 2009
|
10.30-12.00
|
JC Beall, University of Connecticut
'Remarks on validity and truth-preservation in some non-classical truth theories'
|
|
13.00-14.30
|
Patrick Allo, Brussels Free University
'A Logic of Ambiguous Connectives: Discrimination vs Disagreement'
|
|
14.45-16.15
|
Stephen Read, Arché
'General-elimination harmony and the meaning of the logical constants'
|
|
16.45-18.15
|
Marcus Rossberg, University of Connecticut
'On Validity'
|
Tuesday 13 January 2009
|
9.30-11.00
|
Crispin Wright, Arché and NYU
'Inferentialism and Harmony'
|
|
11.30-13.00
|
Peter Milne, University of Stirling
'Prospects for a Modest Inferentialism'
|
|
14.00-15.30
|
Ole Hjortland, Arché
'The Semantic Role of Proof-Conditions'
|
|
16.00-17.30
|
Graham Priest, University of Melbourne and Arché
'Is the ternary relation depraved?'
|
Spaces at the First Foundations of Logical Consequence Workshop are limited, please contact Sharon Coull (sc27@st-andrews.ac.uk) if you wish to register to attend.
|
