Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La littérature philosophique contemporaine à propos du libre arbitre est fortement axée sur la question de la compatibilité du libre arbitre et du déterminisme. D'un côté, les compatibilistes ne croient pas que le déterminisme constitue une menace pour le libre arbitre et développent des modèles qui sont compatibles avec la vérité du déterminisme. D'un autre côté, les libertarianistes admettent la menace que pose le déterminisme et développent des modèles indéterministes de libre arbitre. Ces deux grandes familles théoriques s'entendent sur une chose : le libre arbitre existe véritablement. Dans ce mémoire, je soutiendrai que ces deux approches sont dans l'erreur et qu'il faut plutôt adopter un scepticisme à propos du libre arbitre. Dans un premier temps, j'examinerai les différentes significations accordées à la notion de libre arbitre et je présenterai trois modèles parmi les plus respectés de la littérature : le modèle libertarianiste de Laura Ekstrom, le modèle compatibiliste de Harry Frankfurt et le modèle compatibiliste de John Martin Fischer et Mark Ravizza. Dans un deuxième temps, je soutiendrai que les compatibilistes ont tort de prétendre que le libre arbitre est compatible avec le déterminisme. Dans un troisième temps, je soutiendrai que les modèles libertarianistes sont invalides. Dans un quatrième temps, je plaiderai en faveur du modèle illusionniste de Saul Smi-lansky.

Le présent mémoire propose une reconstruction de la conception aristotélicienne de la liberté, la liberté étant comprise ici comme la capacité de poser des actions dont on est responsable, et ce dans le but d'identifier la position d'Aristote en regard du problème de la compatibilité de la liberté avec le déterminisme. La poursuite de cet objectif nous amène à étudier la théorie aristotélicienne de la responsabilité et le concept d'action volontaire qui s'y rattache, ce qui suppose en retour d'étudier la théorie aristotélicienne de la causalité et le concept de désir. Nous en venons à soutenir que la liberté se présente chez Aristote comme la puissance relative à l'action dont l'appartenance à un sujet dépend d'une disposition accidentelle de ce sujet et qu'elle apparaît tout à fait compatible avec le déterminisme, et ce même si, par ailleurs, Aristote ne souscrit pas à la thèse déterministe. Nous examinons aussi les fondements de la conception aristotélicienne de la liberté, fondements dont l'étude fait apparaître que le problème de la liberté se présente chez Aristote non pas comme un problème métaphysique, mais plutôt comme un problème politique relié à la question de la fonction des sanctions.

Le sujet de cette étude est la structure psychologique du libre arbitre chez Thomas d'Aquin. L'étude aura pour but de définir le concept de libre arbitre chez Thomas d'Aquin, en présentant les notions psychologiques nécessaires à l'établissement de cette définition. Pour saint Thomas, la liberté d'arbitre revient à l'acte du choix, qui est lui-même l'acte d'une puissance d'opération vitale de l'âme humaine, la volonté. Le premier chapitre du présent mémoire a pour fonction de définir ce qu'est l'âme humaine et comment elle accomplit ses opérations vitales. Le deuxième chapitre est consacré à la volonté et le troisième au libre arbitre. Nous défendrons l'idée que Thomas d'Aquin propose une conception forte et sans équivoque du libre arbitre, qui repose en dernière instance sur la nature préférentielle du choix.

