Samuel Tronçon

Vers une pragmatique théorique basée sur la ludique et les continuations

2010-11-11T23:12:45Z

Le projet PRELUDE est financé par l'Agence Nationale de la Recherche (ANR), sur le programme ANR-Blanc. Quatre équipes y collaborent :

Logique de la Programmation, une équipe de recherche de l'Institut de Mathématiques de Luminy, UMR 6206 du CNRS, qui porte son étude sur la logique mathématique, la théorie de la démonstration et la théorie du calcul.
Calligramme, une équipe du centre de recherche INRIA, au LORIA de Nancy, dont le thème de recherche est l'utilisation de la logique linéaire et en particulier des réseaux de démonstration dans la modélisation des structures linguistiques.
SIGNES, une équipe du centre de recherche INRIA, au Laboratoire Bordelais de Recherche en Informatique, qui vise à réaliser et à articuler les modèles et les algorithmes correspondant aux différents niveaux d'étude et de traitement informatique de la langue, l'accent étant porté sur l'interface entre syntaxe et sémantique.
Structures Formelles du Langage, une équipe de l'Université de Paris VIII, dont les axes de recherche sont le développement d'une théorie minimaliste de la syntaxe et de la morphologie, les langues et la grammaire, l'acquisition des langues, la poétique et la métrique comparée.

L'objectif principal de PRELUDE est de développer une pragmatique de la théorie basée sur la ludique et les continuations.

Thèse

2008-11-21T17:50:57Z

J'ai effectué mon doctorat sous la codirection de Pierre LIVET (philosophe) et Jean-Yves GIRARD (mathématicien).

Pour ce travail, l'Institut de Mathématiques de Luminy a assuré mon accueil physique, et le Département de Philosophie de l'Université Aix-Marseille a financé mon allocation.

La soutenance a eu lieu en 2006 devant un jury composé de Michele ABRUSCI (philosophe, logicien), Gabriella CROCCO (philosophe), Jean-Yves GIRARD (mathématicien, logicien), Pierre LIVET (philosophe) et Frédéric NEF (philosophe).

J'ai obtenu la mention "très honorable, avec félicitations du jury". Une version révisée de ma thèse sera prochainement publiée aux Presses Universitaires (courant 2008).

Ma thèse de doctorat est une étude philosophique de la géométrie des démonstrations et de la théorie de l'interaction logique. Plus précisément ce travail était consacré à l'élaboration d'une phénoménologie des structures et des dynamiques dont la logique mathématique fait la description formelle. Mon but était d'évaluer le pouvoir expressif des théories récentes, en les remettant notamment dans le contexte épistémologique de leur développement. La finalité était de rendre envisageable la production de modèles conceptuels utiles aux sciences humaines. J'ai ainsi identifié plusieurs modèles de représentation qui m'ont amené à concevoir une approche différentielle et intégrée de la signification et de la formalisation. Ces modèles pourraient permettre de clarifier certaines conceptions et d'adapter des formalismes puissants grâce à une analyse en termes de processus cognitifs et d'interactions.

Structure porteuse

2008-11-22T15:47:00Z

Depuis 2002, Résurgences, structure de recherche-action en sciences sociales développe des actions d'insertion à destination des publics les plus touchés par la dégradation du marché du travail et des conditions sociales à Marseille. Depuis 2007, l'association participe activement à ce projet en développant la démarche d'évaluation, la démarche qualité-recherche, la professionnalisation de stagiaires psychologues. En 2008, Résurgences accueillera sa première thèse en cotutelle Université/Entreprise grâce à Jean-Claude Abric du département de psychologie sociale de l'Université d'Aix-Marseille.

Speech Acts with Ludics

2010-11-11T21:02:05Z

Abstract :
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.

Référence :
Marie-Renée Fleury and Samuel Tronçon. Speech Acts with Ludics. In Alain Lecomte and Samuel Tronçon. Games, dialogues and interactions. Springer, 2010.

Entrée BibTex :

@inproceedings{FT1, 
 author="Fleury, Marie-Renée and Tronçon, Samuel", title="Speech Acts with Ludics", booktitle="Games, dialogues and interactions", editor=Alain Lecomte and Samuel Tronçon", publisher="Springer", year="2010", 
 }

Ricercatore

2008-11-23T22:00:23Z

Affiliazione :
Laboratorio “Strutture Formali del linguaggio”
UMR 7023 CNRS / Paris 8 Université

Indirizzo postale :
Institut de Mathématiques de Luminy (UMR 6206)
Campus de Luminy, Case 907
13288 MARSEILLE Cedex 9

Corriere elettronico:
troncon [at] iml.univ-mrs.fr
stroncon [at] resurgences.eu

Researcher

2008-11-22T17:00:35Z

Affiliation :
“Formal Structures of Language” Laboratory
UMR 7023 CNRS / Paris 8 Université

Mail address :
Institut de Mathématiques de Luminy (UMR 6206)
Campus de Luminy, Case 907
13288 MARSEILLE Cedex 9

E-mail addresses :
troncon [at] iml.univ-mrs.fr
stroncon [at] resurgences.eu

Proofs Dynamics and Theory of Interactions

2009-09-22T16:32:00Z

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.

Reference:

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

BibTex entry:

@phdthesis{troncon-these, 
 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."
 }

Projet scientifique

2008-11-22T15:47:56Z

D'après plusieurs études, la mise-en-oeuvre des politiques d'insertion parait inefficace, ou peu efficace au regard de l'objectif qu'elle souhaite atteindre (Castra 2001 ; 2003). On remarque aussi, tant au niveau national que régional, que nombre d'organismes ont des difficultés à conceptualiser leur action, malgré une professionnalisation croissante des agents de l'insertion sociale. Le secteur de l'insertion souffre notamment d'une réévaluation perpétuelle de ses méthodes et de ses moyens, qui ne lui permet pas toujours de se positionner sur le long terme. Il s'agit alors de mieux cerner les enjeux, méthodes et pratiques de l'insertion. Il faut notamment développer une connaissance plus fine des bénéficiaires des mesures de lutte contre l'exclusion, et élaborer des méthodes transférables pour le travail social et l'insertion.

Position

2008-11-21T16:33:39Z

Position :
Chercheur
Directeur de Résurgences (Recherche et action en sciences sociales).

Affiliation universitaire :
Membre associé de l'Institut de Mathématiques de Luminy (UMR 6206).
Membre du groupe PRELUDE et du groupe LIGC.

PhD thesis

2008-11-22T16:05:20Z

I have done my PhD Thesis under the supervision of Pierre LIVET (philosopher) et Jean-Yves GIRARD (mathematician).

During this work, the Institute of Mathematics of Luminy was my laboratory, and I was employeed by the Department of Philosophy of the Aix-Marseille University.

I defended in 2006 before a jury composed of Michele ABRUSCI (philosopher, logician), Gabriella CROCCO (philosopher), Jean-Yves GIRARD (mathematician, logician), Pierre LIVET (philosopher) et Frédéric NEF (philosopher).

My defense has been received with honours “très honorables avec les félicitations”. A revised version of my dissertation will be published at the University Press during 2008.

This thesis is a philosophical study of the geometry of proofs and the theory of logical interaction. More precisely, this work was oriented toward a phenomenology of structures and dynamics which are formally presented in mathematical logic.

My aim was to evaluate the expressive power of recent theories, in the context of their development. The objective was the development of conceptual models useful in human sciences. I identified in this work several models about representation and developped a differential and integrate approach of meaning. These models could be useful for clarifying some conceptions and adapting powerful formalisms using concepts of interactions and cognitive processes.

Ouvrir la logique au monde

Jean-Baptiste Joinet — 2009-03-23T15:11:00Z

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.

Référence : Jean-Baptiste Joinet, Samuel Tronçon. Ouvrir la logique au monde. Philosophie et mathématique de l'interaction. Hermann, 2008.

Entrée BibTex :

@proceedings{joinet-troncon,
 editor="Joinet, Jean-Baptiste et Tronçon, Samuel", title="Ouvrir la logique au monde. Philosophie et mathématiques de l'interaction", publisher="Hermann", year="2009", city="Paris",
 }

Nouveaux médias

Administrateur — 2011-06-03T09:48:13Z

- 6. Communications

Modélisation, systèmes complexes

Administrateur — 2011-06-03T09:44:29Z

- 6. Communications

Logique mathématique, informatique théorique

Administrateur — 2011-06-03T11:34:38Z

- 6. Communications

Life of proofs

2008-02-16T14:07:00Z

We propose a conjecture in order to explore the possibilities of a theory of meaning which would not be founded on the sentencial analysis, nor on the objective references of sentences. This conjecture is permitted by recent advances in logic which allows us to conceive meaning as use, in a conventionnalist and holistic framework. The interest of this approach is dual : elaborating a conceptual model, and, founding communication and learning on a non-analytic base.

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

BibTex entry:

@inproceedings{troncon-viedespreuves, 
 Alphabeticalkey = {Tro}, Author = {Tronçon, Samuel}, Title = {La vie des preuves}, booktitle = {Actes du colloque "La vie, le temps"}, editor = {Heurtebise, Jean-Yves}, publisher= {Sens Public}, City = {Paris}, Year = {2007}, 
 }

Link : On-line version of the article (available in french)

La vie des preuves

2008-02-16T15:56:00Z

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.

Entrée BibTex :

@inproceedings{troncon-viedespreuves, 
 Alphabeticalkey = {Tro}, Author = {Tronçon, Samuel}, Title = {La vie des preuves}, booktitle = {Actes du colloque "La vie, le temps"}, editor = {Heurtebise, Jean-Yves}, publisher= {Sens Public}, City = {Paris}, Year = {2007}, 
 }

Lien : L'article en ligne

Interaction et signification

2007-09-21T14:58:00Z

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.

Référence :
Samuel Tronçon. Interaction et signification. In Jean-Baptiste Joinet (éd). Logique, dynamique et cognition, pages 147-171. Publications de la Sorbonne, 2007.

Entrée BibTex :

@inbook{troncon-inter, 
 Alphabeticalkey = {Tro}, Author = {Tronçon, Samuel}, Title = {Interaction et signification}, booktitle = {Logique, Dynamique, Cognition}, editor = {Joinet, Jean-Baptiste}, publisher= {Presses de la Sorbonne}, City = {Paris}, Year = {2007}, pages={147-171},
 }

Games, dialogues and interactions

2010-11-11T20:58:09Z

Abstract:

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.

Reference:

Alain Lecomte, Samuel Tronçon. Games, dialogues and interactions. Coll. Folli / LNCS. Springer, 2010..

BibTex entry:

