Dynamique des démonstrations et théorie de l'interaction

par Samuel Tronçon

Thèse de doctorat en Cognition, langage, éducation

Sous la direction de Pierre Livet.

Soutenue en 2006

à Aix-Marseille 1 , en partenariat avec Université de Provence. Faculté des lettres et sciences humaines (1969-2011) (autre partenaire) .


  • Résumé

    Le modèle analytique voit dans la logique une langue transcendant les usages, et fonde ainsi l'intersubjectivité de la signification. Le paradigme procédural la conçoit plutôt comme formalisation des processus de construction de la connaissance. C'est donc un renversement qui fait du langage un simple moyen de description et de la processualité une nouvelle normativité. Fruit de l'énorme bond en avant produit par la découverte de la dynamique des preuves et de l'isomorphisme preuves-programmes, ce renversement ne s'imposera qu'avec le tournant géométrique. Car, en fondant la logique sur elle-même, une bifurcation apparaît entre le concept et sa représentation, et c'est la réintégration du cognitif par le biais de la notion d'interaction qui permettra de reconstruire le lien à une certaine forme de naturalité. Cette nouvelle fondation nous amène ainsi à réviser l'ancrage même de la logique, c'est-à-dire notre conception de la matière dans laquelle elle opère, et à la définir comme l'étude des processus interactifs dans des espaces contraints.

  • Titre traduit

    Proof dynamics and theory of interaction


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. 2 vol. (413 p.)
  • Annexes : Bibliogr. pp. 395-407.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université d'Aix-Marseille (Aix-en-Provence). Service commun de la documentation. Bibliothèque universitaire de lettres et sciences humaines (Fenouillères).
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2006AIX10114
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.