En 1967, dans la revue Diogène, Roger Caillois écrivit un article sur le prestige et les problèmes du rêve. Il écrivit que, par le passé, dans un monde qui lui accordait un crédit démesuré, il y avait une correspondance entre le rêve et le sentiment quotidien que tout, même les choses les plus intimes, peut être éprouvé en commun. Mais l’intuition que plusieurs rêves se vérifient ou se contrôlent mutuellement était une manière de civiliser le rêve. Inversement, aujourd’hui, dans un monde où il n’est plus une source de pouvoir politique, où il ne constitue plus un témoignage authentique, considéré comme un phénomène étanche, rétif à tout partage, dont le rêveur seul peut se souvenir, le rêve porte cette nostalgie communautaire. La même année, Roger Bastide réfléchit à ce que serait une sociologie du rêve, une étude du rêve comme phénomène social. Il pensait que la sociologie ne s’intéressait qu’à l’homme éveillé, comme si l’homme endormi était un homme mort. Il se demandait si la sociologie pouvait ignorer cet homme couché et rêvant. Cette thèse se propose de penser le quotidien à partir de l’intuition de Roger Caillois, qui cherche moins à penser l’homme couché et rêvant que l’homme debout, dans son quotidien, son travail, sa famille, son rapport aux objets de tous les jours, empreinte à ce tiers de sa vie où il dort. Il ne s’agit cependant pas de faire l’interprétation de rêves, ou d’en tirer les contenus latents. Leur contenu n’est pas le terrain de cette thèse. Chaque fois, la visée est de savoir comment le rêve est-il vécu en tant que mythe, c’est-à-dire dans quelle mesure l’attention que le rêveur a prêtée à la structure étrange du rêve, ou à son contenu, a influencé sa relation à la communauté ; comment le phénomène du rêve est-il utilisé comme clef de lecture pour donner du sens à la quotidienneté de l’homme au sein de la société. En un mot : comment le rêve se déverse et contamine le réel. La magie et la métaphore seraient deux expressions de la manière dont le rêve se répand dans la vie quotidienne. La magie, comme lecture sociale des phénomènes dans lesquels la cause est sans relation apparente à la conséquence, cependant que les phénomènes étudiés ont une efficace propre : cette relation sans cause et qui pourtant rassemble deux termes distincts du paysage est l’un des fondements essentiels de la pensée symbolique. La métaphore, enfin, qui est l’expression littéraire et linguistique où deux symboles que rien de connecte cohabitent néanmoins harmonieusement, une stratégie de discours par laquelle le langage se dépouille de sa fonction de description directe pour accéder au niveau mythique. Cela est une proposition : alimenter une sociologie de l’homme éveillé, comme voulait l’appeler Bastide, qui ne rechigne pas à voir que « les états crépusculaires » et « la moitié obscure et sombre de l’homme prolongent le social », une sociologie qui ne peine pas à accepter que nombre des moteurs qui président aux comportement des sociétés humaines trouvent leur source dans les mêmes logiques saltatoires, ou acausales, en toutes les manières dénuées du lignage et des filiations déterministes, que l’on retrouve dans le rêve, dans la magie et dans la métaphore. Une sociologie qui s’autorise à penser que le lien social visible, quotidien, structurant des civilisations, puisse être atteint par une transformation profonde de la manière dont nous envisageons le lien en général. Une sociologie qui se propose de questionner l’inconséquence de l’invisible. / In 1967, in the review Diogène, Roger Caillois wrote an article on the prestige and the problems of dreams. He wrote that, in the past, in a world where dreams had excessive credit, there was a connection between the act of dreaming and the everyday feeling that all things, even intimate ones, could be experienced collectively. Yet, quite ironically, the intuition that dreams could cross-verify, or control one another, acted as a way to civilise them. Conversely, nowadays, in a world where they are no longer source of political power, where they can’t be taken as authentic testimonies, where they are considered impervious phenomena, reticent to be shared, dreams carry a sort of community nostalgia. On the same year, Roger Bastide gave a thought about what a sociology of dreams would be. A study of dreams as social phenomena. He thought that sociology had only interest for the awaken Man, as if the Man asleep were a dead man. He wondered how sociology could ignore this lying, dreaming man. The present thesis offers a framework to think the everyday life through this intuition of Roger Caillois. Consider Men in society not as occasional lying, dreaming bodies. But look at the structures of work, family, and the realm of objects throughout the ways this third of our life we spend sleeping affect them. The interpretation of dreams is not the subject of this thesis, nor is the “latent contents” they might hold. Our purpose is to find out how dreams are experienced and lived as myths. That is to wonder: to which extend the attention given by the dreamer to the weird structure of his dreams, or to its content, have positively influenced his relationship to the community. How does the phenomenon of dreaming can be used as a key to read and make sense out of the everyday life of Men in society. In a word: how dreams overflow and contaminate reality. Magic and the metaphors could be two expressions of this contamination. Magic as a social interpretation of phenomena in which causes remain in seemingly decorrelation with their consequences, whereas the studied phenomena have an effectiveness of their own. This relationship without determinism which yet connect two distinct terms is an essential core of symbolical thinking. The metaphor, finally, the literary and linguistic expression where two symbols that nothing links, nevertheless cohabit harmoniously. A strategy of discourse through which language strips of of its descriptive function, to reach a mythical aspect. This would be the thesis: contribute to a sociology of the awaken Man, as Bastide wanted to call it. A human science which wouldn’t turn its back to the fact that “twilight states of mind” and “an obscure, sombre, half of Man extends the social life”. A sociology that wouldn’t disregard the many drivers of humain societies relying on saltatory logics, indirect causality, and all the human ways escaping determinism, all of which could be found in dreams magic and the metaphor. A sociology which would consider that the invisible, everyday link that structures civilisations, could benefit from an inquiry on the very way we think of the social link in general. A sociology which would question the inconsequence of what is not visible.

