Proofs Dynamics and Theory of Interactions

The analytical model views logic as a language transcending uses, and thus founds the intersubjectivity of meaning. The procedural paradigm rather conceives it as a formalization of the knowledge construction processes. Clearly, it is an inversion which makes language a simple means of description and processuality a new normalcy. Fruits of the new deal initiated by the discovery of the proof dynamics and proof-program isomorphism, this inversion will become essential only with the geometrical turn. Because, by founding logic on itself, a theoretical gap is produced between the concept and its representation, and the link with its naturality would be recovered only after the reintegration of cognitive phaenomenon by use of the concept of interaction. This new foundation thus leads us to revise the anchoring of logic, i.e. our design of the matter in which it operates, and to define it as the study of interactive processes in constrained spaces.


Samuel Tronà§on. Dynamique des démonstrations et théorie de l’interaction.Thèse de doctorat. Université de Provence. 2006.

BibTex entry:

Alphabeticalkey = {Tro}, Author = {Tronà§on, Samuel}, Title = {Dynamique des démonstrations et théorie de l'interaction}, School = {Université de Provence}, Type = {Thèse de Doctorat}, Year = {2006},  note="A paraà®tre en 2009."

titre documents joints

Samuel Tronçon - 2014