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

DSpace Repositorium (Manakin basiert)

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

Fichot, Jean (Hrsg.); Piecha, Thomas (Hrsg.)
Dateien:
Thumbnail
60.6 MB
PDF
Zitierfähiger Link (URI): http://hdl.handle.net/10900/77275
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-772753
http://dx.doi.org/10.15496/publikation-18676
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-772751
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-772755
Dokumentart: Konferenzveröffentlichung
Erscheinungsdatum: 2017-07
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
340 - Recht
510 - Mathematik
780 - Musik
Schlagworte: Logik , Wissenschaftstheorie , Informatik , Recht , Musik , Beweis , Beweistheorie , Deduktion , Gentzen, Gerhard , Popper, Karl R.
Freie Schlagwörter: Beweistheoretische Semantik
Logic
Proof
Proof Theory
Deduction
Categories
Music
Proof-Theoretic Semantics
Lizenz: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Gedruckte Kopie bestellen: Print-on-Demand
Zur Langanzeige

Abstract:

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.

Das Dokument erscheint in: