La logique et les logiques : la question du pluralisme

Partant des travaux séminaux de Boole, Frege et Russell, le mémoire cherche à clarifier l‟enjeu du pluralisme logique à l‟ère de la prolifération des logiques non-classiques et des développements en informatique théorique et en théorie des preuves. Deux chapitres plus « historiques » sont à l‟ordre du jour : (1) le premier chapitre articule l‟absolutisme de Frege et Russell en prenant soin de montrer comment il exclut la possibilité d‟envisager des structures et des logiques alternatives; (2) le quatrième chapitre expose le chemin qui mena Carnap à l‟adoption de la méthode syntaxique et du principe de tolérance, pour ensuite dégager l‟instrumentalisme carnapien en philosophie de la Logique et des mathématiques. Passant par l‟analyse d‟une interprétation intuitive de la logique linéaire, le deuxième chapitre se tourne ensuite vers l‟établissement d‟une forme logico-mathématique de pluralisme logique à l‟aide de la théorie des relations d‟ordre et la théorie des catégories. Le troisième chapitre délimite le terrain de jeu des positions entourant le débat entre monisme et pluralisme puis offre un argument contre la thèse qui veut que le conflit entre logiques rivales soit apparent, le tout grâce à l‟utilisation du point de vue des logiques sous-structurelles. Enfin, le cinquième chapitre démontre que chacune des trois grandes approches au concept de conséquence logique (modèle-théorétique, preuve-théorétique et dialogique) forme un cadre suffisamment général pour établir un pluralisme. Bref, le mémoire est une défense du pluralisme logique.

Le phénomène d’influence entre pairs : observation des interactions sociales à l’intérieur de groupes d’entraînement aux habiletés sociales impliquant des élèves ayant des troubles du comportement et des pairs aidants sans trouble du comportement

Récemment, un nombre grandissant de jeunes ayant des troubles du comportement ont été intégrés dans les classes régulières. Afin de soutenir cette intégration, plusieurs programmes d’intervention ont émergé et été implantés dans les écoles québécoises. Parmi ces programmes, on retrouve le programme l’Allié, qui se distingue des autres, notamment, par l’utilisation de pairs aidants. Ce cadre d’intervention prometteur soulève cependant certains questionnements sur la possibilité d’influence négative entre les jeunes. L’objectif de l’étude est de décrire, dans une approche comportementale, le processus d'influence entre pairs. Une méthodologie d’observation systématique des interactions sociales est privilégiée. Les résultats indiquent qu’il n’y a pas eu d’influence négative dans les groupes l’Allié. Les comportements perturbateurs ont eu plus de chances de cesser lorsque les participants les ont ignorés, que lorsque les pairs ont réagi à ces comportements. L’ignorance intentionnelle d’un comportement semble donc constituer un processus d’influence important dans les groupes de jeunes.

L’écosystème des crimes de bars de danse érotique québécois

Il existe des associations entre les bars de danse érotique et les activités illicites, dans les écrits journalistiques et scientifiques. Nous avons vérifié ces associations en menant une description des crimes et déviances associés aux bars de danse érotique. Puis, nous avons tenté d’expliquer l’organisation et la structure de ces crimes, en nous appuyant sur l’approche du crime organisant et la théorie de l’écosystème du crime, de Felson (2006). Des entretiens semi-dirigés ont été conduits avec dix femmes danseuses, une femme shooter girl, un propriétaire, un portier et deux clients. Une analyse thématique à deux niveaux a montré que les délits se rapportent aux stupéfiants, à la prostitution, au proxénétisme, aux déviances, et à divers actes de violence. Des distinctions importantes, quant au contrôle selon les établissements sont notées. La structure et l’organisation des crimes peuvent s’expliquer par une logique propre aux relations symbiotiques et interdépendantes, tel que le suggère la théorie de l’écosystème du crime de Felson. Ainsi, la structure des délits peut prendre une forme mutualiste ou parasitaire. L’interrelation propre au neutralisme explique l’organisation générale de ces délits. Le milieu criminogène de la danse érotique offre de multiples opportunités, qui seront saisies par les acteurs motivés, en vue de réaliser un bénéfice personnel. Deux constats étonnants : les données suggèrent que l’implication des organisations criminelles est relativement limitée; et les conséquences occasionnées par les activités du milieu présentent un caractère inquiétant, particulièrement pour les femmes. Des efforts en matière de prévention situationnelle seraient appropriés pour réduire les opportunités.

