Hypothetical reasoning : its proof-theoretic analysis – HYPOTHESES

As in the old project, there are regular project meetings. The normal duration of these meetings is one or two days. Each meeting is devoted to a central topic of the Master Project and to selected topics from the Individual Projects.
In addition to these internal meetings, we will organize two international conferences with external experts. One of these conferences will have the character of a workshop, another one will be a bigger conference. This final conference will mark the end of our joint project and so will also function as a showcase of what we have achieved.

I Publications (internationales)
Revue à comité de lecture: 5.
Chapitre d'ouvrage: 5
Acte de colloque : 1
II Communications
Conférences (organisation): 2
Communication : 14

Colloque international (Tübingen). Séminaires (Paris-Lyon-Tübingen).

[]

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 focus 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 different 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.