Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017

DSpace Repository


Dokumentart: ConferenceObject
Date: 2017-07
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
340 - Law
510 - Mathematics
780 - Music
Keywords: Logik , Wissenschaftstheorie , Informatik , Recht , Musik , Beweis , Beweistheorie , Deduktion , Gentzen, Gerhard , Popper, Karl R.
Other Keywords: Beweistheoretische Semantik
Proof Theory
Proof-Theoretic Semantics
Order a printed copy: Print-on-Demand
Show full item record


The project "Beyond Logic" is devoted to what hypothetical reasoning is all about when we go beyond the realm of "pure" logic into the world where logic is applied. As such extralogical areas we have chosen philosophy of science as an application within philosophy, informatics as an application within the formal sciences, and law as an application within the field of social interaction. The aim of the conference was to allow philosophers, logicians and computer scientists to present their work in connection with these three areas. The conference took place 22-27 May, 2017 in Cerisy-la-Salle at the Centre Culturel International de Cerisy. The proceedings collect abstracts, slides and papers of the presentations given, as well as a contribution from a speaker who was unable to attend.

This item appears in the following Collection(s)