APPLICATION A LA LOGIQUE, AUX MATHEMATIQUES ET A L'INFORMATIQUE

Thèse de doctorat sous la direction de M. Yves Lecerf
                                        présentée le 23 octobre 1992

PREMIERE PARTIE : LE DESENCHANTEMENT
 

LA FAILLE EPISTEMOLOGIQUE
L'hyper-rationalisme
Le sens commun
Une volonté d'application
Axiomatique
L'induction
Au delà du rationalisme
Le sens
Expression et référence
La chose en soi
Le processus
La convention
La subjectivité du fait social
Une science des procédures
Les allants-de-soi
Une nouvelle base épistémologique pour les sciences humaines

UNE CRITIQUE DES SCIENCES SOCIALES
La sociologie
La prétention scientifique
Le paradoxe des sciences sociales
L'émergence des sciences de l'homme
L'homme devient objet de science
Une science des faits sociaux
La méthode positive
Le début de la contestation
La méthode compréhensive

L'EVIDENCE
La question insoluble
L'évidence indécomposable
Un acte de foi
Le cartésianisme
Une action élémentaire
Le cogito
Une seconde nature
L'évidence logique
Un concept ?
Intersubjectivité
Conventionnalisme
Une convention sans arbitraire
L'évidence géométrique
Vers l'esthétique ?

DEUXIEME PARTIE : LE LANGAGE
 

LA COMPREHENSION
Intentionalité
Langage et ordre
La compréhension
L'hétérogénéité des cultures
Le nom de la chose
Nature et culture
Le métalangage

L'INDEXICALITE
Etre membre
L'armature du langage
L'unité brisée
La confiance
Le neveu de Rameau
Le mot n'épuise pas la pensée
Le langage artificiel
L'indécidabilité
Dialectique

CRITIQUE ETHNOMETHODOLOGIQUE DE LA PHILOSOPHIE ANALYTIQUE
La toile de fond
La préséance du langage
Rhin et Danube
L'analyse du sens
Le rejet du psychologisme

LE SENS
L'univers du signe
Le sens est une finalité
Les sciences humaines créatrices de sens
L'histoire individuelle
Sens et chaîne de caractères

LA TRADUCTION AUTOMATIQUE
Un vieux rêve
Une grammaire universelle
La fin d'un mythe
Qui a peur de Bar Hillel ?
Un nouveau départ
Comment une machine trouve un sens ?
Un contexte restreint
La compréhension différentielle

TRANSGRESSION ET TAXINOMIE
L'Informel
Le bon sens
Transgression
La raison et l'esprit
L'instauration d'un nouvel ordre
Le fait et le droit
Taxinomie
Histoire naturelle
La taxinomie comme mode de représentation de la raison
Taxinomie de l'humain
Appartenance et exclusion

TROISIEME PARTIE : LES PIEGES DE LA RAISON
 

LE MYTHE DE LA RATIONALITE
L'universalité du contenu
Le paradoxe de la raison
La mise en ordre
De la méfiance au rejet
Les limites de la raison
La prétention universelle
La revendication irrationnelle
La raison dans l'irrationnel
L'opposition rationalisme/empirisme
Le contenu
Le contenant

L'ORIGINE DU RATIONALISME
Les Idées platoniciennes
Le fondement ontologique
La recherche d'une définition de la justice
Le déroulement ontologique de la décadence
L'âge d'or
Le comme si
La critique d'Aristote
La faille
Une limite de la raison
L'essence ou la quête impossible
La réticence devant l'écrit
La critique de Karl Popper
La manipulation platonicienne

LA RECHERCHE D'UNE DÉFINITION PURE
L'émergence du concept
La négation des essences
La recherche du mot
Qu'est-ce que l'essence ?
De quoi y a-t-il essence ?
L'expression selon soi chez Aristote
L'énonciation définissante
Substance et définition
La forme
L'universel
L'entéléchie

LA RATIONALITÉ SCIENTIFIQUE
Science sans essence
Le rationalisme critique
Le rejet de l'empirisme
La science de l'individuel
La pluralité des mondes
Les lois des lois

QUATRIEME PARTIE : LES RUSES DE LA SCIENCE
 

