Logique Déontique et Logique des Normes

Ce texte porte sur les principales objections faites à la logique déontique, notamment le dilemme de Jorgensen et les paradoxes de Ross. Pour aborder ces points, nous présenterons d’abord la position de Weinberger quant à la façon dont il considère que la logique doit être appliquée au domaine normatif, ce qui nous permettra d’en arriver à sa critique de la logique déontique. Avant de présenter le dilemme et les paradoxes, nous verrons quelques notions de logique modale afin de faciliter la compréhension des objections et de la critique qui en sera faite. Finalement, nous proposerons une analyse formelle des paradoxes soulevés contre la logique déontique ainsi qu’une critique du présupposé réaliste implicite aux réponses faites au dilemme de Jorgensen. Nous serons alors en mesure de souligner quelques points importants à prendre en compte lors de la formalisation d’un discours

Logique et Sémantique : Critique d’une interprétation non‐standard de la logique déontique

Ce texte porte sur l’analyse sémantique de la logique déontique. Nous analyserons de façon critique un texte de Schotch (1981) portant sur une interprétation de la logique déontique dans le cadre d’une sémantique non-kripkéenne. Nous laisserons de côté les choix relatifs à la syntaxe de son système afin de se concentrer sur l’analyse sémantique qu’il expose contre la logique déontique et sur celle qu’il propose en retour. Avant de voir le détail de son raisonnement, nous présenterons brièvement quelques notions de logique modale afin de faciliter la compréhension de l’argument de Schotch. Nous présenterons ensuite l’argument de l’auteur contre la logique déontique afin de pouvoir exposer sa solution, ce qui ouvrira la porte à une lecture critique de son analyse

La portée épistémique de l’axiomatisation de la physique chez Hilbert

L'objectif du présent texte est de discuter de la portée épistémique de la méthode axiomatique. Tout d'abord, il sera question du contexte à partir duquel la méthode axiomatique a émergé, ce qui sera suivi d'une discussion des motivations du programme de Hilbert et de ses objectifs. Ensuite, nous exposerons la méthode axiomatique dans un cadre plus moderne afin de mettre en lumière son utilité et sa portée théorique. Finalement, il s'agira d'explorer l'influence de la méthode axiomatique en physique, surtout en ce qui a trait à l'application de la méthode par Hilbert. Nous discuterons de ses objectifs et de l'épistémologie qui accompagnait sa vision du 6 e problème, ce qui nous amènera à discuter des limites épistémiques de la méthode axiomatique et de l'entreprise scientifique en général

Critique d’une interprétation temporelle de la logique déontique

Ce texte se veut une analyse critique de l'approche de Thomason (1981) quant à la logique déontique. Alors que l'auteur défend que celle-ci doit être formalisée dans le cadre des logiques temporelles, nous soutenons que la temporalité est implicite à l'obligation, et de fait que la logique déontique n'a pas a être traitée dans la cadre d'une logique temporelle. Nous présenterons d'abord la position de Thomason. Il sera question des exemples dont l'auteur se sert pour justifier son point de vue philosophique et du modèle sémantique qu'il propose pour rendre compte de l'obligation. Il sera ensuite sujet d'une critique des exemples de l'auteur et de son modèle sémantique

Methodological empiricism and the choice of measurement models in social sciences

Realism is generally assumed as the correct position with regards to psychological research and the measurement of psychological attributes in psychometrics. Borsboom et al., for instance, argued that the choice of a reflective measurement model necessarily implies a commitment to the existence of psychological constructs as well as a commitment to the belief that empirical testing of measurement models can justify their correspondence with real causal structures. Hood (2013) deemphasized Borsboom et al.'s position and argued that the choice of a reflective measurement model does not necessarily require ontological commitments, though, in his view, it does necessitate a commitment to minimal epistemic realism. Although these arguments are formulated with regard to psychological research, they can actually be generalized to other disciplines in social sciences that use similar methodologies and statistical techniques. In Hood's opinion, empiricism does not suffice to provide an adequate account of the choice of reflective measurement models given that this choice requires an appeal to causal explanations. In this paper, we argue against Hood and answer this challenge, providing epistemic foundations for social science research that do not appeal to realism

Oils and flotation

We know that the sulphides, or minerals with a metallic lustre, can be floated either with or without oil and that the carbonates, silicates, etc., cannot be floated so readily. Why do certain oils have the power of selecting certain minerals? Why do certain oils produce froth? Why do certain oils give a watery froth? Why do some give an ephemeral froth and others a tough one? Of the thousands of oils known, only a few classes have found successful application in this new process...This leads us to the question, what property or combination of properties make oils valuable as flotation agents?--Introduction, page 5-6

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

