Plan du cours. Empirisme vs positivisme. Introduction

Transcription

1 Plan du cours PHI-4214, cours 8 Empirisme logique Pierre Poirier Département de philosophie Université du Québec à Montréal poirier.pierre@uqam.ca 1. Introduction 2. Le projet fondationnaliste en théorie de la connaissance 3. L empirisme classique 4. Empirisme classique vs logique 5. Empirisme logique DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 2 Empirisme vs positivisme Introduction L empirisme est contenu dans le positivisme (ou: le positivisme est une extension de l empirisme) Le positivisme ne peut être vrai si l empirisme ne l est pas (à cause de la thèse de la positivité empirique du savoir) Mais rien dans l empirisme n impose ni l unité de la science ni le rejet de la métaphysique et des pseudosciences Positivisme empirisme DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 4

2 Empirisme vs positivisme L empirisme sans positivisme: un empirisme sans unité de la science Sans unité méthodologique ex.: Feyerabend empirisme anarchique, Contre la méthode Empirisme sans unité typologique ex.: van Fraassen Empirisme vs positivisme L empirisme sans positivisme: un empirisme sans rejet de la métaphysique et des pseudosciences La métaphysique et les pseudosciences peuvent être conçues comme des présciences ou des organisations parfaitement abstraites de l expérience humaine. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 5 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 6 Empirisme conceptuel vs doctrinal (épistémique) Empirisme doctrinal Empirisme conceptuel Empirisme conceptuel: Thèse sur l origine de la signification des concept. Empirisme doctrinal: Thèse sur l origine du savoir Les deux empirismes aujourd hui Empirisme philosophique vs «empirique» Empirisme philosophique (doctrinal ou conceptuel): Thèse philosophique (épistémologique) sur l origine du savoir (sa justification) Empirisme «empirique» (doctrinal ou conceptuel): Thèse empirique sur l origine causale des connaissances humaines. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 7 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 8

3 Qu est-ce que la connaissance? Le projet fondationnaliste en théorie de la connaissance Connaissance = Croyance: notion psychologique Vraie: notion sémantique Justifiée: notion épistémique DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 10 Qu est-ce qu une théorie de la connaissance? Une théorie (1) établissant les critères pour la justification des connaissances, (2) déterminant, selon ces critères, quels types de croyances vraies sont justifiées. Comment la connaissance est-elle justifiée?? Mais le fondationnalisme est une grande famille de réponses à cette question 1. L ensemble de toutes les croyances peut être divisé en deux ensembles disjoints 2. Les croyances d un de ces ensembles possèdent certaines propriétés épistémiques spéciales qui font qu elles sont directement justifiées 3. Les croyances de l autre ensemble sont justifiées en terme des premières. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 11 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 12

4 Comment la connaissance est-elle justifiée? Fondationnalisme et axiomatisation Définir un ensemble de règles d inférence qui préservent la vérité, et dont l application est purement mécanique. Définir un ensemble consistant, et si possible minimal, d axiomes qui peuvent intuitivement perçus comme étant vrais. Reconstruire l ensemble des vérités d un système logique ou mathématique à partir des axiomes et ce par l application mécanique des règles d inférence. Comment la connaissance est-elle justifiée? «dérivation» Connaissances «dérivées» Connaissances primitives justification DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 13 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 14 Comment la connaissance est-elle justifiée? Pour établir une théorie fondationnaliste de la connaissance, il faut déterminer: 1. l ensemble des connaissances de base 2. l ensemble des connaissances dérivées 3. les liens qui permettent de justifier les connaissances dérivées à partir des connaissances de base. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 15 Le projet fondationnaliste de Descartes 1. l ensemble des connaissances primitives Les idées claires et distinctes 2. les liens qui permettent de justifier les connaissances dérivées à partir des connaissances de base. Une dérivation méthodique 3. l ensemble des connaissances «dérivées» Celles qu on obtient par dérivation méthodique DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 16

5 L empirisme de Locke L empirisme classique Let us then suppose the mind to be, as we say, white paper, void of all characters, without any ideas; how comes it to be furnished? Whence comes it by that vast store, which the busy and boundless fancy of man has painted on it with an almost endless variety? Whence has it all the materials of reason and knowledge? DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 18 L empirisme de Locke To this I answer, in one word, from Experience; in that all our knowledge is founded, and from that it ultimately derives itself. Deux doctrines sœurs 1. l ensemble des connaissances primitives Les idées sensibles (l expérience) 2. les liens qui permettent de justifier les connaissances dérivées à partir des connaissances de base.? 3. l ensemble des connaissances «dérivées» Les idées abstraites, non observables, les théories, la métaphysique, etc. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 19 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 20

6 Deux doctrines sœurs Rationalisme Empirisme Empirisme classique vs logique Fondationnalisme Fondationnalisme Raison (idées claires et distinctes) Empirie (données sensorielles) DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 21 Empirisme et fondationnalisme Empirisme classique Fondationnalisme Empirisme logique: Fondationnalisme Non psychologisme Contexte de découverte vs justification Empirisme sans dogmes Empirisme et psychologisme Empirisme classique Fondationnalisme (psychologiste) Empirisme logique: Fondationnalisme Non psychologisme Contexte de découverte vs justification Empirisme sans dogmes psychologiste DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 23 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 24

