Samuel TRONÇON. Philosopher. Researcher in computer science applied to social sciences. PhD in philosophy and theoretical computer science.



Positions

CEO at RR&D, a research lab for public policy analytics, humanities and computer sciences.

CEO at Connecty, a blockchain for knowledge exchanges and research DAOs.

Head of Résurgences insertion, a non-profit organization with high social impact in training adults for dev and data skills.

Articles and books

   revenir en haut


Mathématique du dialogue

Mathématique du dialogue

Ce livre présente des travaux menés sur la question de l’interaction dans le langage par cinq chercheurs pluridisciplinaires, réunis par une réflexion autour des progrès récents de l’informatique théorique dans leur relation avec les sciences humaines et sociales. Les auteurs abordent les bases de la théorie mathématique de l’interaction dans le contexte d’une grammaire des dialogues et montrent que les principaux concepts (polarité, localisation, convergence) renouvellent notre conception des objets linguistiques. Dépassant le périmètre réservé du dialogue, le modèle permet de voir dans toute construction argumentative une forme dialogique à l’œuvre, définissable comme un processus calculatoire. Et, par-delà l’étude du langage, les processus pragmatiques y sont aussi analysés comme des processus sociaux par lesquels s’élaborent, se corrigent et s’influencent normes et discours, contribuant à dessiner des espaces de cognition sociale.

Singularités, objectivité et performativité en sciences sociales

Singularités, objectivité et performativité en sciences sociales

Cet article a pour objet de proposer une double articulation pour l'analyse des systèmes théoriques en SHS qui permette une interaction facilitée avec l'informatique et les sciences de la nature, et qui donne des clefs épistémologiques pour étudier l'évolution de ces systèmes, leurs particularités et leurs adaptations possibles aux objets étudiés. Sans pouvoir être exhaustifs, nous tentons de proposer des ouvertures, en nous basant sur la logique et la géométrie de la connaissance, et en tenant compte de la spécificité des sciences humaines et sociales.

Ludics, dialogue and interactions

Ludics, dialogue and interactions

The articles collected in this volume are based on contributions to workshops and meetings that were held within the context of the PRELUDE project. PRELUDE, an acronym for ``Towards Theoretical Pragmatics based on Ludics and Continuation Theory'', ran from November, 2006 to November, 2009, with funding from the new French National Agency for Research (ANR). The objective of the project was to develop perspectives on Natural Language Semantics and Pragmatics based on recent developments in Logic and Theoretical Computer Science.

Speech Acts with Ludics

Speech Acts with Ludics

In this paper, we attempt to show that recent developments in proof theory, especially with ludics, are relevant for the study and the formalization of speech acts. This logical framework does not deal with truth values but with proofs, and this opens a new way for taking in charge the performative part of linguistic utterances. After having presented two models of speech acts and what theoretical elements we will hold as relevant for our own model, we introduce the ludical point of view by defining a speech acting conceptualization which renders some determinations not presented in the former models. We end by giving some examples of speech acts, presented in their ludical embedding, and we discuss what features the model provides.

Dialogues in ludics

Dialogues in ludics

In this text we expose and defend the following claim: Ludics is a relevant framework to ensure both the formalisation and another way for studying dialogues. Once our model presenting a not formal notion of dialogue, and explaining the correspondance with some core concepts in Ludics has been introduced, we give a light technical presentation of Ludics, focusing on the most relevant points for the study of formal dialogues : objects, actions and interactions. At last, we present the concrete part of the model with some examples of dialogues in ludics.

Ouvrir la logique au monde : Philosophie et mathématiques de l'interaction

Ouvrir la logique au monde : Philosophie et mathématiques de l'interaction

Ce volume rassemble une partie des exposés donnés lors de l'Ecole thématique du CNRS «Logique, Sciences et Philosophie », organisée par Jean-Baptiste Joinet, qui s'est tenue au Centre Culturel International de Cerisy-la-Salle, du 19 au 26 septembre 2006, à  l'initiative du groupe «Logique et Interaction : Géométrie de la Cognition » (LIGC). LIGC est un collectif qui regroupe une quarantaine de philosophes et de scientifiques d'horizons divers (physiciens, biologistes, linguistes, mathématiciens, informaticiens). Il est l'héritier du groupe interdisciplinaire LMP (Logique Mathématique et Philosophie), formé en l'an 2000 et coordonné par Samuel Tronçon. Au delà  de l'interdisciplinarité, la spécificité des investigations de LIGC tient à  la place qu'y prennent les réflexions philosophiques sur la valeur transdisciplinaire de notions issues de la théorie des fondements logiques de l'informatique, et en particulier celle d'interaction (calculatoire, informationnelle), gardant en ligne de mire un projet de refondation plaà§ant ce concept unificateur d'interaction au centre de l'interface dynamique réel-rationnel. L'introduction aborde cette réflexion en analysant la "révolution copernicienne" qui a secoué la logique à  partir de la fin des années soixante-dix, dans le contexte de son dialogue avec l'informatique théorique (J.-B. Joinet). La première partie, intitulée "Physique et intuition", réunit des contributions concernant l'intelligibilité de la nature. C'est d'abord la logique qui est convoquée, par l'interrogation sur la dualité entre subjectif et intersubjectif (J.-Y. Girard) à  travers les apports récents de la ludique. Sont analysés ensuite les liens fondamentaux entre le formalisme mathématique et l'intuition en physique (T. Paul, M. Bitbol). Pour finir, la mathématique formelle est entrevue depuis la phénoménologie (V. Gérard), notamment dans le dialogue entre théorie des ensembles et ontologie. La deuxième partie, "Nature et calcul : de la logique au sujet", introduit de manière critique la conception de la nature-calcul, en abordant d'un cà´té les limitations de la thèse de séparabilité entre systèmes calculables et systèmes chaotiques (G. Dowek), et de l'autre la différence entre déterminisme et prédictibilité en tant qu'elle questionne la thèse de Church physique (G. Longo, T. Paul). La troisième partie, consacrée aux "Processus et primitives de cognition", aborde les questions de signification et d'ontologie. Les deux premiers chapitres s'articulent autour de l'hypothèse localiste, en s'attachant à  l'ancrage cognitif des concepts mathématiques (B. Teissier), puis à  la signification spatiale de la négation et de l'implication logiques (P. Livet). Les deux derniers chapitres abordent sur un plan philosophique les jalons théoriques qui permettent d'envisager une sémiotique cognitive (S. Tronçon), et les apports de l'intuitionnisme philosophique à  une sémantique des constructions et des catégories (A. Ben Makhlouf). En clôture de ce volume, F. Nicolas revisite la logique musicale à  l'aune du "tournant géométrique" survenu dans le champ de la logique mathématique et dont l'ensemble de ces travaux tente de définir les contours.

Éléments de sémiotique cognitive

Éléments de sémiotique cognitive

La question de la signification se pose aux confluents de la philosophie, de l'étude du langage, de la logique et de la cognition. Notre problème consiste à  fournir un modèle, conceptuel et formel, dans lequel les ancrages anthropologiques de la signification (la discursivité, l'interaction, la normativité) puissent être pris en compte sans céder de terrain à  un réductionnisme aveugle. C'est à  partir d'observations sur la vie du signe que nous en venons à  penser qu'aucun obstacle n'empêche une théorie formelle de la signification, même si une telle théorie ne peut répondre matériellement, définitivement et totalement à  la question du sens. Nous présentons quelques articulations linguistiques fondamentales qui révèlent selon nous la nécessaire prise en compte d'un complexe psychologique, sociologique, physiologique et logique dans la théorie de la signification des langues naturelles. Grà¢ce à  une réflexion sur la fonctionnalité des signes nous constatons ensuite la profonde dynamicité des objets à  différents niveaux sémiotiques (sens, signe, sémiose), qui atteste selon nous de leur possible conceptualisation en forme de processus et d'interactions. Partant de là , nous présentons quelques jalons théoriques dans le champ logique, qui permettent finalement d'envisager les linéaments d'une théorie dynamique de la signification qui fairait intervenir tant la sémiotique que la cognition dans son élaboration.

Dynamique du langage et ontologie

Dynamique du langage et ontologie

Nous proposons une conjecture qui vise à  explorer les possibilités d'une théorie de la signification qui ne se baserait ni sur l'analyse des énoncés du langage, ni sur les références objectives de nos énoncés. Cette conjecture est permise par de récents progrès logiques qui donnent les bases nécessaires notamment à  la fondation d'une signification par l'usage, dans un système conventionnaliste et holiste. L'intérêt d'une telle démarche, outre l'élabo- ration d'un modèle conceptuel, est de permettre une autre fondation de la communication inter-humaine et de l'apprentissage.

La vie des preuves

La vie des preuves

Nous proposons une conjecture qui vise à  explorer les possibilités d'une théorie de la signification qui ne se baserait ni sur l'analyse des énoncés du langage, ni sur les références objectives de nos énoncés. Cette conjecture est permise par de récents progrès logiques qui donnent les bases nécessaires notamment à  la fondation d'une signification par l'usage, dans un système conventionnaliste et holiste. L'intérêt d'une telle démarche, outre l'élaboration d'un modèle conceptuel, est de permettre une autre fondation de la communication interhumaine et de l'apprentissage.

Référence :
Samuel Tronçon. La vie des preuves. In Jean-Yves Heurtebise. Actes du colloque "La vie, le temps". Sens Public, 2008.

Interaction et signification

Interaction et signification

La logique moderne est traversée par de nombreuses lignes de démarcation, dont aucune ne permet de mesurer l'étendue réelle du domaine. Par l'accumulation de ces oppositions duales, on atteint une sorte de saturation du débat qui fait passer au second plan l'objet pour ne retenir que les querelles de clocher et les positions dogmatiques. On connaà®t par exemple l'opposition entre classiques et intuitionnistes, qui n'est pas sans lien avec celle des formalistes et des constructivistes, ou encore la non moins célèbre distinction entre théorie des modèles, théorie de la démonstration, théorie des ensembles. Cette dernière, si elle est fondée techniquement, n'en recèle pas moins des oppositions idéologiques là  o๠au fond il n'y a qu'une différence d'objet. On peut rajouter à  cela les positions philosophico-méthodologiques des différents logiciens et philosophes : réalistes, anti-réalistes, vérificationnistes, subjectivistes, réductionnistes, fondationnalistes... Et cette complexité devient intenable lorsqu'on sait que ces différents niveaux de partition peuvent se combiner et créer ainsi d'innombrables nuances logico-philosophiques quasiment indiscernables. Dans cet article nous nous contenterons d'une analyse de l'objet logique, sans référence à  la sociologie de la recherche ni màªme à  l'idéologie scientifique qui prévaut dans telle ou telle tradition.

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

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

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.

aKtoNe

AKTONE System

AKTONE is a distributed and data-driven informational system and dev framework for data-science and fast prototyping applications in social sciences. It consists in a 3 levels DEVOPS architecture of tools, libraries and : - an adaptative servers fleet with automated scripts for maintenance, bots control, back-end operations, - a set of heterogeneous databases systems controlled with abstract models implementation, - a set of heterogeneous softaware systems controlled by the core framework, implementing open source libraries of various languages (PHP, Python, Javascript, D3.js, Node, Shell Scripts, PERL...) AKTONE is used in production for every projects of RR&D, Connecty and Résurgences.

KOIKOI (Machine Learning experimental algo)

KOIKOI (Machine Learning experimental algo)

KOIKOI is an algorithm based on some of my previous articles in Theoretical Computer Science, and inspired by the work of Jean-Yves Girard, namely his reconstruction of logic known as "Ludics". KOIKOI is specially designed for machine learning and simulation, with an underlying process of 'learning by interaction' similar to the social process of "learning by means of other's interpretation of actions and reactions". The core algorithm of KOIKOI is presented in the book 'Mathématique du dialogue', written with Christophe Fouqueré, Myriam Quatrini, Alain Lecomte and Pierre Livet. Koikoi is the name of popular japanese game played with Hanafuda card game.

