Detailseite
Projekt Druckansicht

Hypothetical reasoning: Its proof-theoretic analysis

Fachliche Zuordnung Praktische Philosophie
Förderung Förderung von 2009 bis 2015
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren Sachbeihilfen
Internationaler Bezug Frankreich
Beteiligte Person Dr. Jean Fichot
 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung