Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of science and mathematics. This conference focusses 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
- reasoning from definitions and axioms
- Arnon Avron (Tel-Aviv University): Using Assumptions in Gentzen-type Systems
- Michel Bourdeau (CNRS, IHPST): Comte's « Théorie fondamentale des hypothèses »
- Kosta Došen (Mathematical Institute, SANU): An introduction to deduction
- Paul Egré (CNRS, Institut Jean-Nicod, Paris): Negating indicative conditionals
- Andrzej Indrzejczak (Institute of Philosophy UŁ, Łódź): Hypersequents and Linear Time
- Zoran Petrić (Mathematical Institute, SANU): Cuts and Graphs
- Francesca Poggiolesi (CNRS, CEPERC, Aix-en-Provence): Counterfactual logics: natural deduction calculi and sequent calculi
- Torben Braüner (Roskilde University): Seligman-style deduction for hybrid modal logic
- Michael Cohen (Munich): Explanatory Justice: The Case of Disjunctive Explanations
- Nissim Francez (Technion) and Julien Murzi (University of Kent): On a dogma of Proof-Theoretic Semantics: generalising canonicity of derivations
- Reinhard Kahle (Universidade Nova de Lisboa): Axioms as Hypotheses
- Sergey Melikhov (Steklov Mathematical Institute): A joint logic of problems and propositions, a modified BHK-interpretation and proof-relevant topological models of intuitionistic logic
- Grigory Olkhovikov (Ural Federal University): Truth-value gaps and paradoxes of material implication
- Paolo Pistone (Università di Roma Tre): Rules, types and the transcendence of second order logic
- Erdinç Sayan (Middle East Technical University): How do vacuous truths become laws?
- Guillaume Schlaepfer (Université de Genève): Scientific modeling: a two layer based hypothetical reasoning
- Rafal Urbaniak (Ghent University): Filtered paraconsistent logics can’t handle hypothetical reasoning from inconsistent information
If you want to participate without giving a talk, then please send an email to Marine Gaudefroy-Bergmann by 10 August to register.
There will be a small conference fee of 20 EUR covering coffee breaks etc.
For members of the University of Tübingen there is no conference fee.