e-COOPILOT

e-COOPILOT

e-coopilot is a software infrastructure to assist stakeholders in participatory processes, from citizens to managers and politicians, to the governance and management of territorialized socio-environmental systems. e-ccopilot is the result of the collaboration between the CoOPLAaGE team of INRAE and RR&D.

Scientific projects

   revenir en haut


aKtoNe

ANR PRELUDE : Toward pragmatics based on Ludics Theory and Continuations

As second coordinator with Alain Lecomte.
PRELUDE was an international research program funded by the Agence Nationale de la Recherche (ANR-BLANC) wich aim is to "give a significant boost to ambitious projects which position themselves favorably in international competition and which present original objectives, breaking with well-marked research routes". With Roma Tre Università, INRIA, Aix-Marseille Université, Université Paris 8, Laboratoire d'Informatique de Paris-Nord.
Abstract
“PRELUDE” stands for “Towards a Theoretical Pragmatic based on Ludics and Continuations”, that is to say that a particular emphasis has been put during all these years on the use of new formal tools coming from Theoretical Computer Science and Logic in order to give new formulations for language phenomena pertaining to formal semantics (logical forms), pragmatics (dialogue, presupposition) and even argumentation (fallacies and stratagems). As indicated by its title, this workshop will be devoted on all aspects of the formal study of dialogue and interactions: syntax of dialogue, semantic, pragmatic and philosophical aspects.

aKtoNe

FP7 LIBEAC : Liberalism in Between Europe And China

As a partner coordinator in the consortium.
The LIBEAC project is among the few elite projects selected by the Research Executive Agency (REA) of the European Commission inside the Seventh Framework Programmes for Research and Technological Development (FP7-PCRD).
This International Research Staff Exchange Scheme aims at improving international mobility of researchers among the world and especially between European countries and Third Countries partners in order to foster the emergence of multidisciplinary and multicultural research network.
The pojects involves international partners : AIX-MARSEILLE UNIVERSITE (AMU), RR&D LAB (FRANCE), INSTITUTE FOR EUROPEAN STUDIES (IUSE), UNIVERSITY OF EASTERN PIEDMONT (UNIPMN), CHARLES UNIVERSITY (CHU), TSINGHUA UNIVERSITY (TH), PEKING UNIVERSITY (PKU), HOKKAIDO UNIVERSITY (HOKUDAI), GLAWCAL - GLOBAL LAW INITIATIVES FOR SUSTAINABLE DEVELOPMENT (UNITED KINGDOM).

Abstract
Since their inception in 1998 in London to the most recent meeting in Brussels in October 2010, EU-China Summits demonstrate the importance of European and Chinese partnerships based on mutual understanding and joint efforts to overcome global problems ranging from ecological risks to economic crisis to social inequalities.
Reflecting on the issues of EU-China relationships, the project “Liberalism In Between Europe And China” (LIBEAC) aims at developing a new understanding of liberalism in its economic, political and social dimensions.
It involves a comparative analysis of the cultural differences in its interpretation and of the political discrepancies in its enforcement, in particular with respect to economic, social and environmental rights in China and Europe in Modern times. It is a multidisciplinary project based on a comparative study of European and Chinese political philosophy and political economy, legal practice and philosophy of right.

aKtoNe

PIA COOPILOT

aKtoNe

ANR LOCI : Locativity and interaction in Logic, Computer Science and Linguistics.