Thèse par articles.La présente thèse fait état des avancées en logique déontique et propose des outils formels pertinents à l'analyse de la validité des inférences légales. D'emblée, la logique vise l'abstraction de différentes structures. Lorsqu'appliquée en argumentation, la logique permet de déterminer les conditions de validité des inférences, fournissant ainsi un critère afin de distinguer entre les bons et les mauvais raisonnements. Comme le montre la multitude de paradoxes en logique déontique, la modélisation des inférences normatives fait cependant face à divers problèmes. D'un point de vue historique, ces difficultés ont donné lieu à différents courants au sein de la littérature, dont les plus importants à ce jour sont ceux qui traitent de l'action et ceux qui visent la modélisation des obligations conditionnelles. La présente thèse de doctorat, qui a été rédigée par articles, vise le développement d'outils formels pertinents à l'analyse du discours juridique. En première partie, nous proposons une revue de la littérature complémentaire à ce qui a été entamé dans Peterson (2011). La seconde partie comprend la contribution théorique proposée. Dans un premier temps, il s'agit d'introduire une logique déontique alternative au système standard. Sans prétendre aller au-delà de ses limites, le système standard de logique déontique possède plusieurs lacunes. La première contribution de cette thèse est d'offrir un système comparable répondant au différentes objections pouvant être formulées contre ce dernier. Cela fait l'objet de deux articles, dont le premier introduit le formalisme nécessaire et le second vulgarise les résultats et les adapte aux fins de l'étude des raisonnements normatifs. En second lieu, les différents problèmes auxquels la logique déontique fait face sont abordés selon la perspective de la théorie des catégories. En analysant la syntaxe des différents systèmes à l'aide des catégories monoïdales, il est possible de lier certains de ces problèmes avec des propriétés structurelles spécifiques des logiques utilisées. Ainsi, une lecture catégorique de la logique déontique permet de motiver l'introduction d'une nouvelle approche syntaxique, définie dans le cadre des catégories monoïdales, de façon à pallier les problèmes relatifs à la modélisation des inférences normatives. En plus de proposer une analyse des différentes logiques de l'action selon la théorie des catégories, la présente thèse étudie les problèmes relatifs aux inférences normatives conditionnelles et propose un système déductif typé.The present thesis develops formal tools relevant to the analysis of legal discourse. When applied to legal reasoning, logic can be used to model the structure of legal inferences and, as such, it provides a criterion to discriminate between good and bad reasonings. But using logic to model normative reasoning comes with some problems, as shown by the various paradoxes one finds within the literature. From a historical point of view, these paradoxes lead to the introduction of different approaches, such as the ones that emphasize the notion of action and those that try to model conditional normative reasoning. In the first part of this thesis, we provide a review of the literature, which is complementary to the one we did in Peterson (2011). The second part of the thesis concerns our theoretical contribution. First, we propose a monadic deontic logic as an alternative to the standard system, answering many objections that can be made against it. This system is then adapted to model unconditional normative inferences and test their validity. Second, we propose to look at deontic logic from the proof-theoretical perspective of category theory. We begin by proposing a categorical analysis of action logics and then we show that many problems that arise when trying to model conditional normative reasoning come from the structural properties of the logic we use. As such, we show that modeling normative reasoning within the framework of monoidal categories enables us to answer many objections in favour of dyadic and non-monotonic foundations for deontic logic. Finally, we propose a proper typed deontic system to model legal inferences

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.Ce mémoire se veut une synthèse critique de la littérature portant sur la logique déontique. Le premier objectif est d'y présenter un aperçu historique de son origine et de son évolution. Cet objectif sera principalement atteint par le biais du chapitre 2 portant sur les paradoxes, lequel nous permettra non seulement de voir en réaction à quoi les principales approches se sont développées, mais nous donnera aussi une vue d'ensemble quant aux différents courants que l'on retrouve en logique déontique. En second lieu, cet ouvrage vise à fournir une synthèse de la littérature portant sur l'analyse formelle du discours normatif. Les chapitres 3, 4 et 5 offrent une synthèse des principaux courants qui cherchent à répondre à cet objectif, ce que l'on peut regrouper sous trois banières, à savoir les logiques monadiques, les logiques dyadiques et les logiques temporelles. Finalement, nous proposons une lecture critique de cette littérature. Cette critique, qui repose notamment sur la prémisse à savoir que la logique déontique se doit non pas de rendre compte de l'utilisation du discours normatif mais plutôt de sa structure, vise à montrer que les systèmes actuels ne parviennent pas à rendre compte adéquatement de certaines caractéristiques fondamentales au discours juridique.In this essay we aim to provide a critical analysis of the literature regarding deontic logic. First of all, we wish to give a historical account of deontic logic's evolution, which will be done mainly by chapter 2. This chapter concerns the paradoxes of deontic logic and gives an overview of the usual systems and their origin. Our second objective is to provide a synthesis of the literature regarding the formal analysis of the normative discourse. The chapters 3, 4 and 5 give an account of the three principal ways which deal with deontic operators, that is the monadic deontic logic, the dyadic deontic logic and the temporal deontic logic. Finally, we propose a critical analysis of that literature and we show that these systems do not represent adequately some of the normative discourse's fundamental characteristics. We will accomplish this by providing an analysis of the legal discourse and show that the concept of obligation has some properties and behaves in a way that cannot be represented by the actual systems