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.