Methodology in Economics: the Logic of Appraisal

This Paper Intends to Develop a Coherent Methodological Framework Concerned with the Appraisal of Scientific Theories in Economics, and Which Is Based on a Postulated Aim of Science. We First Define the Scope of a Methodological Inquiry (Precise Definition of What Is Meant by the Logic of Appraisal of Scientific Theories) and Review the Work of Popper and Lakatos in the Philosophy of Science. We Then Use Their Results to Develop a Rational Structure of Scientific Activity. We Identify and Analyse Both a Micro and Macro Framework for the Process of Appraisal and Single Out the Importance of So-Called 'Fundamental Assumptions' in Creating Externalities in the Appraisal Process Which Forces Us to Adop a Multi-Level Analysis. Special Attention Is Given to the Role and Significance of the Abstraction Process and the Use of Assumptions in General. the Proposed Structure of Scientific Activity Is Illustrated with Examples From Economics.

Economic integration in North America: Formal, Informal and Spatial Aspects.

An exemination of a series of indicators of economic integration in the western hemisphere (Canada-USA-Latin America) indicates that it is proceeding under the influence of formal trade agreements and informal forces including technological change, multinational firm rationalization and location strategies, etc.

Production Linkages Between Informal and Formal Activities Considering Domestic and Imported Inputs: an Application of the Minimal-Flow-Analysis Method to Senegal.

We apply to the Senegalese input-output matrix of 1990, disagregated into formal and informal activities, a recently designed structural analytical method (Minimal-Flow-Analysis) which permits to depict the direct and indirect production likanges existing between activities.

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.

Bounding of switching activity in logic circuits

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.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Analyse de la structure logique des inférences légales et modélisation du discours juridique

Thèse par articles.

Écriture autobiographique et sceau cicatriciel dans L’Ascension du Haut Mal de David B.

Le présent mémoire vise à détailler les particularités du discours autobiographique dans L’Ascension du Haut Mal afin de saisir la poétique de David B. comme un sceau cicatriciel permettant de rendre compte de la maladie fraternelle et d’y faire face, au moyen de stratégies autobiographiques qui consolident textuellement et visuellement l’identité de l’auteur-personnage au sein du récit. Le premier chapitre consiste en une étude sur les récits de soi en bande dessinée. Un survol historique de l’évolution de la bande dessinée autobiographique dans la francophonie européenne inscrit L’Ascension du Haut Mal dans le mouvement de contestation mené par les maisons d’édition alternatives du début des années 1990. Puis, l’état des lieux en matière de théories portant sur l’autobiographie en bande dessinée établit les critères selon lesquels cette œuvre répond au genre autobiographique. Les deux chapitres suivants correspondent aux grands axes du discours autoréférentiel de L’Ascension du Haut Mal: le postulat d’un pacte autobiographique et le récit de la construction identitaire de l’auteur. Le deuxième chapitre explique par quels moyens l’hybridité formelle, la dimension fantasmatique et le foisonnement intertextuel de l’œuvre étudiée altèrent le pacte autobiographique sans toutefois le rompre. Le troisième chapitre démontre que le développement identitaire du personnage de David B. répond à une logique d’opposition, en regard de son frère, de la société et même de la réalité, visible jusque dans l’esthétique de l’auteur. L’analyse des marques graphiques et thématiques symptomatiques des défenses élevées par David B. contre la tyrannie du Haut Mal, l’épilepsie, est effectuée.

La conception platonicienne de la contradiction

Cette thèse se rapporte à la notion de contradiction, entendue en son sens logique ou formel. Plus précisément, elle vise à dégager une conception de la contradiction chez un philosophe qui, du point de vue chronologique, précède l’avènement de la syllogistique et de la logique : Platon. À partir de l’examen des dialogues réfutatifs de Platon, il s’agira de mettre en lumière la forme des propositions contradictoires, de déterminer la terminologie et les métaphores utilisées par Platon pour nommer et décrire la contradiction et d’évaluer le contexte dans lequel avait lieu la réflexion platonicienne. L’analyse révélera que Platon se faisait une idée somme toute assez précise de la contradiction logique et qu’il a même eu une influence sur Aristote lorsque ce dernier élabora son célèbre principe de non-contradiction.

Destruction, puissance et limites du cinéma dans les films d'Ozu Yasujirô

Cette thèse de doctorat se rapporte aux films du cinéaste japonais Ozu Yasujirô (1903-1963) suivant l'hypothèse principale que les enjeux de la destruction qui y sont mis en scène, sous la forme de la disparition des liens familiaux et de la mort, ne peuvent être éclairés par la narration, dont le caractère non dramatique est notoire. En figurant la dislocation de la famille, les films d'Ozu rendent plutôt compte de la vulnérabilité du monde à la prise cinématographique : la destructivité du médium s'y énonce comme sa capacité à mobiliser ce qui entre dans son champ et à le transformer en faire-valoir de son aptitude à produire des effets. Cette étude fait ainsi apparaître les images animées, en tant qu'elles relèvent de la logique technique régie par la modernité, comme une forme de désastre, qui atteint la famille comme expérience de la communauté, c'est-à-dire comme rapport constitutif à un hors-de-soi. Mais à cette destructivité fait également face, au sein même de la pratique cinématographique d'Ozu, une autre possibilité du cinéma, qui peut restaurer ces liens menacés. Cette étude du cinéma d'Ozu montre sa profonde affinité avec la pensée du désœuvrement élaborée par Giorgio Agamben, les films du cinéaste et les travaux du philosophe s'éclairant mutuellement. Le concept de désœuvrement permet de reconsidérer les enjeux essentiels des films d'Ozu à un niveau à la fois thématique et formel, immatériel et matériel, articulant ces deux facettes pour en considérer le registre proprement médiatique. Le propos n'est pas essentiellement esthétique ou formaliste, mais s'intéresse avant tout au travail d'Ozu du point de vue des enjeux éthiques du cinéma, qui se formulent en termes de relation à sa puissance. Celle-ci concerne aussi bien l'attention d'Ozu à la vie collective que le soin qu'il porte aux potentialités expressives du cinéma, c'est-à-dire à la manière dont il se rapporte aux limites de son médium.