Hypothetical reasoning: Its proof-theoretic analysis

• Applicant: Professor Dr. Peter Schroeder-Heister
• Subject Area: Practical Philosophy
• Term: from 2009 to 2015
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 93596224

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.

• DFG Programme: Research Grants
• International Connection: France
• Participating Person: Dr. Jean Fichot