Course description
Logic is concerned with relations among sentences, such as entailment and consistency, logical operations on sentences, and how sentences can be arranged into valid arguments. Traditionally, however, logic has focused on a special class of sentences, namely, statements, which can be true or false. The course makes a case for extending logic beyond statements to encompass also questions, and describes how such an extension can be achieved in the framework of inquisitive logic. We will see that once logic is generalized to questions, important logical notions such as answerhood and dependency emerge as facets of the fundamental notion of entailment, and can thereby be analyzed using the logician’s toolkit. After motivating the enterprise and introducing the conceptual foundations of the framework, we will look at how classical propositional and predicate logic can be enriched with questions and study the meta-theoretic properties of the resulting logics.
Course material
Prerequisites
Familiarity with the basic propositional and predicate logic.
Schedule
Palazzo del Capitanio, Sala Giacon
November 12th, 10-12
November 13th, 10-13
November 14th, 14-16
Course outline
Class 1: Foundations
We motivate the enterprise and introduce the key ideas of inquisitive logic, in particular the semantic notion of support and the generalizations of entailment and implication.
Material: Chapters 1 and 2 of the book up to section 2.7. Slides class 1.
Class 2: Inquisitive propositional logic
Material: Chapters 3 and 4 of the book. Slides class 2.
Class 3: inquisitive predicate logic
We discuss how questions can be added to first-order predicate logic. We illustrate the broad spectrum of question types expressible in this framework and discuss the logical properties of first-order statements and questions. In this setting, some classical themes of intensional semantics come into play, such as modes of reference and intensional identity.
Material: Chapter 5 of the book. Slides class 3.
Note for students wishing to get credit for the course
Students are required to send one or two questions about the course content by email to the instructor by Thursday 14th of November at 12:00.
We will discuss these questions in the last session of the course.