Impact de l'agroenvironnement sur la qualité microbiologique des eaux récréatives dans une perspective de santé publique

La pollution microbienne des eaux récréatives peut engendrer un risque pour la santé des populations exposées. La contamination fécale de ces eaux représente une composante importante de ce risque, notamment par la présence possible d’agents pathogènes et par l’exposition à des micro-organismes résistants aux antimicrobiens. Les sources de pollution fécale sont multiples et incluent entre autres les activités agricoles et les productions animales. Ce projet visait donc à mieux comprendre les facteurs influençant la qualité microbiologique des eaux récréatives du Québec méridional, en ciblant le rôle possible des activités agricoles, ainsi qu`à proposer et évaluer de nouvelles sources de données pouvant contribuer à l’identification de ces facteurs. Dans un premier temps, une évaluation de la présence d’Escherichia coli résistants aux antimicrobiens dans les eaux récréatives à l’étude a été effectuée. À la lumière des résultats de cette première étude, ces eaux représenteraient une source de micro-organismes résistants aux antimicrobiens pour les personnes pratiquant des activités aquatiques, mais l’impact en santé publique d’une telle exposition demeure à déterminer. Les déterminants agroenvironnementaux associés à la présence de micro-organismes résistants aux antimicrobiens ont par la suite été explorés. Les résultats de ce chapitre suggèrent que les activités agricoles, et plus spécifiquement l’épandage de fumier liquide, seraient reliées à la contamination des eaux récréatives par des bactéries résistantes aux antimicrobiens. Le chapitre suivant visait à identifier des déterminants agroenvironnementaux temps-indépendants d’importance associés à la contamination fécale des eaux à l’étude. Différentes variables, regroupées en trois classes (activités agricoles, humaines et caractéristiques géohydrologiques), ont été explorées à travers un modèle de régression logistique multivarié. Il en est ressorti que les eaux récréatives ayant des sites de productions de ruminants à proximité, et en particulier à l’intérieur d’un rayon de 2 km, possédaient un risque plus élevé de contamination fécale. Une association positive a également été notée entre le niveau de contamination fécale et le fait que les plages soient situées à l’intérieur d’une zone urbaine. Cette composante nous permet donc de conclure qu’en regard à la santé publique, les eaux récréatives pourraient être contaminées par des sources de pollution fécale tant animales qu’humaines, et que celles-ci pourraient représenter un risque pour la santé des utilisateurs. Pour terminer, un modèle de régression logistique construit à l’aide de données issues de la télédétection et mettant en association un groupe de déterminants agroenvironnementaux et la contamination fécale des eaux récréatives a été mis au point. Ce chapitre visait à évaluer l’utilité de telles données dans l’identification de ces déterminants, de même qu`à discuter des avantages et contraintes associées à leur emploi dans le contexte de la surveillance de la qualité microbiologique des eaux récréatives. À travers cette étude, des associations positives ont été mises en évidence entre le niveau de contamination fécale des eaux et la superficie des terres agricoles adjacentes, de même qu’avec la présence de surfaces imperméables. Les données issues des images d’observation de la Terre pourraient donc constituer une valeur ajoutée pour les programmes de suivi de la qualité microbiologique de ces eaux en permettant une surveillance des déterminants y étant associés.

Sur la répartition des unités dans les corps quadratiques réels

