Hypothetical reasoning: Its proof-theoretic analysis

假言推理或假言推理是逻辑学的一个重要概念。而在以前的（仍在运行）项目的一般逻辑和语义的角度进行了调查，我们现在专注于它的证明理论分析。这种集中在证明理论方面使我们的法国/德国研究小组更加连贯，将我们的联合证明理论方向与以前项目中仅涉及的新方面结合在一起。硕士项目，所有参与者都同样做出贡献，涉及推理系统的格式和证明理论语义的关键概念。四个独立项目将其扩展到不同的领域：（1）证明与真理之间的关系，（2）从认识论的角度对假设推理的演算进行分类，（3）假设推理的一般框架，以实现对逻辑相关逻辑系统的统一处理，以及（4）对假设推理发展的历史调查。

Hypothetical reasoning or reasoning under hypotheses is a key concept of logic. Whereas in the previous (still running) project its general logical and semantical perspectives have been investigated, we now focus on its proof-theoretic analysis. This concentration on proof- theoretic aspects makes our French/German research group even more coherent, bringing together our joint proof-theoretic orientation with new aspects only touched upon in the previous project. The Master Project, to which all participants equally contribute, deals with the format of reasoning systems and key concepts of proof-theoretic semantics. Four Individual Projects extend this into di»erent areas: (1) The relation between proof and truth, (2) the taxonomy of calculi for hypothetical reasoning from an epistemological point of view, (3) general frameworks for hypothetical reasoning to achieve a uniform treatment of philosophically relevant logical systems, and (4) historical investigations into the development of hypothetical reasoning.