@proceedings{LT1, 
 Alphabeticalkey = {Lec}, Author = {Lecomte, Alain, and Tronçon, Samuel}, Title = {Games, dialogues and interactions}, publisher="Springer", year="2010", collection="Folli / LNCS"
 }

Fondements de la logique moderne

2008-11-21T17:50:45Z

Partie I : L'analytique

Premier moment fondateur : la crise des fondements des mathématiques
— Les paradoxes de la théorie des ensembles
— Les géométries non-euclidiennes et la remise en cause de l'espace intuitif

La vision analytique de la signification logique
— Objets, concepts et fonctions
— Catégories et hiérarchies (la théorie des types)

La théorie de la vérité des langages formels

Sémantique de la logique formelle

Partie II : Le procédural

Second moment fondateur : de la complétude à l'incomplétude
— Théorème de complétude
— Théorèmes d'incomplétude

Visions procédurales des mathématiques
— Le constructivisme
— L'intuitionnisme de Brouwer et la critique de la logique classique

La sémantique des preuves et la BHK-interprétation

Déduction naturelle et calcul des séquents

Conclusion Vers l'interactionnisme et la théorie du calcul

edito

2010-11-12T17:08:12Z

Chercheur en philosophie, je m'intéresse à l'informatique, la logique mathématique et les sciences sociales. Mes travaux explorent les relations qui peuvent être établies entre ces trois domaines.

Depuis 2000, j'ai notamment collaboré avec Pierre Livet et Jean-Yves Girard, mes deux directeurs de thèse, ainsi que Michele Abrusci, Marie-Renée Fleury, Jean-Baptiste Joinet et Myriam Quatrini. Je suis membre fondateur du groupe LIGC (Logique et interaction : vers une géométrie de la cognition).

À partir de 2007, j'ai intégré le groupe de recherche créé par Alain Lecomte, qui a pour objet de développer de nouveaux modèles logiques et informatiques pour l'étude du langage. Je m'occupe notamment d'un axe d'études portant sur la modélisation de l'apprentissage de la langue des signes.

Depuis peu, je travaille avec Christophe Bruno, net-artiste français, sur la question du web 2.0 et de ses relations avec l'économie cognitive et l'évolution des concepts.

Chercheur dans le privé, j'assume aussi les fonctions de direction du groupement associatif qui m'emploie. Ce groupement a pour objet de créer des synergies entre le monde de la recherche, l'édition et la formation, sur la base d'un modèle émergent dans l'économie sociale et solidaire.

Le groupement emploie trente-cinq personnes, il est composé principalement de trois entreprises :

résurgences est une association de formation et d'insertion professionnelle spécialisée dans les métiers de l'édition et du web,
thenetlab.org est une équipe de recherche en sciences sociales et mathématiques appliquées,
accatone éditions, est une maison d'édition spécialisée dans l'édition scientifique et techniques.

edito

2011-01-17T11:44:00Z

Researcher in philosophy, I am interested in computing, mathematical logic and social sciences. My works explore the relations that can be established among these three areas.

Since 2000, I have notably collaborated with Pierre Livet and Jean-Yves Girard, my two Supervisors, as well as Michele Abrusci, Marie-Renée Fleury, Jean-Baptiste Joinet and Myriam Quatrini. I am one of the founding members of LIGC Group (Logic and interaction: towards cognitive geometry). From 2007, I have joined the research group created by Alain Lecomte, which purpose is to develop new logic and computer models for the study of language. I am particularly in charge of a study that focuses on modelling the learning of sign language.

I have recently started working with Christophe Bruno, a French net-artist, on the subject of Web 2.0 and its connections with the cognitive economy and evolution of concepts.

Researcher in the private sector, I am also Director of the associations group which employs me. This group aims at creating synergies among research, publishing and training worlds, based on an emerging model in social and solidarity economy. The Group employs 35 people and is composed of three main companies : Resurgence, a training and employment integration association, specialized in publishing and web; thenetlab.org, a research team specialized in social sciences and applied mathematics; Accatone Editions, a publisher specialized in scientific and technical publishing.

Dynamiques sociales

Administrateur — 2011-06-03T11:32:36Z

- 6. Communications

Dynamique du langage et ontologie

Frédéric Pascal — 2009-01-21T16:17:00Z

Nous proposons une conjecture qui vise à explorer les possibilités d'une théorie de la signiﬁcation 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 signiﬁcation 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.

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

2009-09-21T15:27:00Z

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.

Référence :

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

Entrée BibTex :

@phdthesis{troncon-these, 
 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."
 }

Dialogues in ludics

2010-11-11T21:08:04Z

Abstract :
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.

Référence :
Marie-Renée Fleury and Myriam Quatrini and Samuel Tronçon. Dialogues in ludics. In Sylvain Pogodalla, Myriam Quatrini and Christian Rétoré. Proceedings of the colloquium in honour of Alain Lecomte. To be published in 2011.

Entrée BibTex :

@inproceedings{FQT1, 
 author="Fleury, Marie-Renée and Quatrini, Myriam and Tronçon, Samuel", title="Dialogues in ludics", booktitle="Proceedings of the colloquium in honour of Alain Lecomte", editor="Sylvain Pogodalla, Myriam Quatrini and Christian Rétoré", notes="To be published in 2011.", 
 }

Contact

2010-11-12T01:18:06Z

Samuel Tronçon
Résurgences
111, rue Consolat
13001 MARSEILLE

Tél : (+33) (0)4.88.15.13.09

troncon@iml.univ-mrs.fr
stroncon@resurgences.eu

Éléments de sémiotique cognitive

2009-03-23T15:16:00Z

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.

Référence :
Samuel Tronçon. Éléments de sémiotique cognitive. In Jean-Baptiste Joinet et Samuel Tronçon. Ouvrir la logique au monde. Philosophie et mathématique de l'interaction. Hermann, 2009.

Entrée BibTex :

@inproceedings{troncon-elements, 
 author="Tronçon, Samuel", title="Éléments de sémiotique cognitive}, booktitle="Ouvrir la logique au monde. Philosophie et mathématique de l'interaction.", editor="Joinet, Jean-Baptiste et Tronçon, Samuel", publisher="Hermann", year="2009", 
 }

Artwar(e)

2010-11-12T12:54:42Z

ArtWar(e) is a platform for « artistic risk management » and « computer assisted curating ». It revisits art history, performative and relational artistic attitudes and curating practices, by using contemporary methods recycled from 2.0 marketing, post-marxist analysis, as well as new breakthroughs in mathematical logic. - 7. Projects

Années précédentes

2007-03-22T20:49:00Z

Année 2008-2009

:: Fondements de la logique moderne, Philosophie de la Logique, L3.
Avec Marc De Falco. Licence de Mathématiques, Université de la Méditerrannée.
:: Logique pour les sciences humaines, Philosophie de la Logique, L3.
Avec Thomas Seiller. Licence MASS, Université de la Méditerrannée.

Année 2007-2008

:: Syntaxe et sémantique : de la vérité aux preuves, Philosophie de la Logique, L3.
Avec Lionel Vaux. Licence de Mathématiques, Université de la Méditerrannée.
:: Logique pour les sciences humaines, Philosophie de la Logique, L3.
Avec Myriam Quatrini. Licence MASS, Université de la Méditerrannée.
:: TD de logique mathématique, Travaux dirigés du cours de Gabriella Crocco, L2.
Licence de Philosophie, Université de Provence.
:: TD de logique mathématique, Travaux dirigés du cours d'Alain Michel, L1.
Licence de Philosophie, Université de Provence.

Année 2006-2007

:: Syntaxe et sémantique : de la vérité aux preuves, Philosophie de la Logique, L3.
Avec Lionel Vaux. Licence de Mathématiques, Université de la Méditerrannée.
:: Logique et opérations cognitives, Philosophie de la Logique, L3.
Avec Myriam Quatrini. Licence MASS, Université de la Méditerrannée.
:: TD de logique mathématique, Travaux dirigés du cours d'Alain Michel, L1.
Licence de Philosophie, Université de Provence.

Année 2005-2006

:: Linguistique et philosophie du langage, Linguistique, L3.
Licence MASHS, Université de la Méditerrannée.
:: La question du fondement des mathématiques, Philosophie de la Logique, L3.
Avec Lionel Vaux. Licence de Mathématiques, Université de la Méditerrannée.
:: Logique et opérations cognitives, Philosophie de la Logique, L3.
Avec Myriam Quatrini. Licence MASHS, Université de la Méditerrannée.
:: TD de logique mathématique, Travaux dirigés du cours d'Alain Michel, L1.
Licence de Philosophie, Université de Provence.

>Année 2004-2005

:: Linguistique et philosophie du langage, Linguistique, L3.
Licence MASS, Université de la Méditerrannée.
:: La question du fondement des mathématiques, Philosophie de la Logique, L3.
Avec Pierre Hyvernat. Licence de Mathématiques, Université de la Méditerrannée.
:: Logique et opérations cognitives, Philosophie de la Logique, L3.
Avec Myriam Quatrini. Licence MASS, Université de la Méditerrannée.
:: TD de logique mathématique, Travaux dirigés du cours d'Alain Michel, L1.
Licence de Philosophie, Université de Provence.

Année 2003-2004

:: TD de logique mathématique, Travaux dirigés du cours d'Alain Michel, L1.
Licence de Philosophie, Université de Provence.
:: La question du fondement des mathématiques, Philosophie de la Logique, L3.
Avec Lionel Vaux. Licence de Mathématiques, Université de la Méditerrannée.

Année 2001-2002

:: Philosophie Générale, Classes de Terminale.
Sections L/ES/S, Institut Leschi.

Année 2000-2001

:: Philosophie Générale, Classes de Terminale.
Sections L/ES/S, Institut Leschi.

Aire de recherche

2008-11-22T15:45:20Z

Mon principal domaine de recherche est la philosophie de la logique, du langage et de la cognition. J'ai par ailleurs étudié la logique mathématique ainsi que les modèles logiques en sciences humaines, informatique théorique et théorie du langage.

J'ai ainsi identifié plusieurs modèles de représentation qui m'ont amené à concevoir une approche différentielle et intégrée de la signification et de la formalisation. Ces modèles pourraient permettre de clarifier certaines conceptions et d'adapter des formalismes puissants grâce à une analyse en termes de processus cognitifs et d'interactions.

Mon travail actuel s'articule donc autour de trois thématiques : l'ancrage cognitif de la signification et la théorie formelle de l'interaction l'épistémologie comparée des notions d'interaction, de processus et de dynamique l'application à l'étude des dynamiques linguistiques et normatives

Actions réalisées

2008-11-22T15:47:34Z

J'ai dirigé plusieurs actions avec Résurgences dans le cadre du projet AK :

:: 2007 ACI Publication et ACI Handimarseille Actions d'insertion de 24 mois cumulés, 24 postes bénéficiaires, 48 personnes, 530K€. Avec le soutien du FSE, DDTEFP, CUCS Marseille, CRPACA, CG13, Ville de Marseille.

:: 2005 ACI Publication et ACI Enquete-accessibilité Actions d'insertion de 18 mois cumulés, 22 postes bénéficiaires, 44 personnes, 470K€. Avec le soutien du FSE, DDTEFP, DSU Marseille, CRPACA, CG13, Ville de Marseille.

:: 2004 ACI Publication Action d'insertion de 12 mois, 16 postes bénéficiaires, 31 personnes, 290K€. Avec le soutien du FSE, DDTEFP, DSU Marseille, CRPACA, CG13, Ville de Marseille. Création d'une revue du témoignage urbain, basée sur des enquêtes menées par les bénéficiaires de l'action. Un sommaire intégral présente tous les contenus publés depuis 2003.

:: 2003 ACI akya-ahka Action d'insertion de 9 mois, 12 postes bénéficiaires, 22 personnes, 175K€. Avec le soutien de la DDTEFP, DDPJJ, DSU Marseille, CRPACA, CG13

Mathématiques appliquées aux sciences sociales

2009-09-30T11:25:00Z

- 6. Communications

3. Interactions sociales et normatives

2010-11-12T15:07:30Z

Modélisation de l'apprentissage de la langue des signes

Un terrain particulièrement propice à l'observation concernant le rôle de l'interaction dans l'apprentissage est celui de la Langue des Signes. Les études sur cette dernière se sont beaucoup développées dans les dix dernières années principalement autour de Christian Cuxac et de son équipe à Paris 8, basées sur des concepts de sémiotique plus que de linguistique au sens strict.

Les concepts classiques en linguistique comme celui de double articulation (phonème / morphème) ou bien ceux de la syntaxe (appliqués et applicables principalement aux langues configurationnelles) sont brouillés, voire absents lorsqu'on se penche sur la Langue des Signes. Il n'est pourtant pas question de prétendre que celle-ci se résume à un pur jeu de mime, où n'importe quel enchaînement de "tagmèmes" serait possible. S'il y a une syntaxe de la Langue des Signes, elle est dans un espace à trois dimensions et de ce fait ouvre un champ de possibles que n'ont pas les langues orales. L'apprentissage dans un tel contexte peut difficilement se ramener à la fixation de quelques paramètres données par une "Grammaire Universelle" : il s'agit en fait de régler une gestuelle largement iconique par interaction avec une autre gestuelle.

Sur cet axe, je collabore avec l'équipe de langue des signes (dirigée par Christian Cuxac) du Laboratoire Structures Formelles du Langage de Paris 8, sur l'observation in vivo d'interactions (séquences vidéo) et la fourniture attendue d'outils logiciels pour améliorer la détection et l'analyse des stratégies adoptées par des signants s'initiant à une nouvelle langue des signes.

J'ai notamment développé une maquette logicielle permettant de formaliser des situations de jeu entre partenaires dont les stratégies sont représentées par des arbres, dont les noeuds sont étiquetés, comme en ludique, par des listes d'actions possibles ou des attentes de telles listes en fonction du signe employé. Il en ressort des itinéraires privilégiés à l'intérieur de l'espace de toutes les séquences action-réaction possibles.

Etude de la communication en situation de conflit

En 2007, j'ai pu mener des observations sur les conflits d'entreprise ayant entraîné une procédure juridique non-judiciaire. J'ai alors procédé à de nombreux entretiens pour collecter des données. L'objet de l'observation était de comprendre la manière dont le conflit était né, les étapes de sa construction, les phases décisives ayant mené à son aggravation ou sa résolution. Le corpus était constitué par l'ensemble des documents écrits disponibles, ainsi que des commentaires des protagonistes en narration subjective.

Grâce à ce travail, nous avons pu observer en situation réelle quelques points de notre théorie. En effet, il est alors patent que la stratégie de chaque interlocuteur se base sur l'interprétation de l'intention qui prévaut à la stratégie de l'autre. On remarque aussi que, malgré les apparences, les intentions des interlocuteurs ne sont jamais manifestes et que les représentations ne sont pas congruentes même après la résolution du conflit. Nous en sommes venus à supposer que la différence entre situations conflictuelles et non-conflictuelles réside dans la manière dont l'interlocuteur se positionne et le type de schèmes d'interprétation qu'il utilise à l'égard de l'autre.

Je souhaite renouveller ce travail sous la forme d'une étude complète qui sera notamment reliée à mes travaux sur l'ancrage psychosocial de la signification. J'ai notamment un projet de collaboration avec Jean-Claude Abric (Psychologie Sociale) et Pierre-Yves Gilles (Psychologie du développement), qui a été engagé à l'occasion de l'intégration de plusieurs de leur(e)s étudiant(e)s sur les projets d'expérimentation sociale que j'ai dirigé chez Résurgences\footnoteJ'ai notamment participé à la formation de trois étudiantes en Master Professionnel, dans le cadre de stages pour l'obtention du titre de psychologue en entreprise (Peggy Asciak, Coralie Hana-Elias, Deborah Romain), et je participe à l'encadrement d'une thèse en entreprise sur les représentations sociales du travail chez les demandeurs d'emploi en insertion (dirigée par J-C. Abric)..

Etude longitudinale des interactions dans une entreprise d'insertion

Depuis près de dix ans, je collabore étroitement avec l'association Résurgences, dans laquelle j'ai réalisé plusieurs projets d'expérimentation sociale. Résurgences est aussi très impliquée dans le projet ANR 'LOCI' (voir section 5) en tant que partenaire privé du projet en collaboration notamment avec l'Université de Paris 8, l'Institut de Mathématiques de Luminy et le Queen Mary College (University of London).

J'y ai notamment mis en place tout l'infrastructure d'évaluation, de démarche qualité, de formation et d'encadrement. Cette infrastructure a plusieurs particularités qui en font un excellent objet d'étude. D'abord, l'organisation des différentes fonctions a été choisie pour faciliter leur coordination mutuelle. La fonction de production par exemple est entièrement intégrée à la fonction pédagogique, et inversement.

Ensuite, la démarche d'amélioration de la structure est entièrement intégrée à l'organisation grâce à une évaluation permanente de l'impact de l'organisation sur les parcours, sur la production et la mobilisation des salariés.

Enfin, cette organisation a aussi été pensée pour générer des données utiles pour la compréhension et l'évaluation de l'action. Ce qui permet aujourd'hui de pouvoir fournir plusieurs années de données exploitables.

Résurgences, structure de recherche et d'action en sciences sociales, met à disposition de mes recherches à venir ces données anonymisées. Le processus d'évaluation de l'organisation, placé sous ma responsabilité, est toujours en cours d'amélioration, ce qui laisse espérer une pérennisation et un renforcement de l'expérimentation. À ce titre, l'association envisage d'accueillir deux thèses qui porteront spécifiquement sur ces questions.

Au titre des expérimentations sociales, nous avons par exemple testé sur plusieurs années différentes organisations du travail, en comparant leur impact sur les salariés, le bien-être au travail, la réussite en termes d'insertion, en termes de qualification des salariés à la sortie du dispositif...

Au fil des ans, un mode organisationnel a ainsi été sélectionné qui permet une régulation permanente et équilibrée, en impliquant notamment dans la démarche d'amélioration et d'évaluation tous les salariés quel que soit leur niveau d'engagement, leur position hiérarchique et leur niveau de qualification.

Ce travail important n'a pour l'instant pas été formalisé. Mais par la quantité et la qualité des données récupérées, il est envisageable de les valoriser assez rapidement par la production d'une première étude de synthèse qui pourrait être produite dans les douze mois.

2. Les ancrages cognitifs de la signification

2010-11-12T15:11:39Z

Dans le cadre des groupes de recherche pluridisciplinaires auxquels je participe, j'ai axé une partie de mes recherches sur la question des ancrages cognitifs, psychologiques et sociaux de la signification. Les travaux de Bernard Teissier et Giuseppe Longo, sur la signification des concepts géométriques, ceux de Pierre Livet sur la signification des opérateurs logiques attestent du renouveau de cette réflexion dans un champ qui va des mathématiques à l'ontologie. Je m'intéresse, pour ma part, à la signification des langues naturelles et la théorie de la communication. Il s'agit notamment d'élaborer un cadre conceptuel tenant compte de l'interactivité des agents, pour rendre compte de la signification des actes linguistiques.

Cet axe tente de concilier la posture sémiotique issue des travaux de Saussure et de la tradition structuraliste en sciences humaines, avec les apports des sciences cognitives dans une perspective qui, tout en n'étant pas strictement computationnaliste, emprunte néanmoins à la logique des notions essentielles.

Nous partons du principe que la représentation s'organise autour de systèmes de symboles matériels, l'être humain ayant une tendance inconsciente à l'interprétation au moyen de symboles. Dans l'analyse des systèmes symboliques nous portons plus particulièrement notre attention sur le processus qui donne lieu à l'occurrence d'un symbole plutôt qu'au supposé contenu psychique ou à une prétendue référence externe censée lui donner son sens. Enfin, nous supposons que l'usage des systèmes symboliques structure l'esprit et que nous pouvons donc développer par ce moyen une étude dynamique et plastique de la construction de sens et de connaissance.

Afin de m'assurer de l'intérêt de cette démarche, j'ai d'aillleurs effectué des observations avec des psychologues entre 2005 et 2007 qui m'ont permis d'acquérir une connaissance de terrain dans le champ psychosocial.

Du point de vue théorique, j'ai d'abord élaboré des correspondances entre les grilles conceptuelles en théorie de la démonstration, théorie de la signification, théorie de la connaissance et théorie des types. Ces grilles, qui sont évidemment en perpétuelle amélioration, ont pour objectif de permettre une compréhension et une mise en relation plus aisée des différents concepts. Nous prenons comme point de départ l'isomorphisme de Curry-Howard, qui définit la correspondance entre preuves et programmes. Cet isomorphisme a permis un enrichissement mutuel des disciplines concernées (logique, mathématiques, informatique), et le développement de nouveaux champs de recherche à partir des années 1960.

Nous avons là un espace opératoire, fondé autour de la notion d'interaction entre processus, dont il s'agit ensuite de tirer un maximum d'interprétations et de liaisons conceptuelles.

