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

DSpace Repositorium (Manakin basiert)

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

Piecha, Thomas; Schroeder-Heister, Peter
Dateien:
Thumbnail
2.37 MB
PDF
Zitierfähiger Link (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: Conference proceedings
Erscheinungsdatum: 2015-01-09
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
Schlagworte: Logik , Semantik , Hypothese , Beweis , Beweistheorie
Freie Schlagwörter:
Hypothetical Reasoning
Logic
Proof Theory
Logical Consequence
Proof-Theoretic Semantics
Assumption
Hypothesis
Conditional
Implication
Scientific Explanation
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:

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.

Das Dokument erscheint in: