ESSLLI '08: een terugblik

Van 4 tot 15 augustus jl. heb ik deelgenomen aan de 20e European Summer School in Logic, Language and Information (ESSLLI), die dit jaar georganiseerd werd in Hamburg, Duitsland. In dit bericht geef ik een kort overzicht van de vakken en avondlezingen die ik bijgewoond heb. Vakken tijdens de eerste week:

• Introduction to the Logic of Conditionals (P. Egré en M. Cozic): Een beetje een raar vak. De eerste twee dagen hadden Egré en Cozic duidelijk schrik om niet al hun materiaal gepresenteerd te krijgen, waardoor ze alles nogal snel-snel erdoor jaagden. Het materiaal uit deze twee eerste dagen behoorde nochtans (naar mijn mening) tot het moeilijkste van de hele cursus, waardoor alles niet altijd even duidelijk was. De laatste drie dagen zag je dan duidelijk dat ze "gerustgesteld" waren en een wat lager tempo aannamen. Inhoudelijk: eerst werd de 'standaard' behandelingen van Stalnaker en Lewis van conditionals gepresenteerd, met aandacht voor o.a. semantiek, axiomatisering en onderlinge vergelijkingen van de resulterende logische systemen. Daarna kwamen wat meer (descriptief-)linguïstische topics aan bod, vooral veel voorbeeldzinnen op basis waarvan geargumenteerd werd dat conditionals in natuurlijke taal functioneren als 'restrictors'. Een gekwantificeerde zin als "alle X zijn Y" kan weergegeven worden als "[alle X]Y" waarbij X functioneert als restrictor van Y; net zo kan in een conditional het antecedent beschouwd worden als de restrictor van het consequens. Daardoor worden conditionals niet langer als een tweeplaatsig connectief behandeld. Verder hebben we ook de relatie tussen conditionals en epistemologie ('belief' en 'belief change') besproken, voor 'full belief' aan de hand van het AGM (Alchourron-Gärdenfors-Makinson) framework en voor 'partial belief' aan de hand van E. Adams' probabilistische logica. Vervolgens hebben we de bekende 'trivialiteitsstellingen' (van o.a. D. Lewis) gezien en besproken wat de implicaties hiervan zijn voor de mogelijkheid van een probabilistische aanpak van conditionals. In de laatste les zijn we ingegaan op semantische, pragmatische, morfologische... aspecten van het onderscheid tussen 'indicative' en 'subjunctive' conditionals en de mogelijkheid van een geünificeerde theorie hiervoor. Tot slot hebben Egré en Cozic nog aangegeven wat hun eigen mening is ivm. sommige van de genoemde problemen. Zo zei Egré dat de (linguïstisch gemotiveerde) theorie van conditionals als restrictors misschien een oplossing zou kunnen bieden ivm. de trivialiteitsstellingen.
• Experimental Investigations of the Semantics/Pragmatics Interface (R. Breheny en N. Katsos):
• Dynamic Epistemic Logic (H. van Ditmarsch en J. van Eijck):
• Logics for Computation (P. Blackburn en C. Areces):

Vakken tijdens de tweede week:

• Alternative Logical Semantics (J. Groenendijk):
• Probabilistic Logic and Probabilistic Networks (J. Williamson en J.-W. Romeijn):
• Lattices and Topology (G. Bezhanishvili en M. Jibladze):
• Dependence Logic (J. Väänänen):