LA NOTION DE CAUSE
La croyance métaphysique
La localité de la vérité
L'allant-de-soi causal
Une règle de comportement
L'explication combinatoire
Une relation d'antériorité
La causalité qualitative
La causalité déductive
Le cauchemar de Compton
La cause comme processus
Une origine
Une corrélation

L'INDUCTION
Du fini à l'infini
L'obscurité du principe
La circularité
Critique de l'induction
Le jugement synthétique a priori
Le Cercle de Vienne
La solution ethnométhodologique
La nouvelle pratique inductive
Objectivité forte, objectivité faible

DE LA CAUSALITE AU DETERMINISME
Le monde horloge
Emanation d'un désir moral
La naissance du déterminisme
L'exigence analytique
La permanence des lois de la nature
Le déterminisme métaphysique
Bouter la cause hors de la science

DU DETERMINISME A LA PREDICTION
Le principe de raison suffisante
L'impossible hiérarchie
Un triple statut
Le temps d'incubation
Un fondement énigmatique
Une formule vide
L'infini comme échappatoire à la nécessité
L'irréductible individualité
Le paradoxe de la prédiction absolue

DE LA PREDICTION AU HASARD
L'antinomie de la prédiction
Un déterminisme sans prédiction
La contiguïté
La matrice impossible de tous les paramètres
Les chaînes causales indépendantes
Le hasard inéluctable
Le battement de l'aile du papillon

EMERGENCE DE L'INDETERMINISME
L'introduction de la subjectivité
L'inutile déterminisme
Le fatalisme
Des horloges dans les atomes

LE CHAOS
Fureur du chaos, mesure de l'ordre
L'actualité de la querelle du déterminisme
Un système divinatoire
L'infinité des paramètres
Existence de l'ordre
Le mathématicien rationaliste
Prigogine et la Nouvelle Alliance
Edgar Morin et la notion de complexité
La science en tant qu'activité sociale
Une théorie anarchiste de la connaissance
Les labyrinthes des circuits imprimés

CINQUIEME PARTIE : APPLICATION AUX SCIENCES FORMELLESi
 

NAISSANCE DE L'EXIGENCE FORMELLE
L'idéologie dominante
Le réalisme logique
Idée et Jugement
L'opposition Héraclite/Parménide
La première réconciliation
La solution empirique
La faculté de juger
Les différents types de jugement
La nécessité du jugement

LOGIQUES ET MATHÉMATIQUES
La recherche d'un point fixe
Naissance de la logique
La syllogistique, première science formelle
Une langue universelle
Une description du réel
La logique devient mathématique
Le cas de la géométrie euclidienne
La logique est indépendante de l'intuition
Logique et logiques

LA VERITE
Sphère publique, sphère privée
Un discours sur l'Etre
L'évidence comme critère de vérité
L'objectivité du phénomène
A la recherche du réel
Le réel quantique
La vérité de la proposition
Le vrai comme acte
Le contrat véridique

HISTOIRE D'UNE PREUVE
La preuve comme pratique sociale
Les nombres pythagoriciens
Le pair et l'impair
La diagonale du carré
L'activité pratique

FONDEMENTS ETHNOMETHODOLOGIQUES DE LA PREUVE
L'objectivité
Application au théorème de Gôdel
Données méthodologiques
L'infinité des règles tacites

SIXIEME PARTIE : APPROCHE ETHNOMETHODOLOGIQUE DES NOUVELLES TECHNIQUES DE L'INFORMATION
 

DES MENINES DANS LES MACHINES
L'artifice de l'intelligence
L'IA
Un outil comme un autre
Imiter la vie courante
Les systèmes experts
Le S.E. décortiqué
Aide au diagnostic
L'ère industrielle
La logique temporelle
La deuxième génération
Les réseaux neuronaux
Mariage des mathématiques et de la biologie
La chasse aux sorcières
Reconnaître un visage

LA LOGIQUE FLOUE
Fiction en guise d'introduction
Le barbier
La machine de Turing
Numériser l'ambiguïté
Applications industrielles

LES HYPER-MEDIAS
L'enseignement revisité

INFORMATIQUE ET GENETIQUE
La vie de la machine
Biologie et informatique

Rubrique Sciences cognitives, Intelligence Artificielle

Rubrique Ethnométhodologie, Sciences Sociales et Humaines

Sommaire de la page d'accueil