Proofs and arguments have been at the core of philosophy since the beginning. From the late 19th century onwards, the understanding of proofs and arguments has been strongly influenced by the development of modern mathematical logic and linguistics, while in recent times results in computer science have provided deep insights into the nature and structure of proofs and, thanks to the advancements in computational linguistics, of arguments in general. This exchange between philosophy, mathematics, linguistics and computer science has also led to a renewed approach to dialogues, in particular to the analysis of their context-depending nature and of their information-yielding structure.
In spite of the advancements in philosophy, mathematics, linguistics and computer science, the notions of proof, argument and dialogue still involve many unsolved issues. These issues refer to some fundamental questions such as: why and how do we get convinced by proofs, arguments and dialogues? What is the reliability of the information they convey? Is this reliability context-independent? What is the semantic import of proofs, arguments or dialogues? Co-operation between different disciplines seems to be inevitable for finding solutions to these questions, and such a co-operation has so far proved to be very fruitful. Many mathematised approaches to the study of proofs, arguments and dialogues are inspired by philosophical claims and strictly interlace with parallel investigations in linguistics and computer science. In turn, results in mathematical logic, linguistics and computer science are a continuous source of inspiration for many philosophical approaches.
Logic is the prime example of a discipline at the crossroads of several fields of science, namely of philosophy, mathematics, linguistics and computer science. Proof theory is one of the most investigated fields of contemporary logic. From a philosophical point of view, proof theory has also been generalised towards a semantic approach that comes very close to argumentation theory, i.e., the study of different kinds of argument, not only proofs in mathematics or natural sciences. This semantic approach is exemplified by dialogical logic, a wide-spread branch of logic.
The proposed training consists of Courses (in the morning) and Invited Talks (in the afternoon) - without forgetting Social Events. It aims at providing students with a wide and, above all, transdisciplinary insight into contemporary investigations about proofs, arguments and dialogues in philosophy, linguistics, logic, mathematics and computer science. Students will get acquainted with current approaches and results in proof theory, argumentation theory and dialogue theory, as well as on the historical, epistemological and formal connections between these fields. This will allow them to adopt a strongly transdisciplinary point of view on some of the most important research areas in linguistics, logic, philosophy, mathematics and computer science, as well as on some of the most important trends into these fields.
Participants are expected to engage into group activities for the production of a short presentation on previously chosen Topics. Short presentations will be delivered and discussed during the School.
For practical information check the Venue & Accommodation and the Living Tübingen pages.
