Project Details
Projekt Print View

Hypothetical reasoning: Its proof-theoretic analysis

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
 
 

Additional Information

Textvergrößerung und Kontrastanpassung