Colloque

La logique du raisonnement scientifique

Ricardo Silvestre

Membre a labase

Ricardo Silvestre

Résumé du colloque

Très reconnu parmi les philosophes des sciences est l'importance de l’accomplissement d’inférences à l’intérieur des théories scientifiques. Ces inférences jouent un rôle fondamental, par exemple, dans l’explication et prédiction des faits singuliers. Comme Carl Hempel l'a montré, ces inférences ne sont pas strictement déductives. À travers son modèle probabiliste d’explication scientifique, Hempel a été le premier à tenter de préciser formellement la logique des inférences scientifiques non-déductives. Cependant, son modèle a été incapable de résoudre le problème des ambiguïtés explicatives et, par conséquent, n’a pas bien accompli la tâche d’analyser les inférences scientifiques intro-théorétiques. Dans ce travail, je propose d’analyser formellement ce type d’inférence scientifique, mais non plus en utilisant une notion quantitative, comme Hempel et la plupart des philosophes l'ont fait, mais à l’aide d’un concept qualitatif : la notion de plausibilité. Le principal avantage d’un tel traitement est qu’il permet d’avoir un mécanisme d’inférence paraconsistante qui rende possible des inférences face aux ambiguïtés (explicatives ou prédictives) sans avoir à partager la non-contradiction triviale des inférences classiques. Du même coup, j’inclus la non-monotonie des inférences non déductives propres aux théories scientifiques. Dans cette perspective, je présente ici d’une façon axiomatique et sémantique une logique non-monotone et paraconsistante capable de représenter les inférences accomplies à l'intérieur des théories scientifiques. Comme application de la logique, je montre comment elle peut être utilisée dans l'analyse formelle des explications et prédictions des faits singuliers.