Ce mémoire s'emploie à étudier les corps quadratiques réels ainsi qu'un élément particulier de tels corps quadratiques réels : l'unité fondamentale. Pour ce faire, le mémoire commence par présenter le plus clairement possible les connaissances sur différents sujets qui sont essentiels à la compréhension des calculs et des résultats de ma recherche. On introduit d'abord les corps quadratiques ainsi que l'anneau de ses entiers algébriques et on décrit ses unités. On parle ensuite des fractions continues puisqu'elles se retrouvent dans un algorithme de calcul de l'unité fondamentale. On traite ensuite des formes binaires quadratiques et de la formule du nombre de classes de Dirichlet, laquelle fait intervenir l'unité fondamentale en fonction d'autres variables. Une fois cette tâche accomplie, on présente nos calculs et nos résultats. Notre recherche concerne la répartition des unités fondamentales des corps quadratiques réels, la répartition des unités des corps quadratiques réels et les moments du logarithme de l'unité fondamentale. (Le logarithme de l'unité fondamentale est appelé le régulateur.)

La logique déontique : une application de la logique à l'éthique et au discours juridique

Cet ouvrage a été rédigé en LaTeX, ce qui permet d'atteindre directement certaines sections, notes ou références bibliographiques par le biais des hyperliens.

La dynamique actorielle dans la construction des espaces périurbains : les cas de Montpellier (France) et de Montréal (Québec)

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Conception et réalisation d'un nouveau répertoire terminologique et documentaire unifié : le terminaire ou thésaurus TERMDOC des documents professionnels de correspondance

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Étude de la résistance des sous-types non-B du VIH-1 aux antirétroviraux au Mali

Nous avons effectué ce travail afin d’évaluer l’impact d’une utilisation accrue des antirétroviraux (ARV) sur l’émergence de la résistance dans le cadre d’une cohorte de sujets infectés par le VIH-1, enrôlés au Mali pour recevoir la thérapie antirétrovirale. La première partie de ce travail a évalué la résistance primaire auprès de 101 sujets naïfs aux ARV. Cette étude a démontré que la majorité des sujets (71,3%) étaient infectés par le sous-type CRF02_AG. La prévalence de la résistance primaire était de 9,9%. Ce chiffre dépasse largement la moyenne de 5,5% observée dans les pays en développement et le seuil des 5% fixé par l’OMS dans le cadre de la surveillance de la résistance. Les mutations associées aux analogues de la thymidine ou « Thymidine-associated Mutations » (TAMs): M41L, D67N, L210W, T215A/Y, K219E liées à la résistance aux inhibiteurs nucléosidiques de la transcriptase inverse (INTI) ainsi que les mutations K103N, V108I, V179E et Y181C impliquées dans la résistance aux inhibiteurs non nucléosidiques de la transcriptase inverse (INNTI) étaient majoritairement observées. Ces mutations sont compatibles avec les régimes de traitement de première ligne utilisés au Mali, composés de stavudine/lamivudine/nevirapine. Nous n’avons pas trouvé de mutations majeures aux inhibiteurs de protéase (IP), probablement du fait que cette classe d’ARV est rarement utilisée au Mali. Cependant plusieurs polymorphismes au niveau du gène de la protéase, particulièrement L10I et L10V ont été observés à une fréquence très élevée (18,80%). Compte tenu de ces premiers résultats, une suite logique de ce travail était de savoir comment des souches de sous-type CRF02_AG évolueraient sous la pression de sélection des ARV. Nous avons abordé ces questions dans une étude de cohorte de 132 sujets infectés majoritairement avec le sous-type CRF02_AG débutant une thérapie de première ligne. Nos résultats suggèrent que la présence de mutation de résistance primaire pourrait avoir un effet sur l’efficacité du traitement. Par exemple, la présence d’une seule mutation INNTI avant traitement comme K103N ou V179E était suffisante pour mener à l’échec au traitement (charge virale supérieure à 400 copies/ml). Par ailleurs, nous avons effectué des expériences in vitro pour mieux évaluer l’impact du polymorphisme L10I/V chez le sous-type CRF02_AG. Il faut savoir que le rôle de ce polymorphisme reste incertain chez le sous-type CRF02_AG, car aucune étude in vitro n’avait été réalisée auparavant. Nos résultats indiquent chez le sous-type sauvage CRF02_AGwt_10L une légère augmentation de la concentration inhibitrice 50% (IC50) pour le darunavir, le lopinavir et le nelfinavir comparativement au sous-type de référence B HXB2_10L avec respectivement un « Fold Change » (FC) de 1,2, 1,3 et 1,5. Cette augmentation est plus importante pour le lopinavir avec un FC (1,3) très proche de son seuil biologique (1,6). Comparativement au type sauvage CRF02_AGwt_10L, nos deux mutants CRF02_AGL10I et CRF02_AGL10V ont démontré une légère augmentation d’IC50 pour l’indinavir (avec respectivement un FC de 1,3 et 1,2) et une diminution pour le lopinavir (avec respectivement un FC de 0,78 et 0,75). Toutes ces observations suggèrent que la mutation en position 10 pourrait avoir un impact chez le sous-type CRF02_AG. Toutefois, la signification clinique de ces observations doit être déterminée. En conclusion, nos résultats supportent d’une part la nécessité de renforcer la surveillance de la résistance aux ARV et d’autre part, il fournit des informations nécessaires à l’amélioration des stratégies thérapeutiques afin de prévenir les échecs aux traitements chez les sous-types non B, particulièrement le CRF02_AG.

Plasticité synaptique dans l’aire tegmentaire ventrale : implication des endocannabinoïdes

Le système dopaminergique (DA) méso-corticolimbique du cerveau, qui prend son origine dans l'aire tegmentaire ventrale (ATV), est fortement impliqué dans les comportements motivés et la toxicomanie. Les drogues d'abus activent ce système et y induisent une plasticité synaptique de longue durée. Les neurones DA de l'ATV reçoivent sur leur arborisation dendritique une grande densité de terminaisons glutamatergiques. Les drogues d'abus induisent une potentialisation à long terme (PLT) de ces contacts glutamatergiques. La PLT est une augmentation prolongée de la transmission synaptique, qui semble sous-tendre la mémoire et l'apprentissage. Les endocannabinoïdes (ECs) sont des neurotransmetteurs qui agissent de façon rétrograde sur des récepteurs présynaptiques (CB1) pour diminuer la libération des neurotransmetteurs comme le glutamate. Les neurones libèrent les ECs à partir de leur compartiment somatodendritique suite à une stimulation des afférences et la dépolarisation membranaire qui s’ensuit. La neurotensine (NT) est un neuropeptide retrouvé de façon abondante dans le système DA du cerveau. Il a été découvert que la NT peut induire la libération des ECs dans le striatum. En faisant appel à une combinaison d’approches immunohistochimique, électrophysiologique et pharmacologique chez la souris, nous avons confirmé dans la première étude de cette thèse la présence des récepteurs CB1 sur les terminaisons glutamatergiques des neurones DA de l'ATV, et avons montré que leur activation induit une diminution de la libération de glutamate. Par ailleurs, nous avons montré que des trains de stimulation peuvent induire la libération des ECs. Nous avons découvert qu'en présence d'un antagoniste des récepteurs CB1, il y a facilitation de l’induction de la PLT. Cette observation suggère que les ECs ont un effet inhibiteur sur l’induction de la PLT, plutôt que sur son expression. Nous avons déterminé que le 2-arachidonoylglycerol (2-AG) est l’EC qui est principalement responsable de cette action inhibitrice. Finalement, la PLT induite en présence d’un antagoniste CB1 est aussi dépendante d'une activation des récepteurs NMDA du glutamate. Les travaux réalisés dans la deuxième étude de cette thèse ont montré que la NT est présente dans une sous-population de terminaisons axonales glutamatergiques dans l’ATV. Une application exogène de NT induit une diminution prolongée de l'amplitude des courants postsynaptiques excitateurs (CPSEs). Cette diminution est bloquée en présence d'un antagoniste non-sélectif des récepteurs à la NT, ainsi qu'en présence d'un antagoniste sélectif pour le récepteur de NT de type 1 (NTS1). Confirmant l’implication d’une production d’ECs, la baisse des CPSEs par la NT a été bloquée en présence d’un antagoniste des récepteurs CB1 ou d’un bloqueur de la synthèse de 2-AG. La chélation du calcium intracellulaire n'empêchait pas l’effet inhibiteur de la NT sur les CPSEs, cependant, l'inhibition des protéines G ou de la phospholipase C a complètement bloqué la dépression synaptique induite par la NT. Par ailleurs, nos travaux ont montré que la nature prolongée de la dépression synaptique induite par la NT exogène s’explique par une libération soutenue des ECs, et non pas à une activation prolongée des NTR. Finalement, notre observation qu’un antagoniste des récepteurs de la NT ne facilite pas l’induction de la PLT, comme le fait un antagoniste du récepteur CB1, suggère que la stimulation répétitive des afférences glutamatergiques nécessaire à l’induction de la PLT n’induit pas de libération des ECs via la libération de NT, nous permettant ainsi de conclure que la sécrétion de NT n'agit pas dans ces conditions comme un facteur de régulation négative de la PLT.

La régulation autonome du myocarde et les performances cognitives sont-elles des outils valides de prévention du surentraînement ?

Ce travail a été réalisé en cotutelle.

Identification et localisation des préoccupations fonctionnelles dans un code légataire Java

Traditionnellement, les applications orientées objets légataires intègrent différents aspects fonctionnels. Ces aspects peuvent être dispersés partout dans le code. Il existe différents types d’aspects : • des aspects qui représentent des fonctionnalités métiers ; • des aspects qui répondent à des exigences non fonctionnelles ou à d’autres considérations de conception comme la robustesse, la distribution, la sécurité, etc. Généralement, le code qui représente ces aspects chevauche plusieurs hiérarchies de classes. Plusieurs chercheurs se sont intéressés à la problématique de la modularisation de ces aspects dans le code : programmation orientée sujets, programmation orientée aspects et programmation orientée vues. Toutes ces méthodes proposent des techniques et des outils pour concevoir des applications orientées objets sous forme de composition de fragments de code qui répondent à différents aspects. La séparation des aspects dans le code a des avantages au niveau de la réutilisation et de la maintenance. Ainsi, il est important d’identifier et de localiser ces aspects dans du code légataire orienté objets. Nous nous intéressons particulièrement aux aspects fonctionnels. En supposant que le code qui répond à un aspect fonctionnel ou fonctionnalité exhibe une certaine cohésion fonctionnelle (dépendances entre les éléments), nous proposons d’identifier de telles fonctionnalités à partir du code. L’idée est d’identifier, en l’absence des paradigmes de la programmation par aspects, les techniques qui permettent l’implémentation des différents aspects fonctionnels dans un code objet. Notre approche consiste à : • identifier les techniques utilisées par les développeurs pour intégrer une fonctionnalité en l’absence des techniques orientées aspects • caractériser l’empreinte de ces techniques sur le code • et développer des outils pour identifier ces empreintes. Ainsi, nous présentons deux approches pour l’identification des fonctionnalités existantes dans du code orienté objets. La première identifie différents patrons de conception qui permettent l’intégration de ces fonctionnalités dans le code. La deuxième utilise l’analyse formelle de concepts pour identifier les fonctionnalités récurrentes dans le code. Nous expérimentons nos deux approches sur des systèmes libres orientés objets pour identifier les différentes fonctionnalités dans le code. Les résultats obtenus montrent l’efficacité de nos approches pour identifier les différentes fonctionnalités dans du code légataire orienté objets et permettent de suggérer des cas de refactorisation.

L’impact de l’action collective patronale sur les pratiques locales des organisations : le cas de l’industrie de l’hôtellerie au Québec

Cette recherche s’intéresse aux formes et à la capacité des associations patronales à façonner les règles du travail au niveau sectoriel, plus précisément dans le secteur de l’hôtellerie au Québec. Elle vise également à mieux comprendre comment ces règles contribuent à modifier les pratiques locales en relations industrielles de leurs entreprises membres. Notre première question de recherche vise donc à cerner l’impact des logiques de représentation et d’action des associations patronales sur les pratiques en relations industrielles. Pour certains auteurs, notamment Behrens et Traxler (2004 et 2007), Carley et al. (2010), Charest, Laroche et Hickey (à paraître), les logiques de représentation et d’action chez les acteurs patronaux se distinguent l’une de l’autre et influencent de manière différente les pratiques en relations industrielles. Ainsi, la présence, la forme et le rôle d’une association patronale auront un impact significatif sur les pratiques en relations industrielles, car les membres peuvent être influencés par les orientations de leurs associations. Notre seconde question de recherche aborde la manière dont les entreprises membres utilisent leurs ressources de pouvoir afin d’influencer les actions des associations patronales. La littérature existante à ce sujet mentionne que les acteurs patronaux détenant plusieurs ressources de pouvoir, qu’elles soient internes ou externes (Charest, Laroche et Hickey, à paraître; Laroche et Hickey, à paraître), sont en mesure d’exercer une influence dans les institutions politiques. Nous tenterons donc de vérifier si, plus une association patronale sera en mesure de mobiliser ses ressources de pouvoir, plus elle sera apte à influencer le contexte institutionnel dans lequel elle agit. Au plan théorique, cette recherche s’appuie sur les idées développées par les théories néo-institutionnalistes. D’une part, nous reconnaissons que les acteurs doivent réagir et s’adapter aux changements qui s’opèrent au sein de leur environnement. Ils développeront donc des stratégies diverses, autant en matière de coordination des actions patronales que de relations du travail au niveau local, en fonction de leur interprétation de ces transformations (Traxler et Huemer, 2007). D’autre part, nous reconnaissons que les acteurs sont aussi en mesure de mobiliser leurs ressources de pouvoir pour déployer des initiatives stratégiques qui seront susceptibles de provoquer en retour des changements au sein de leur environnement (Crouch, 2005). Ces entrepreneurs institutionnels sont ainsi à la recherche active d’opportunités et de leviers de pouvoir à utiliser pour maximiser leurs intérêts respectifs et, par le fait même, réduire les incertitudes issues de leur environnement (Campbell, 2004; Streeck et Thelen, 2005; Crouch, 2005). Notre recherche reconnaît également que les acteurs qui détiennent le plus grand pouvoir au sein d’un groupe, soient les porteurs de projets, vont être en mesure de façonner les institutions en fonction de leurs intérêts spécifiques (Thelen, 2003). C’est d’ailleurs sur ce plan que notre recherche veut se démarquer des travaux plus larges dans laquelle elle s’insère. Au plan empirique, cette recherche étudie l’acteur patronal dans l’industrie de l’hôtellerie au Québec et vise trois objectifs : 1) faire la cartographie des associations patronales dans le secteur de l’hôtellerie au Québec (formes, structures, activités, missions, etc.); 2) analyser l’impact des règles issues du processus de régulation au niveau sectoriel sur les pratiques de relations du travail locales; et 3) identifier les employeurs dominants au sein du secteur et analyser de quelle manière ils parviennent à modifier les institutions et l’environnement dans lequel ils agissent. Pour atteindre nos objectifs de recherche, nous avons utilisé une méthodologie qualitative de recherche, et plus particulièrement l’étude de cas. Cette dernière a été conduite en trois étapes : la préparation, la collecte des données et l’interprétation (Merriam, 1998). Les données de cette étude ont été recueillies à l’automne 2011, par le biais d’entrevues semi-dirigées auprès de gestionnaires d’hôtels et d’associations hôtelières dans les régions de Québec et de Montréal. Une analyse qualitative du contenu de ces entrevues a été effectuée en lien avec la revue de littérature et nos propositions de recherche. À cette fin, nous avons utilisé la technique de l’appariement logique de Yin (1994), ce qui nous a permis de comparer nos observations à nos propositions de recherche. Il est à noter que puisque cette recherche est une étude de cas, cette dernière présente des limites méthodologiques surtout liées à la généralisation des résultats. Ainsi, il est très difficile d’affirmer que les résultats de cette microanalyse soient généralisables. En contrepartie, les analyses ont servi à consolider le modèle pour utilisation dans des études futures.

Histoire(s) et détermination des concepts : Brandom lecteur de Hegel

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Clones sous-maximaux des fonctions monotones sur l'univers à trois éléments

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal