Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen

DSpace Repository


Dateien:

URI: http://hdl.handle.net/10900/58991
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-589919
http://dx.doi.org/10.15496/publikation-415
Dokumentart: ConferenceProceedings
Date: 2015-01-09
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Keywords: Logik , Semantik , Hypothese , Beweis , Beweistheorie
Other Keywords:
Hypothetical Reasoning
Logic
Proof Theory
Logical Consequence
Proof-Theoretic Semantics
Assumption
Hypothesis
Conditional
Implication
Scientific Explanation
License: 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
Order a printed copy: Print-on-Demand
Show full item record

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.

This item appears in the following Collection(s)