Logic in the Wild

 

Date: 9-10 November 2017

Organization: Centre for Logic and Philosophy of Science (Ghent University) and the Department of Logic and Cognitive Science (Adam Mickiewicz University Poznan).

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.

Topic

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.

Keynote speakers

Keith Stenning (University of Edinburgh)

Christian Strasser (Ruhr University Bochum)

Iris van Rooij (Radboud University Nijmegen).

Venue

Royal Academy of Dutch Language and Literature (KANTL), Koningstraat 18, Ghent, Belgium.

Programme

November 9, 2017

9:00-9:30      Registration

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

Abstracts

The book of abstracts is available here.