7 Empirisme et psychologisme Deux sens de «origines» Sens psychologique Origine psychologique et ontogénique de la croyance Sens épistémique Origine de la justification de la croyance (fondement justificationnel de la croyance) Empirisme logique DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 25 Le projet La réalisation du projet Exactement comme les mathématiques sont réductibles à la logique, ou à la logique et la théorie des ensembles, le savoir de la nature doit reposer de quelque manière sur l expérience des sens. Cela signifiera que l on expliquera la notion de corps en termes sensoriels (ceci pour le côté conceptuel de l embranchement), que l on justifiera notre connaissance des vérités de la nature en termes sensoriels (ceci pour le côté doctrinal de l embranchement). (Quine, L épistémologie devenue naturelle) Justification et signification Justification et signification Énoncés théoriques Énoncés Observationnels FAITS OBSERVABLES compilation observation DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 27 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 28

8 La compilation Définition informatique: Compilation Action de traduire automatiquement, à l'aide d'un compilateur, un programme écrit en langage de haut niveau en un programme équivalent en langage machine. Compilateur Programme qui convertit le code source d'une application écrite dans un langage de haut niveau en code objet formé d'instructions du langage machine, ou d'instructions très voisines, en vue de son exécution. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 29 La compilation Tous les énoncés théoriques sont compilés (traduits) l un dans l autre jusqu à, éventuellement, le «langage machine» de la science qui est le langage observationnel. Le langage observationnel c est le «langage machine» de la science parce qu il possède, au plan de la justification, des caractéristiques spéciales qui le rendent apte à fonder la science. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 30 La compilation Présupposé: Les langages de la sciences sont des langages formels (formalisés) L empirisme logique Il y a donc deux choses fondamentales dont il faut parler : les relations de traduction entre les langages la nature du langage observationnel Note: origine du qualificatif «logique» DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 31 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 32

9 P P Q --- Q Digression: logique, formel, sémantique (A & B) v (C & D) [(A & B) v (C & D)] (E F) --- (E F) Digression: logique, formel, sémantique Ces deux dimensions de la logique ne sont pas clairement distingués à l époque de Frege, Russell, et donc de l empirisme logique (qui commence dans les années 10 pour atteindre sa forme la plus achevée en 28). DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 33 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 34 Digression: logique, formel, sémantique La distinction claire apparaît seulement dans les années 30 et 40 avec la formulation, du coté formel, de la théorie de la preuve (proof theory), de la théorie des langages formels (qui va donner naissance aux langages de programmation et aux automates formels comme les machines de Turing et bien d autres) et du coté sémantique, de la théorie de le vérité dans les langages formels (Tarski) et de la théorie des modèles. et du coté de la relation entre les deux (parce qu il y en a évidemment une) avec les travaux sur la complétude systèmes logiques. Nature du langage observationnel Énoncé observationnel Objet linguistique (logico-sémantique) Objet épistémique Pour les empiristes logiques, il y une connexion entre les propriétés sémantiques et épistémiques des énoncés Conception vérificationniste de la signification DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 35 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 36

