13-15 May 2020
Kyiv, Ukraine
Trends in Logic XX Logic and Reasoning: Formal and Informal Taras Shevchenko National University of Kyiv (Ukraine) May 13?15, 2020 https://trends2020.knu.ua/ Trends in Logic is the conference series of the journal Studia Logica (see http://www.studialogica.org and http://link.springer.com/journal/11225). 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. 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). 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. Th e 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ánez (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) Important dates Abstract submission deadline: 06 January, 2020 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. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam