Une journée d'étude sur le thème "Beyond Theoretical Rationality. Carnap faces Kuhn and Quine",; organisé par Delphine Chapuis-Schmitz se tiendra le mercredi 14 avril 2010 à l'IHPST. [En savoir plus]
Prochainement à l’IHPSTSamedi 13 mars 2010, 09:00-14:00
Colloque "Expériences de pensée et simulations numériques"
IHPST
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
Adresser un mail
La logique se trouve de plus en plus impliquée dans la conceptualisation et la formalisation de phénomènes ressortissant à un champ très vaste d’activités, notamment dans le domaine des sciences humaines et des sciences sociales. Elle est par là-même engagée dans une entreprise de modélisation, mathématique par sa méthode mais philosophique par ses objets. Ses recherches ont pour objet l’analyse de concepts philosophiques traditionnels tels que la nécessité, la connaissance ou l’obligation. La tâche des logiques qui s’y rapportent est de construire des systèmes formels censés capturer et représenter les intuitions liées aux usages fondamentaux ou centraux de ces concepts, et à étudier ensuite les propriétés formelles de ces systèmes.
On peut dire que depuis les travaux pionniers accomplis par les philosophes analytiques à partir de la fin des années cinquante, le champ de la logique s’est considérablement élargi, allant bien au-delà des domaines autrefois privilégies de la philosophie et des mathématiques. Elle touche aussi bien à l’informatique théorique et aux systèmes experts, qu’à la linguistique théorique ou encore à l’économie théorique.
La discipline relève aujourd’hui de quatre grands domaines distincts : la philosophie, les mathématiques, l’informatique et les sciences cognitives.
En tant que science de l’inférence déductive formellement valide, la logique pose des problèmes philosophiques sur l’objet et la nature de la connaissance logique. Le rôle de la philosophie de la logique est de donner une formulation correcte et précise de ces problèmes et d’argumenter en faveur d’une solution. On pourra citer comme exemple les difficultés soulevées par l’imputation aux sujets d’une « omniscience logique ».
Le recours à des méthodes et à des instruments théoriques propres à la logique est aujourd’hui indispensable à un traitement satisfaisant des questions de philosophie des mathématiques.
Par exemple, une bonne analyse de la notion d’extension conservative utilisée par H. Field pour la réalisation de son programme nominaliste est indispensable à une évaluation des espoirs de la perspective nominaliste ou fictionnaliste. C’est à la logique qu’on fera appel pour distinguer les mérites et les limites des notions sémantiques et syntaxiques de conséquence impliquées dans la notion d’extension conservative.
La théorie de la calculabilité et le modèle théorique du calcul fourni par les machines de Turing attestent de l’existence d’un lien fondamental entre logique et informatique, d’une parenté forte entre systèmes formels et langages infiormatiques.
L’étude de la cognition ou de la rationalité humaine soulève des problèmes méthodologiques. Faut-il expliquer la rationalité humaine, et notamment le comportement rationnel humain, en recourant à des facteurs hétérogènes et irréductibles à ceux auxquels on fait appel dans les sciences de la nature? Peut-on notamment expliquer notre aptitude à effectuer des inférences correctes dans une perspective naturaliste ? Une autre question débattue est de savoir s’il existe de bons arguments contre la psychologie computationnelle tirés des résultats d’incomplétude de Gödel.