10 Vérificationnisme, première partie Observation Énoncé observationnel Fait observable Acquisition de signifiance et de signification Vérificationnisme, première partie Par définition un énoncé observationnel est un énoncé qui n acquiert sa signification que par l observation et rien d autre. Si le fait en question est observé, alors l énoncé est vrai, Si on observe son contraire, alors l énoncé est faux, Si le fait ne peut être observé mais est en principe observable, alors l énoncé est signifiant et on connaît ses conditions de vérité (les conditions sous lesquelles on pourrait déterminer sa vérité ou fausseté. Si le fait ne peut être observé et n est pas en principe observable, alors ou bien l énoncé est théorique (sa signification lui viendra comme on expliquera dans un instant) ou bien il est sans signification et donc à rejeter de la science. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 37 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 38 Vérificationnisme, première partie Empirisme logique: Il existe une relation entre les caractères sémantique et épistémique d un énoncé Reste à expliquer comment: vérificationnisme Nature du langage théorique Énoncé théorique: énoncé qui ne peut pas être directement confirmé par l observation d un fait, et donc qui n acquiert pas directement sa signification, mais qui peut être traduit en un ou un ensemble d énoncés observationnels. Énoncé théorique Objet linguistique (logico-sémnantique) Objet épistémique DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 39 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 40

11 Nature du langage théorique X est soluble = trad Si X est placé dans de l eau alors X se dissoudra Vérificationnisme, seconde partie Énoncé théorique épistémiquement équivalent (confirmation) Compilation (traduction?) Énoncés observationnels DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 41 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 42 Qu est-ce que la traduction? Est-ce que la traduction est identique à la compilation? Qu est-ce que la traduction? La compilation relation d identité sémantique : même sens (exactement) la compilation d un langage à un autre est médiatisé par un ensemble spécial d énoncé (un compilateur - Quine parlera de «manuel de traduction») qui permettent l appariement un à un des énoncés des deux langages en regard purement à leur propriétés formelles ou syntaxiques. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 43 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 44

12 Qu est-ce que la traduction? Dans la compilation, «2+2» a le même sens que « » parce que «1+1» a le même sens que «2» Ces énoncés, qui ne disent rien sur le monde mais établissent simplement les relations logico-sémantiques entre les langages, sont analytiques (donc connaissables a priori) Qu est-ce que la traduction? Traduction (de tous les jours) pas une relation d identité mais une relation d équivalence (équivalence signifie «égale valeur») : cette relation plus souple permet la contextualisation, l approximation, etc. la traduction d une langue est médiatisée par une connaissance générale des deux langues. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 45 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 46 Qu est-ce que la traduction? Est-ce que la traduction de tous les jours ne pourrait pas être formalisée, et ainsi devenir de la compilation? NON! (preuve) Qu est-ce que la traduction? la traduction dont parlent les empiristes logiques est un concept technique qui n a qu une relation de ressemblance familiale avec notre concept ordinaire de traduction. Le concept technique c est (1) l identité de sens, (2) l identité spécifiable purement en terme des caractéristiques formelles des énoncés. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 47 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 48

13 Qu est-ce que la traduction? Et ils ont besoin de cette relation Traduction mécanique? Problème du cadre de référence en IA Plusieurs opérations mentales de haut-niveau (prise de décision, planification, etc.) exigent la présence d un cadre de référence. Tout ce qui demande de processus non purement déductifs. Or il est impossible de spécifier à l avance quel cadre de référence sera pertinent pour un application donnée d une opération mentale. explosion combinatorielle Micro-mondes DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 49 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 50 Qu est-ce que la traduction? Pour transformer la traduction en compilation, il faut d abord transformer la langue de la science en un langage formel (une caracteristica universalis). Mais ce projet n aboutira jamais Le pourrait-il? Affaiblir le vérificationnisme? Confirmation Énoncé théorique Énoncés observationnels Implication logique DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 51 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 52

14 Mais Affaiblir le vérificationnisme? Ce qui précède implique: Énoncé théorique Confirmation Implication logique Autres énoncés observationnels DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 53 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 54 Conséquence et ainsi de suite, un nombre indéfini de fois. Il est donc impossible d éliminer le vocabulaire théorique T à la faveur du vocabulaire plus fondamental XYZ car l emploi de T peut toujours impliquer et se réduire sémantiquement à des faits obserbvables distincts. Conclusion DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 55

15 La conception vérificationniste de la signification Pour un énoncé E quelconque Si E peut être directement confirmé ou infirmé par l observation d un fait, alors 1. E est cognitivement signifiant et 2. ses conditions de vérité sont données par le fait qui le confirme ; Par définition c est un énoncé observationnel. La conception vérificationniste de la signification Si E ne peut pas être directement confirmé par observation mais peut être traduit en terme d un ensemble d énoncés observationnels, alors 1. E est cognitivement signifiant et 2. ses conditions de vérité sont données par les faits qui confirment les énoncés observationnels en terme desquels il est traductible ; Par définition c est un énoncé théorique. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 57 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 58 La conception vérificationniste de la signification Si E ne peut pas être directement confirmé par observation mais peut être traduit en terme d un ensemble d énoncés théoriques qui, chacuns, peuvent être traduit en terme d un ensemble d énoncés observationnels, alors 1. E est cognitivement signifiant et 2. ses conditions de vérité sont données par les faits qui confirment les énoncés observationnels en terme desquels sont traductibles les énoncés théoriques en terme desquels il est traductible ; Par définition c est un énoncé théorique. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 59 La conception vérificationniste de la signification Tout autre E est sans signifiance. DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 60

16 Quelques présupposés de l empirisme et du positivisme logique Empirisme La seule justification possible de la science repose sur les évidences empiriques (empirisme philosophique doctrinal) la connaissance doit être justifiée en la fondant sur un ensemble d énoncés possédant un caractère épistémique particulier (fondationnalisme) Présupposés de l empirisme et du positivisme logique Vérificationnisme L unique manière de déterminer le sens des énoncés en science repose sur les données empiriques (élément de la conception vérificationniste de la signification) (Certains énoncés ne dérivent leur sens que de la relation entre les concepts qui les composent (conception sémantique de l analyticité)) DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 61 DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 62 Présupposés de l empirisme et du positivisme logique Vérificationnisme Au moyen de la conception vérificationniste de la vérification, il est possible d établir une distinction de principe entre les énoncés observationnels et les énoncés théoriques. Pour cette raison, le langage de la science peut être partitionné en deux sous-ensembles disjoints : l ensembles des énoncés observationnels et l ensemble des énoncés théorique, de sorte que aucun énoncé observationnel ne dérive son sens et sa confirmation de celui d un ou d un ensemble d énoncés théorique. tous les énoncés théoriques dérivent leur sens et leur confirmation de celui d un ou d un ensemble d énoncés observationnels. (distinction langage observationnel vs langage théorique). DIC-4214, Automne 2003 La philosophie analytique Cours 7, page 63