Trends in Logic XX: „Logic and Reasoning: Formal and Informal”

The 20th Trends in Logic international conference, Logic and Reasoning: Formal and Informal, will be held at the Taras Shevchenko National University of Kyiv, Kyiv, Ukraine, May 13-15, 2020. It is organized by the Department of Logic at the Faculty of Philosophy of the Taras Shevchenko National University of Kyiv, in co-operation with Studia Logica.

Important dates
Abstract submission deadline: 06 January, 2019
Notification of acceptance: 01 February, 2020
Registration opens: 10 February, 2020
Early registration closes: 16 March, 2020

Paper Submission
Abstracts of at most three pages length (including references) should be submitted electronically as pdf documents using the EasyChair submission page at   https://easychair.org/my/conference?conf=trends2020
At least one author of each accepted paper must register for, and attend the conference to present her or his work.

Reasoning is at the very heart of logic, constituting its subject matter. In the last few decades, there has been considerable progress both in the purely logical analysis of reasoning and in applied logical investigations of various concrete subject domains, such as philosophical and scientific discourse, logic programming and everyday communication. Reasoning has been studied from proof-theoretical as well as semantic standpoints. Along with further elaboration of standard techniques (axiomatic systems, sequent calculi and natural deduction) a range of other approaches (such as display calculi, tableaux methods, hypersequent systems, etc.) and semantic modeling of logical systems are being developed. Moreover, there is a powerful tradition of analyzing and evaluating reasoning patterns by means of informal logic and argumentation theory. Recent advances in these fields, in particular constructing theoretical models of argumentation and dialectical systems, have proved promising. The aim of the conference is to bring together scholars working in various areas of proof-theoretic, semantic, argumentative and informal logic analysis.

The topics of interest may include, but are not limited to:

  • modern approaches to proof theory;
  • structural proof theory and structural reasoning;
  • proof-theoretic methods in non-classical logics;
  • proof-theoretic semantics;
  • Kripke models and algebraic methods in semantics;
  • semantic analysis of non-classical logics;
  • semantic modelling of knowledge representation and reasoning;
  • provability logic;
  • description logic, defeasible reasoning and non-monotonic logic;
  • inductive reasoning and probabilistic logic;
  • automated reasoning;
  • formal models of argumentation;
  • abstract argumentation systems;
  • argumentation schemes and patterns;
  • practical reasoning and argumentation, argumentation in interpersonal communication;
  • argumentation in special contexts: finance, medicine, law, policy making, academy, (social) media, etc.;
  • dialogue logic, empirical logic, informal logic;
  • informal fallacies and cognitive biases in relation to reasoning.

Program Committee

Iryna Khomenko (Taras Shevchenko National University of Kyiv, Ukraine)
Jacek Malinowski (Polish Academy of Sciences, Poland)
Gabriel Sandu (Helsinki University, Finland)
Cristián Santibáñez (Catholic University of the Most Holy Conception, Chile)
Yaroslav Shramko (Kryvyi Rih State Pedagogical University, Ukraine)
Rich Thomason (University of Michigan, USA)
Yde Venema (University of Amsterdam, Netherlands)
Heinrich Wansing (Ruhr-University Bochum, Germany)

Organizing Committee

Leonid Hubersky (Taras Shevchenko National University of Kyiv)
Anatoly Konversky (Taras Shevchenko National University of Kyiv)
Iryna Khomenko (Taras Shevchenko National University of Kyiv)
Yaroslav Shramko (Kryvyi Rih State Pedagogical University)
Larysa Komakha (Taras Shevchenko National University of Kyiv)
Sergey Rudenko (Taras Shevchenko National University of Kyiv)
Nadiya Kozachenko (Kryvyi Rih State Pedagogical University)

Invited Speakers

Hans van Ditmarsch (French National Centre for Scientific Research, France)
Valentin Goranko (Stockholm University, Sweden)
Dale Hample (University of Maryland, USA)
Hitoshi Omori (Ruhr-University Bochum, Germany).

For further information please visit the conference website: https://trends2020.knu.ua/