Hypothetical reasoning: Its proof-theoretic analysis

点击翻译按钮获取中文摘要

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.