NASSLLI Course: Interpreting Logical Expressions

General information

Area: Logic, Language & Philosophy
Instructors: Denis Bonnay & Dag Westerståhl
Time: 5:15pm - 6:45pm
Room: tbd

Course summary

What is special about logical words? Do they have distinctive syntactic or semantic features, in natural language, or in the formal languages logicians devise for their use? From a natural language perspective, how could we get to know what they mean, since obviously pointing and joint attention won’t get us very far on that ground? These are the main questions this course will address, presenting classical as well as recent work on logicality.

Standard characterizations of logical expressions are usually worked out within a given logical tradition, be it in terms of semantic properties (such as invariance), or proof-theoretic properties (such as harmony, schematicity, or complete axiomatizability). Back in the forties, Carnap had an interesting insight that logical expressions could be characterized in terms of how rules and meanings interact: they could be those expressions such that their interpretation is completely fixed by the rules which govern their use. In this course, we shall use this Carnapian intuition as our lead, in order to show how semantic and proof-theoretic approaches to logicality can be combined in order to understand both what logical notions are and how we get to understand them.

The course is meant to be of interest to (at least) logicians, philosophers, and linguists. A basic liking and mastery of formal methods is required to enjoy the course, but we shall do our best to keep it self-contained with respect to more advanced model-theoretic or proof-theoretic methods.

Course materials

Day 1: The problem of logical constants in logic and natural language.
part 1 -- Dag
part 2 -- Denis
Suggested readings:
J. MacFarlane "logical constants", Stanford Encyclopedia of Philosophy, 2015.

Day 2: The semantic approach in terms of invariance
Suggested readings:
A. Tarski. "What are logical notions?" History and Philosophy of Logic, 7:145–154, 1986. (1966 lecture).
S. Feferman. "Set-theoretical invariance criteria for logicality" Notre Dame Journal of Formal Logic, 51:3–20, 2010.

Day 3: Proof-theoretic approaches
Sambin & alii paper
Kosta Dosen paper

Day 4: Unifying semantic and inferential approaches
Denis & Dag's paper on Carnap's problem

Day 5: Wider perspective on logical expressions in intensional contexts

Updated on 16 juillet 2016