Cette recherche vise à élaborer une théorie de la pratique et une philosophie morale qui n’accorderaient aucune réalité à des possibles ou à des virtualités. Si l’inspiration bourdieusienne hante notre propos, c’est à partir de Spinoza que nous tentons dans un premier temps de construire un concept de disposition qui soit débarrassé de toute connotation indéterministe en référant les dispositions à des états de corps actuels et en clarifiant le sens de la notion, trop souvent confondue avec d’autres (aptitude, capacité, habitus). Nous montrons dans une deuxième partie que l’incorporation de l’extériorité dans des dispositions actuelles s’accompagne, conformément à la philosophie spinoziste, d’un effort nécessaire et déterminé pour accomplir aussitôt ce que l’agent est condamné à accomplir. La disposition désigne une puissance qui va au bout de ce qu’elle peut, abstraction faite de contrariétés internes ou externes. Si la puissance d’agir peut augmenter ou diminuer, l’effort ne peut être qu’aidé ou contrarié. L’agent est un automate, mais un automate qui s’efforce d’effectuer de gré et nécessairement ce qu’il est forcé d’effectuer, même s’il s’avère que c’est pour le pire. Cela nous conduit dans une troisième partie à contester les interprétations de la philosophie pratique spinoziste en terme d’aliénation. Nous montrons aussi que l’intellectualisme spinoziste doit être largement redéfini, la libération ne pouvant s’effectuer sans compter sur les « dispositions du dehors », y compris l’imagination d’un progrès possible. Enfin, si l’agent automate se signale par la grande inconstance de ses dispositions, il faut le disposer à agir dans un sens favorable à la raison. Le fonctionnement de l’État doit reposer sur la seule mécanique des institutions, puisqu’il est acquis qu’on ne peut vraiment compter sur personne. / This research aims at developing a theory of practice and a moral philosophy that leaves no place for what is merely possible and virtual. While inspired by the sociology of Bourdieu, I first draw on Spinoza to develop a concept of disposition that is freed of all indeterminist connotations by referring dispositions to actual states of the body so as to clarify the meaning of the term, which is so often confused with concepts such as aptitude, capacity, habitus. In the second part of this work, I show that the incorporation of the exteriority comes with the necessary effort to immediately accomplish what the agent is condemned to accomplish. « Disposition » refers to a power that sees through to the end what it can, notwithstanding internal and external impediments. If the power to act increases or diminishes, effort itself can only be helped or hindered. Thus, the agent is an automaton, but one that willingly strives to do what it is compelled to do, even if it is for the worst. Consequently, in the third part, I contest interpretations that relate human bondage in Spinoza’s ethics to alienation. I argue that Spinoza’s intellectualism must be redefined : emancipation cannot occur without relying on the dispositions we receive from the common order of Nature, including imagining possible progress. Finally, although the automaton is characterized by the inconstancy of his dispositions, he has to be disposed in a way that is favorable to reason. The workings of the state should rest solely on the mechanism of the institutions, as it has been established that we really cannot rely upon anyone.

L'étude de programmes probabilistes intéresse plusieurs domaines de l'informatique : les réseaux, l'embarqué, ou encore la compilation optimisée. C'est tâche malaisée, en raison de l'indécidabilité des propriétés sur les programmes déterministes à états infinis, en plus des difficultés provenant des aspects probabilistes.<br /><br />Dans cette thèse, nous proposons un langage de formules permettant de spécifier des propriétés de traces de systèmes de transition probabilistes et non-déterministes, englobant celles spécifiables par des automates de Büchi déterministes. Ces propriétés sont en général indécidables sur des processus infinis.<br /><br />Ce langage a à la fois une sémantique concrète en termes d'ensembles de traces et une sémantique abstraite en termes de fonctions mesurables. Nous appliquons ensuite des techniques d'interprétation abstraite pour calculer un majorant de la probabilité dans le pire cas de la propriété étudiée et donnons une amélioration de cette technique lorsque l'espace d'états est partitionné, par exemple selon les points de programme. Nous proposons deux domaines abstraits convenant pour cette analyse, l'un paramétré par un domaine abstrait non probabiliste, l'autre modélisant les gaussiennes étendues.<br /><br />Il est également possible d'obtenir de tels majorants par des calculs propageant les mesures de probabilité en avant. Nous donnons une méthode d'interprétation abstraite pour analyser une classe de formules de cette façon et proposons deux domaines abstraits adaptés à ce type d'analyse, l'un paramétré par un domaine abstrait non probabiliste, l'autre modélisant les queues sous-exponentielles. Ce dernier permet de prouver la terminaison probabiliste de programmes.<br /><br />Les méthodes décrites ci-dessus sont symboliques et ne tirent pas parti des propriétés statistiques des probabilités. Nous proposons d'autre part une méthode de Monte-Carlo abstrait, utilisant des interpréteurs abstraits randomisés.

