Date: 9-10 November 2017
Workshop chairs: Rafal Urbaniak (Ghent), Mariusz Urbanski (Poznan) & Erik Weber (Ghent).
Local organising team: Mathieu Beirlaen, Roxan Degeyter, Stef Frijters, Pawel Pawlowski, Erik Weber & Dietlinde Wouters.
Nowadays we are witnessing a ‘practical’, or cognitive turn in logic. The approach draws on enormous achievements of a legion of formal and mathematical logicians, but focuses on `the Wild: actual human processes of reasoning and argumentation. Moreover, high standards of inquiry that we owe to formal logicians offer a new quality in research on reasoning and argumentation. In terms of John Corcoran’s distinction between logic as formal ontology and logic as formal epistemology, the aim of the practical turn is to make formal epistemology even more epistemically oriented. This is not to say that this ‘practically turned’ (or cognitively oriented) logic becomes just a part of psychology. This is to say that this logic aquires a new task of “systematically keeping track of changing representations of information”, as Johan van Benthem puts it, and that it contests the claim that the distinction between descriptive and normative accounts of reasoning is disjoint and exhaustive. From a different than purely psychological perspective logic becomes — again — interested in answering Dewey’s question about the Wild: how do we think? This is the new alluring face of psychologism, or cognitivism, in logic, as opposed to the old one, which Frege and Husserl fought against. This is the area of research to which this workshop is devoted.
Keith Stenning (University of Edinburgh)
Christian Strasser (Ruhr University Bochum)
Iris van Rooij (Radboud University Nijmegen).
Royal Academy of Dutch Language and Literature (KANTL), Koningstraat 18, Ghent, Belgium.
November 9, 2017
9:30-10:30 Keith Stenning: Memory is the organ of nonmonotonic reasoning.
10:30-11:00 Coffee break
11:00-12:30 Pawel Lupkowski, Mariusz Urbanski and Andrzej Wisniewski: Erotetic Reasoning Corpus: components, tags, annotation.
Natalia Zyluk, Dorota Zelechowska and Mariusz Urbanski: “Find Out”: quantitative and qualitative analyses of solutions to an abductive task.
12:30-13:30 Lunch break
13:30-15:00 Andrzej Gajda: Abduction in connectionist inductive learning and logic programming system.
Bonan Zhao, Iris Van De Pol & Jakub Szymanik: Dynamic epistemic logic models for predicting the cognitive difficulty of the deductive mastermind game.
15:00-15:30 Coffee break
15:30-17:00 Maria Martinez: Paraconsistent reasoning strategies and the epistemology of the inconsistency toleration.
Anthia Solaki: Tracing the footprints to knowledge: logical systems for resource bounded reasoning.
19:00 Diner at Keizershof.
November 10, 2017
10:00-11:00 Christian Strasser: Reasoning by cases in the nonmonotonic wilderness.
11:00-11:30 Coffee break
11:30-13:00 Stef Frijters & Frederik Van De Putte: Using specificity to deal with CTD-cases
Jesse Heyninck & Christian Strasser: Unrestricted rebuttal in structured argumentation
13:00-14:00 Lunch break
14:00-15:30 Max Rapp & Grzegorz Lisowski: Is the triviality of AGM a serious possibility?
Hanna van Lee & Ottilia Kasbergen: Can we help the muddy children? The role of epistemic logic in understanding actual human reasoning.
15:30-16:00 Coffee break
16:00-17:00 Iris van Rooij: Cognition in the wild: logic and complexity
17:30 Drinks at Dulle Griet
The book of abstracts is available here.