Nous avons le plaisir de vous informer qu'Armelle Thomas a pris ses fonctions d'ITA à l'IHPST. [More about]
Coming soonThursday, 17th May 2012, 12:00-17:00
Réunion du Comité Editorial de la Collection de Philosophie de la Biologie de Springer
IHPST – UMR8590
13, rue du Four
75006 Paris
Tél. : +33 (0)1 43 54 60 36
IST : +33 (0)1 43 54 94 60
Fax : +33 (0)1 43 25 29 48
Send an e-mail
Persons in charge : Michel Bourdeau, Peter Schroeder-Heister
Field : Logic and language, philosophy of mathematics
Research program : Hypothetical Reasoning ()
Though the notion of "hypothesis" or "assumption" is central for deduction and inference, the logical systems to handle hypotheses are vastly different, both with respect to proof theory and with respect to semantics. The aim of this French/German research group is to bring together various approaches towards hypothetical reasoning and discuss them from a uniform perspective. The Master Project, to which all participants equally contribute, deals with the representation and basic laws of hypothetical reasoning. Here the intention of the group is to develop an intensional notion of hypothetical reasoning, which is both proof-theoretically (and therefore epistemologically) and semantically more adequate than existing notions. Four individual projects discuss this objective in relation to special areas: (1) The conceptual history of hypotheses-based logical systems in the 1920s and 1930s; (2) constructive approaches to hypothetical reasoning in modal logic; (3) the logic of conditionals, as this is the most natural place to apply and test any theory of hypothetical reasoning; (4) definitional reasoning and logical tomography, as these approaches lead to proof-theoretically grounded intensional notions of consequence.