Avec l'évolution des machines parallèles, le besoin en protocole de tolérance aux fautes devient de plus en plus important. Les protocoles de tolérance aux fautes existants ne sont pas adaptés à ces architectures car soit ils forcent un redémarrage global (protocoles de sauvegarde de points de reprise coordonnés) soit ils forcent l'enregistrement de tous les messages (protocoles à enregistrement de messages). Nous avons étudié les caractéristiques des protocoles existants. Dans un premier temps, nous avons étudié le déterminisme des applications, étant donné que les protocoles existants supposent des exécutions non déterministes ou déterministes par morceaux. Dans notre étude, nous nous sommes intéressés au modèle par échange de messages, et plus précisément aux applications MPI. Nous avons analysé 26 applications MPI et avons mis avant une nouvelle caractéristique appelée "déterminisme des émissions" qui correspond à la majorité des applications étudiées. Dans un second temps, nous nous sommes intéressés aux schémas de communications des applications afin d'étudier l'existence des groupes de processus dans ces schémas. L'étude a montré que pour la plupart des applications, il est possible de créer des groupes de processus de façon à minimiser la taille des groupes et le volume des messages inter-groupe. A partir de là nous avons proposé deux protocoles de tolérance aux fautes. Le premier est un protocole de sauvegarde de points de reprise non coordonnés pour les applications à émissions déterministes qui évite l'effet domino en n'enregistrant qu'un sous ensemble des messages de l'application. Nous avons également adapté le protocole pour l'utiliser sur des groupes de processus. Par la suite, nous avons proposé HydEE, un protocole hiérarchique fondé sur le déterminisme des émissions et les groupes de processus. Il combine un protocole de sauvegarde de points de reprise coordonnés au sein des groupes à un protocole à enregistrement de messages entre les groupes.

L'objectif de cette thèse est de concevoir un calcul d'objets permettant d'écrire des applications parallèles et distribuées, en particulier dans un cadre à grande échelle, tout en assurant de bonnes propriétés. Le calcul proposé s'intitule ASP : Asynchronous Sequential Processes. Les principales caractéristiques de ce calcul sont : des communications asynchrones, la présence de futurs et une exécution séquentielle dans chacun des processus. Ce calcul exhibe de fortes propriétés de confluence et de déterminisme. Cette thèse a donc aussi pour objectif de prouver de telles propriétés dans un cadre aussi général que possible. ASP est basé sur une répartition des objets en différentes activités disjointes. Une activité est un ensemble d'objets gérés par un unique processus. Les objets actifs sont des objets accessibles par des références globales/distantes. Ils communiquent à travers des appels de méthodes asynchrones avec un mécanisme de futurs. Un futur est une référence globale désignant un résultat qui n'est pas encore calculé. Cette thèse modélise ces différents aspects, leurs principales propriétés et les conséquences de ces mécanismes sur la notion de comportement déterministe des programmes. Le résultat principal consiste en une propriété de confluence et son application à l'identification d'un ensemble de programmes se comportant de façon déterministe. Du point de vue pratique, ASP peut aussi être considéré comme une modélisation de la librairie ProActive. Cette librairie fournit des outils pour développer des applications parallèles et distribuées en Java.

Dans un premier temps, nous avons analysé les conceptions de 275 enseignants tunisiens et identifié en quoi certaines de ces conceptions pourraient être des obstacles aux apprentissages. Une conception anatomisante du cerveau pourrait s'opposer à sa conception en termes de réseaux neuronaux. Mettre le cerveau aux commandes de tout le corps, avec un relent de dualisme corps esprit, empêche de penser son épigenèse et sa construction en fonction de son activité propre ; il en est de même pour une conception d'un déterminisme purement génétique ou purement environnementale de nos comportements. Jusqu'à quel point ces obstacles ne dépendent-ils que d'un manque de connaissances, en particulier sur les réseaux neuronaux et l'épigenèse cérébrale ? Pour répondre à cette question, nous avons analysé les conceptions d'élèves (1an avant le bac) et d'enseignants (inscrits en DEA didactique ou autres) avant et après un enseignement sur l'épigenèse (trois situations d'enseignement, dont une en visioconférence). Les résultats de cette seconde partie de la thèse confirment que ces conceptions peuvent évoluer à la suite d'un enseignement.