# Workshops

*Model Theory*Rehana Patel, Olin College of Engineering, USA.

Model theory is concerned with the abstract study of mathematical structures; specifically, the interaction between sentences in a formal logic and the mathematical objects in which they hold. Since its earliest days, developments in model theory have run hand in hand with algebraic questions, and in recent years, there has been a proliferation of research connecting model theory with areas such as algebraic geometry, number theory and even dynamics. This tutorial workshop will provide an introduction to the model theory of first order logic, sometimes called classical model theory, with an eye towards its applications. The goal is to familiarise students with the basic concepts and methods of (first order) model theory, and to provide a taste of the mathematical insights that it can offer.

*Inductive Logic**Speakers*

Jeff Paris, University of Manchester, UK.

Jon Williamson, University of Kent, UK.

*Convener*

Jeff Paris, University of Manchester, UK.Inductive logic is a vibrant field of logic which is concerned with connections between logic and probability. While deductive logic asks whether the premisses of an argument force the truth of its conclusion, inductive logic seeks to determine the extent to which the premisses make the conclusion plausible. This workshop will introduce classical inductive logic, spelt out by Wittgenstein, and its limitations. Then we will turn to Carnaps approach to inductive logic, which has led recently to a wealth of interesting mathematical results on inductive logic. Finally we shall discuss the objective Bayesian programme for inductive logic, which seeks to rehabilitate classical inductive logic by providing new philosophical foundations for inductive logic.

*Modeling Experiencers in Natural Language Semantics**Speakers*

Carla Umbach, ZAS, Germany.

Eric McCready, Aoyama Gakuin University, Japan.

Brendan Gillon, McGill, Canada.

Berit Gehrke, UPF, Spain.

Isidora Stojanovic, CNRS, France.*Conveners*

Berit Gehrke, UPF, Spain.

Isidora Stojanovic, CNRS, France.There is a long-standing tradition of using logical and, more specifically, model-theoretic tools in the analysis of natural languages. Building on this tradition, our interdisciplinary workshop aims at addressing one specific issue that has been the topic of discussion lately in the areas of formal semantics, applied logic, computational linguistics, and philosophy. The issue at stake is the notion of experiencer, across languages and across linguistic categories. For example, it is commonly assumed that in a sentence like "Deeti's performance astonished Raj", Raj occupies the role of the experiencer. One of the open questions currently under debate is whether this experiencer argument remains present in derived adjectives such as 'astonishing', as in "Deeti's performance was astonishing". Another open question is whether derived adjectives like 'astonishing' belong to the same semantic category as morpho-syntactically simple adjectives like 'nice' or 'great', which are commonly classified under the label of evaluative adjectives and have elicited a heated debate in semantics and in philosophy. Yet another question is the role of experiencers in other linguistic constructions such as, e.g., evidential markers (which do not exist in English but do in other languages like Japanese). In addressing these and other questions concerning experiencers, our workshop aims at reaching a better understanding of the nature of argument structure in natural language, which we take to be a key element in understanding the logical patterns that linguistic constructions give rise to, and in modeling the logic of natural language.

*Proof Theory for Modal Logic: Recent Developments**Speakers*

Torben Brauner, Roskilde, Denmark.

Allessandra Palmigiano, IILC, Amsterdam.

Francesca Poggiolesi, CNRS, Paris.

Norbert Cratzl, LMU, Munich.

Olivier Roy, LMU, Munich.

*Conveners*

Norbert Gratzl, LMU, Munich.

Olivier Roy, LMU, Munich.This research workshop is on proof-theoretic methods for modal logic: labelled proof systems, hypersequents, display logics, algebraic approaches, etc. How do these different approaches relate to each other? Why do some methods work well for certain modal systems but less well for others? Is there a way to get a unified perspective on the proof theory of modal logics? Can one use the same tools to treat extensions like hybrid logics or restrictions like non-normal modal languages?

*Uncertainty and reasoning: From concepts to some non-probabilistic approaches**Speakers*

Mihir K. Chakraborty, Jadavpur Univ.; ISI Kolkata.

Amita Chatterjee, Jadavpur University, Kolkata.

Mohua Banerjee, IIT Kanpur.

Samarjit Kar, NIT Durgapur.

Md. Aquil Khan, IIT Indore.

Sanjukta Basu, Rabindra Bharati University, Kolkata.

Soma Dutta, IMSc, Chennai.

*Convener*

Soma Dutta, IMSc, Chennai.Dealing with imprecision in the context of reasoning is an everyday phenomenon. The aim of the workshop is two fold. The first is to give a brief overview of various real life factors causing imprecision/uncertainty, and their classifications according to different theories. And, the other is to discuss some non-probabilistic formalisms/logics which deal with reasoning in the context of uncertainty, starting from Zadehs fuzzy set theory and fuzzy logic (1965) to present day systems, e.g. rough set theory, possibility theory, and vagueness.