As coordinator of the third workpackage : "Social interactions and language learning".
LOCI was an international research program funded by the Agence Nationale de la Recherche with Roma Tre Università, INRIA, Aix-Marseille Université, Université PAris 8, Laboratoire d'Informatique de Paris-Nord and RR&D Lab.
Abstract
The aim of this project is to build a new way of founding Logic and re-thinking Language starting from the concept of interaction, in the frame of Ludics, a pre-logical formalism invented by J-Y. Girard. Ludics has appeared in 2001 in the continuation of Girard’s researches on Geometry of Interaction. It is linked, on one side, to the works on focalisation of proofs in linear logic (a discovery made by J-M. Andréoli at the beginning of the nineties) and, on another side, to a deeper approach of the notion of proof-net. As is well known now, the techniques of proof-nets provide a way of objectivizing proofs, simply as geometric devices (graphs) on which criteria (like acyclicity or connectedness) are checked. Following these techniques, proofs revealed to be less based on formulae (and sequent rules) than on locations where connections can be made. Moreover, the provability is shown by completely different means than explicit derivability rules. The first researches which were held on Ludics actually concerned its links with proof-nets.
The project focused on several topics : - Theoretical aspects of sign language
- Considerations on the ontology of processes
- Concepts of interaction in the social sciences
- Semantic games and Ludics
- Categorical Semantics

aKtoNe

Logic and interaction: towards a cognitive geometry (LIGC group)

Co-founder of the group with Pierre Livet (Philosopher) and Jean-Yves Girard (Mathematician).
Co-organizer of three editions of the seminar.
LIGC brings together philosophers and scientists from various backgrounds (mainly specialists in Mathematical Logic, Theoretical Computer Science, and Philosophy of Logic). The group intends to develop a common philosophical reflection on the impact of recent metamorphoses of logic in the context of its dialogue with theoretical computer science and, by transitivity, with other disciplines (physics, biology, linguistics...).
Main members : Jean-Baptiste Joinet, Giuseppe Longo, Thiery Paul, Jean-Louis Giavitto, Jean-Louis Teissier, Gilles Dowek, Mitsuhiro Okada, Myriam, Quatrini, Alain Lecomte, Christophe Fouqueré, Jean-Yves Girard, Pierre Livet, Samuel Tronçon...

aKtoNe

Rencontres de Rochebrune

Contemporary Art

   revenir en haut


Journey to the west (Tsai Ming-Liang)

2013

Journey to the west (Tsai Ming-Liang)

As a co-producer, with Vincent Wang, Fred Bellaïche, Antonin Dedet, for this Tsai Ming-Liang movie made in Marseille in 2013.

Artwar(e)

2009-2013

Artwar(e)

As co-author, with Christophe Bruno.
A platform for assets management and computer-assisted curating in contemporary Art. The artistic project was about the life-cycle of creative objects, their emergence and obsolescence, and how plagiarism and import-export play essential roles in art history. The aim of Artwar(e) is mapping the circulation of value in the arts.
Creation at the Centre d'Art des Capucins, Embrun, 2010. Exhibitions and conferences at Share Festival Torino 2010, Bibliothèque Nationale de France 2009, Le CENTQUATRE-PARIS 2010, Ecole d'Art d'annecy 2010, Centre Pompidou 2010, Jeu De Paume 2011, Bibliothèque Nationale de France/Gaîté Lyrique 2012.

Mémoire d'Outre-Mer (Claude Bossion)

1998

Mémoire d'Outre-Mer (Claude Bossion)

As a producer, for Circuit-Court/Cinémémoire, for this Claude Bossion documentary made with found-footages film archives in the french colonies from 20's to 60's.

Chroniques Urbaines (Claude Bossion)

1997

Chroniques Urbaines (Claude Bossion)

As a producer, with Cinémémoire, for this Claude Bossion's documentary in the North district of Marseille.

New-York Memories (Claude Bossion)

1996

New-York Memories (Claude Bossion)

As an author for the text. This short movie is an experiment on collective memory and an inner dialogue by the film-maker, Claude Bossion : what is filming? What is a film-maker? and how banal images can reach a powerful level of imagination. With participation of Pierre Clémenti, Judith Malina, Jonas Mekas, Jerome Charyn.

aKtoNe

Jeux de langage et raison communcationnelle : le statut de l'incompréhension dans le langage

aKtoNe

Des enfants d'Afrique de l'Ouest parlent de la maladie, des soins et de l'hôpital

aKtoNe

Décider de sa vie et construire sa famille. Réfléchir ensemble pour améliorer la santé maternelle.

aKtoNe

Enfance et malnutrition au Nord du Togo