| dc.contributor.author |
Piecha, Thomas |
|
| dc.contributor.author |
Schroeder-Heister, Peter |
|
| dc.date.accessioned |
2015-01-23T07:19:53Z |
|
| dc.date.available |
2015-01-23T07:19:53Z |
|
| dc.date.issued |
2015-01-09 |
|
| dc.identifier.other |
425310833 |
de_DE |
| dc.identifier.uri |
http://hdl.handle.net/10900/58991 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-589919 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-415 |
|
| dc.description.abstract |
Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of science and mathematics. The Conference on Hypothetical Reasoning focussed on its logical aspects, such as assumption-based calculi and their proof theory,
logical consequence from a proof-theoretic or model-theoretic point of view, logics of conditionals, proof systems, structure of assumption-based proofs, hypotheses in proof-theoretic semantics, notions of implication, substructural logics, hypotheses in categorial logic, logical aspects of scientific explanation, hypothetical reasoning in mathematics and reasoning from definitions and axioms. The conference took place 23–24 August, 2014 in Tübingen at the Department of Philosophy, in conjunction with ESSLLI 2014. The proceedings collect abstracts, slides and papers of the presentations given. |
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 , Semantik , Hypothese , Beweis , Beweistheorie |
de_DE |
| dc.subject.ddc |
004 |
de_DE |
| dc.subject.ddc |
100 |
de_DE |
| dc.subject.other |
Hypothetical Reasoning |
en |
| dc.subject.other |
Logic |
en |
| dc.subject.other |
Proof Theory |
en |
| dc.subject.other |
Logical Consequence |
en |
| dc.subject.other |
Proof-Theoretic Semantics |
en |
| dc.subject.other |
Assumption |
en |
| dc.subject.other |
Hypothesis |
en |
| dc.subject.other |
Conditional |
en |
| dc.subject.other |
Implication |
en |
| dc.subject.other |
Scientific Explanation |
en |
| dc.title |
Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen |
en |
| dc.type |
ConferenceProceedings |
de_DE |
| utue.publikation.fachbereich |
Informatik |
de_DE |
| utue.publikation.fakultaet |
7 Mathematisch-Naturwissenschaftliche Fakultät |
de_DE |
