UMR STL 8163; UFR de philosophie

Études réunies et présentées par Déborah Lévy-Bertherat et Françoise Zamour
En dépit des apparences et des clichés, il se pourrait que les filles, depuis le début du XIXe siècle et plus encore récemment, subvertissent largement les stéréotypes et, supplantant les garçons dans les rôles épiques, ques­tionnent jusqu’à la notion de genre. Leurs épopées littéraires, graphiques, ludiques, font triompher l’imagination et consacrent la puissance de l’esprit d’aventure

Ce colloque international s'inscrit dans le cadre d'une coopération scientifique internationale autour des enjeux contemporains de la « biopolitique ». Il s'agit, lors de ces rencontres à Lille les 2 et 3 octobre 2019, de lancer un programme de recherche ambitieux, impliquant notamment des chercheurs français, brésiliens, italiens, argentins. v Le programme de recherche « Vie, Violence, Pouvoir » (ViiP) a pour point de départ l'hypothèse du biopouvoir telle qu'elle est formulée par Foucault au milieu des années 1970. Il s'agit à la fois d'explorer les présupposés qui soutiennent cette hypothèse afin d'en restituer la généalogie interne et de les confronter à ses propres héritages ainsi qu'aux questionnements contemporains qui permettent d'en évaluer l'actualité, la pertinence et peut-être aussi les limites et les nécessaires reformulations. Ce programme de travail comporte trois axes principaux. Un premier axe concerne la multiplication et la diversification des dispositifs de contrôle des corps (corps individuel et corps-espèce) qui se déploient au point de croisement d'une médicalisation du social et d'une régulation du sexuel. Il convient ainsi d'interroger aussi bien les formes historiques prises par ces modes de gestion du vivant humain et leur concentration sur la dimension de la sexualité que les nouvelles normes du vivant qui organisent et distribuent la multiplicité des corps en vue de prévenir les risques d'une déviance ou d'une dégénérescence et d'assurer une certaine normalisation des conduites. Un deuxième axe se concentre alors sur le paradoxe d'un pouvoir sur la vie qui s'exerce d'autant plus efficacement qu'il produit le rejet violent ou même l'anéantissement de certaines vies, jugées indignes d'être vécues. Pour interroger ce rapport entre biopolitique et nécropolitique, au coeur de l'histoire du « racisme » d'État mais aussi des politiques migratoires contemporaines, il convient d'une part de restituer les logiques d'exclusion qui le soutiennent, d'autre part de nouer la construction d'identités négatives aux formes de vulnérabilité dont elles procèdent. Au coeur du questionnement se trouve alors la réalité de ces vies vulnérables, qui se trouvent potentiellement exposées à l'exercice d'une violence directe ou indirecte, mais aussi à la souffrance sociale d'un déni de reconnaissance. Le troisième axe du programme « ViiP » envisage les modalités d'une résistance à ces formes de vulnérabilité qui font obstacle à l'expression d'une vie bonne, bénéficiant d'une reconnaissance sociale de sa valeur et de son autonomie. Le questionnement proposé concerne notamment le rapport entre résistance, violence et émancipation. Peut-on penser la résistance sans la violence ? Et indépendamment de la visée normative d'une reconnaissance qui est l'objet d'une lutte et qui mérite elle-même d'être définie dans ses contenus pour mieux être assumée ?

The project of this paper is to represent research agendas and questions as introduced by Olsson in a constructive type-theoretical approach, introduced by Martin-Löf. Constructive type theory has traditionally not been closely associated with belief revision, but since it has an established difference between proved propositions and assumptions it seems to handle the difference between knowledge and belief well.

My project is to interpret questions in constructive type theory ( CTT). I will do this by introducing three new operators. The first operator is an exclusive disjunction, that has the form of questions for Olsson. The second operator is an inquiry operator that contains the demanding aspect of a question. This operator is actually three distinct operators, one that demands a type declaration, one that demands a new assumption and one that demands a definition. I will also introduce an answer operator for each of the inquiry operators. The answer operator is not found in Olsson's work, but it is introduced in order to distinguish between inquiries that are answered and inquiries that are unanswered. I will represent a research agenda, simply as a collection of unanswered inquiries. The representation of questions, inquiries, answers and research agendas in CTT is my contribution to the existing literature on the topic.