| dc.contributor.author |
Fichot, Jean (Hrsg.) |
|
| dc.contributor.author |
Piecha, Thomas (Hrsg.) |
|
| dc.date.accessioned |
2017-07-27T12:37:57Z |
|
| dc.date.available |
2017-07-27T12:37:57Z |
|
| dc.date.issued |
2017-07 |
|
| dc.identifier.other |
491274726 |
de_DE |
| dc.identifier.uri |
http://hdl.handle.net/10900/77275 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-772753 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-18676 |
|
| dc.description.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. |
en |
| dc.language.iso |
en |
de_DE |
| dc.publisher |
Universität Tübingen |
de_DE |
| dc.rights |
ubt-podok |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en |
en |
| dc.subject.classification |
Logik , Wissenschaftstheorie , Informatik , Recht , Musik , Beweis , Beweistheorie , Deduktion , Gentzen, Gerhard , Popper, Karl R. |
de_DE |
| dc.subject.ddc |
004 |
de_DE |
| dc.subject.ddc |
100 |
de_DE |
| dc.subject.ddc |
340 |
de_DE |
| dc.subject.ddc |
510 |
de_DE |
| dc.subject.ddc |
780 |
de_DE |
| dc.subject.other |
Logic |
en |
| dc.subject.other |
Proof |
en |
| dc.subject.other |
Beweistheoretische Semantik |
de_DE |
| dc.subject.other |
Proof Theory |
en |
| dc.subject.other |
Deduction |
en |
| dc.subject.other |
Categories |
en |
| dc.subject.other |
Music |
en |
| dc.subject.other |
Proof-Theoretic Semantics |
en |
| dc.title |
Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017 |
en |
| dc.type |
ConferenceObject |
de_DE |
| utue.publikation.fachbereich |
Informatik |
de_DE |
| utue.publikation.fakultaet |
7 Mathematisch-Naturwissenschaftliche Fakultät |
de_DE |