Du point de vue conceptuel, je me suis concentré depuis 2006 autour de l'analyse des concepts de signification, de connaissance et d'information. Au cours de ma thèse, j'avais déjà identifié en sémantique formelle trois niveaux d'analyse pour la signification logique. Ces trois niveaux correspondent à la différence que l'on peut faire en logique entre une proposition (local), une démonstration de la proposition (fonctionnel), et l'interaction entre des démonstrations (relationnel). Je tente désormais de systématiser cette analyse pour concevoir un modèle complet, comme en rend compte le tableau ci-dessous :

	Connaissance	Signification	Information
Local	Accès	Attente	Inscription
Fonctionnel	Processus	Usage	Flux
Relationnel	Concurrence	Attraction	Intensité

1. Formalisation des interactions humaines et des actes de langage

2010-11-12T15:19:59Z

Depuis deux ans, j'ai développé une large partie de mon travail autour de la formalisation en ludique de situations pragmatiques [1].

Un des premiers travaux sur cet axe a été de développer une formalisation des situations de dialogue en ludique (voir [ST5]). Par ce moyen nous avons montré que la ludique est un cadre pertinent pour l'analyse et la formalisation des dialogues. Nous avons ensuite affiné nos méthodes pour enrichir le modèle, qui était au départ très formel. Nous avons choisi de nous focaliser sur le dialogue du fait de sa ressemblance structurelle et conceptuelle avec les interactions ludiques, mais aussi, dans l'idée d'une théorie pragmatique plus étendue que la simple formalisation des dialogues, du fait de la centralité du phénomène dialogique dans la constitution de l'intersubjectivité et de son rôle dans la théorie de la connaissance

La question logique de savoir comment s'établissent les connaissances est remplacée ici par celle de savoir comment l'exploration mutuelle des structures de justification permet d'établir des connaissances (vues comme des noyaux stables d'interaction).

Je me suis penché notamment sur la formalisation de situations conventionnelles (vente et achat, échange, dialogue téléphonique), sur la formalisation des stratagèmes de Schopenhauer et de quelques sophismes classiques. L'essentiel de l'analyse développée dans ce cadre porte sur la manière dont se réalisent les rencontres, et donc sur la forme que peut prendre chaque micro-interaction :

Dans la même optique, je travaille aussi sur la formalisation des actes de langage et l'extension de la théorie classique (voir [ST6]).

Nous définissons des actes de langage ludiques (ALL) comme une structure apte à remplir certains tests, et dont l'interaction produit une modification du contexte.

Ce modèle possède deux couches de représentation. La première, la plus primitive, est constituée par les interactions en contexte. Elle comprend donc les structures qui supportent l'acte de langage. La seconde, plus abstraite, est le résultat de catégorisations réalisées par les agents, sur la base des interactions réelles entre actes de langage et avec le contexte.

Cette double articulation ouvre la voie à la prise en compte du caractère relatif des actes en fonction de sa structure, du contexte et de l'observateur.

Ainsi, chaque type d'ALL correspond à une catégorie dans la couche abstraite, et chaque ALL d'un certain type est une structure appartenant à cette catégorie. Les ALL sont polymorphes. Ils sont insaturés en tant qu'unité dans la mesure où une structure d'ALL est en attente d'interaction : elle ne se définit qu'une fois insérée dans un contexte. Mais elle est saturée en tant que composition, au sens où elle est déterminée par sa structure, et notamment par les sous-structures qui la composent et qui peuvent appartenir à une catégorie particulière dans la couche abstraite. De fait, le modèle permet donc de rendre compte des différentes réalisations possibles d'une même structure, et donc de sa catégorisation, en fonction de l'épreuve qu'elle subit dans le contexte.

Le corps de l'acte de langage est bien sûr caractérisé par des pré-requis (), et des effets attendus (). Il est donc de la forme :

Un effet dans , une fois produit, peut être requis pour un autre acte et donc appartenir à . On a l'interaction suivante :

On définit ensuite la dynamique d'interaction entre actes de langage. Pour un acte de langage choisi dans la catégorie : si le contexte contient la structure , alors, l'interaction de avec le contexte converge vers . Sinon, l'interaction diverge

Ces formalisations connaissent pour l'instant une progression régulière et plutôt encourageante. Dans une perspective critique, il faut néanmoins reconnaître que les difficultés rencontrées sont encore nombreuses, et qu'elles rendent compte de l'étendue du travail qui reste à accomplir. Certaines sont liées à la nature même du travail de formalisation logique, d'autres à l'ambition spécifique de cette application.

Ces travaux comptent parmi les principaux résultats positifs du programme PRELUDE, projet conduit avec le soutien de l'Agence Nationale de la Recherche de 2006 à 2009 sous la direction d'Alain Lecomte. Ils constituent une partie importante du noyau dur constitué pour le projet LOCI proposé en ANR en 2010 (voir section 5).

[1] En collaboration notamment avec Myriam Quatrini et Marie-Renée Fleury.

Locativité et Interaction en Logique, Linguistique et Informatique

2010-11-11T23:11:33Z

Le projet LOCI s'organise autour de trois axes d'étude :

Enoncé, lexique et dialogue
Apprentissage et Interaction sociale
Communication Web et Ontologies

Le point commun à ces trois axes est la volonté de les traiter sous l'égide de trois concepts mis en avant dans l'approche ludique : Locativité, Procéduralité et Normativité.

Ces trois concepts sont particulièrement opérants dans le domaine de la vie des signes, qu'il s'agisse de la linguistique au sens classique, ou qu'il s'agisse de domaines plus vastes et peut-être encore insuffisamment connus comme les langages gestuels et la pragmatique (dialogues, actes de langage, règles sociales s'exprimant au travers du langage), voire des domaines connexes comme la communication web ou la théorie de l'argumentation. Ils seront mis à contribution à propos des trois axes de la manière suivante :

Enoncé, lexique, dialogue En remplaçant preuve par dess(e)in, l'approche ludique permet de bien mettre en évidence d'une part le processus de preuve lui-même et d'autre part le locus de la preuve, c'est-à-dire le lieu où elle s'enracine. En imaginant un réseau dense de lieux (une sorte de tissage), éventuellement occupant plusieurs dimensions (temporelles, spatiales, scripturales), on peut concevoir que certaines preuves, associées à des propositions, aient leur foyer en certains loci et mobilisent, par transfert, des preuves qui ont, originellement, leur foyer en d'autres lieux. Un énoncé a alors pour contenu sémantique un ensemble de desseins associés à des lieux, lesquels sont identifiables par les interactions qu'ils ont avec d'autres desseins (comme on a tenté de le montrer déjà dans le cadre du projet Prelude (cf. Lecomte & Quatrini, 09, Lecomte & Quatrini, à paraître). Il s'agira dans ce nouveau projet d'affiner cette conception en montrant qu'on peut y intégrer des descriptions des dimensions temporelles, aspectuelles et modales des énoncés (en particulier quant aux modalités épistémiques). On tentera également de revoir les concepts en usage dans les théories du discours classiques, comme la SDRT (N. Asher et al.) et de viser à articuler ces derniers autour de structures élémentaires de l'interaction, en tentant de faire l'économie du concept d'intention.

Apprentissage et Interaction Sociale Pour ce qui concerne l'apprentissage de la langue des signes, nous aurons accès à des séquences vidéo montrant comment un signant d'une langue des signes particulière acquiert les signes d'une autre langue. Les premiers travaux de S. Tronçon, qui utilisent un programme qu'il a élaboré permettant d'enregistrer et analyser les traces de ce genre de dialogues ont déjà permis, sur des simulations, de montrer des chemins, des chréodes dans un espace de possibles qui représentent des stratégies d'apprentissage mises en oeuvre par les apprenants. Résultat / produit escompté : des programmes permettent d'enregistrer et de synthétiser des interactions entre signants autour de l'acquisition d'une langue des signes particulière, qu'on pourra mettre à l'épreuve d'un corpus recueilli par l'équipe de langue des signes de Paris 8 (corpus réuni par Fanny Macé, doctorante)

Gestion du dialogue La recherche s'orientera vers les structures élémentaires de l'interaction. L'hypothèse est que le dialogue et l'interaction sociale sont guidés par de telles structures, où l'on peut retrouver les « comportements élémentaires » de J-Y. Girard. Cette hypothèse est complétée par celle de Pierre Livet concernant la production d'actes de parole en tant que réactions à des pannes passées (excuse) ou prévisibles (ordre, demande, promesse). Certains jeux de langage comme la sollicitation seront également étudiés à partir de corpus. Un corpus sera recueilli en milieu de formation (association « Résurgences » spécialisée dans les processus d'insertion et de réinsertion). Résultat escompté : des descriptions précises de corpus et la mise au point de techniques d'analyse des interactions sociales.

Communication Web et Ontologies Nous chercherons comment, autant pour les ontologies requises pour le web que pour les langages de programmation pour le web, l'approche dialogique est à l'oeuvre en offrant une modélisation plus apte à rendre compte de tous les phénomènes. Nous confronterons par ailleurs les modèles obtenus à ceux développés en linguistique et dans le cadre des interactions sociales. Il nous semble en effet que le web est un lieu idéal dans la mesure où il intègre naturellement le langage (comme moyen d'expression), la vie sociale (étant d'abord un lieu d'échanges entre personnes), et la machine (tant comme intermédiaire que comme artefact). Nous proposerons un cadre théorique adapté à la fois au web social et au web sémantique. Pour ce faire, la sémantique que nous considèrerons n'est pas fondée sur la théorie des ensembles, mais prend appui sur les données elles-mêmes, seul moyen de reconsidérer positivement le web social. Le cadre géométrique fourni par la logique linéaire permet d'envisager concrètement cette approche. Dans (Abrusci et al. à paraître), nous avons considéré un modèle spécifique d'espace cohérent dans lequel la relation de cohérence est défini explicitement par les relations fournies par les descriptions locales. Si le cadre des espaces cohérents permet de poser les principes d'une description interactive, il ne permet pas de rendre compte des localisations de ces descriptions. Nous proposons d'aborder plus directement l'ensemble des phénomènes au travers de la ludique et d'expliciter les opérations nécessaires. Résultat / produit escompté : la modélisation et le maquettage d'outils visant à produire des ontologies à partir du web. La modélisation et le maquettage de nouveaux outils pour la programmation web.

Le projet LOCI est financé par l'Agence Nationale de la Recherche (ANR), sur le programme ANR-Blanc. Six équipes y collaborent :

le laboratoire 'Structures Formelles du Langage" de l'Université de Paris VIII,
l'Institut de Mathématiques de Luminy (Aix-Marseille Université)
le Laboratoire d'Informatique de Paris-Nord
le Laboratoire Bordelais de Recherche en Informatique, équipe SIGNES,
l'Université Queen Mary de Londres,
Résurgences, recherche et action en sciences sociales