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.

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.

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.

L'astronomie nouvelle de Kepler et la logique de la découverte

Cette thèse propose une étude des raisons théoriques et empiriques impliquées dans l’élaboration d’une nouvelle astronomie par Johannes Kepler (1571-1630) tel qu’exposé dans son ouvrage Astronomia nova (1619). Cette thèse se déroule en deux temps : la première partie touche de près aux textes mêmes de Kepler, tandis que la seconde partie utilise la notion d’abduction pour interpréter logiquement ce processus de découverte et de justification. La première partie débute avec une analyse du projet de Kepler et de ses fondements philosophiques, métaphysiques et théologiques tels qu’exposés dans son premier ouvrage, le Mysterium cosmographicum. Ensuite, une étude des propos explicites de Kepler quant à la nature et au statut des hypothèses astronomiques est proposée via une étude de son traité intitulé Apologia pro Tychone contra Ursum. Une étude attentive des sources philosophiques, mathématiques et scientifiques ayant influencé Kepler pour sa nouvelle astronomie est ensuite proposée avant l’analyse détaillée des arguments scientifiques et des différentes étapes démonstratives qui sont présentés dans l’Astronomia nova. La deuxième partie vise à éclairer le débat sur l’abduction en se penchant d’abord sur trois approches traditionnelles (Platon, Aristote et Épicure) quant à la connaissance scientifique des phénomènes célestes permettant d’obtenir un discours vraisemblable ou une multiplicité d’explications concordantes avec les phénomènes. Enfin, quatre interprétations contemporaines et abductives du processus de découverte suivi par Kepler dans l’Astronomia nova sont présentées, reformulées et critiquées afin de proposer une nouvelle interprétation abductive laissant une plus grande place au projet même de construire une astronomie nouvelle fondée sur les causes. Cela nous donne des outils pour mieux saisir le sens et la portée de ce qui peut être désigné comme étant la « révolution képlérienne », soit le passage d’un système géocentrique à un système non pas simplement héliocentrique mais héliodynamique, ayant permis aux astronomes de s’affranchir du paradigme des orbites circulaires.

A non reductionist logicism with explicit definitions

This paper introduces and examines the logicist construction of Peano Arithmetic that can be performed into Leśniewski’s logical calculus of names called Ontology. Against neo-Fregeans, it is argued that a logicist program cannot be based on implicit definitions of the mathematical concepts. Using only explicit definitions, the construction to be presented here constitutes a real reduction of arithmetic to Leśniewski’s logic with the addition of an axiom of infinity. I argue however that such a program is not reductionist, for it only provides what I will call a picture of arithmetic, that is to say a specific interpretation of arithmetic in which purely logical entities play the role of natural numbers. The reduction does not show that arithmetic is simply a part of logic. The process is not of ontological significance, for numbers are not shown to be logical entities. This neo-logicist program nevertheless shows the existence of a purely analytical route to the knowledge of arithmetical laws.