• Deontic Logic and Normative Systems: 16th International Conference (DEON2023, Trois-Rivières) (edited book)
    with Juliano Maranhão, Christian Straßer, and van der Torre Leendert
    College Publications. 2023.
  • DEON 2023 (edited book)
    with Juliano Maranhao, Christian Straßer, and Leendert Van der Torre
    College Publications. 2023.
  •  12
    Monoidal logics: completeness and classical systems
    Journal of Applied Non-Classical Logics 29 (2): 121-151. 2019.
    ABSTRACTMonoidal logics were introduced as a foundational framework to analyze the proof theory of logical systems. Inspired by Lambek's seminal work in categorical logic, the objective is to defin...
  • A Logic for Human Actions
    In Gillman Payette & Rafal Urbaniak (eds.), Applications of Formal Philosophy. The Road Less Travelled, Springer Verlag. 2017.
  •  32
    Methodological empiricism and the choice of measurement models in social sciences
    European Journal for Philosophy of Science 8 (3): 831-854. 2018.
    Realism is generally assumed as the correct position with regards to psychological research and the measurement of psychological attributes in psychometrics. Borsboom et al., 203–219 2003), 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 :739–761 20…Read more
  •  22
    In psychology, measurement instruments are constructed from scales, which are obtained on the grounds of exploratory and confirmatory factor analysis. Looking at the literature, one can find various recommendations regarding how these techniques should be used during the scale construction process. Some authors suggest to use exploratory factor analysis on the entire data set while others advice to perform an internal cross-validation by randomly splitting the data set in two and then either per…Read more
  •  36
    Studies in the logic of K -onfirmation
    Philosophical Studies 176 (2): 437-471. 2019.
    This research article revisits Hempel’s logic of confirmation in light of recent developments in categorical proof theory. While Hempel advocated several logical conditions in favor of a purely syntactical definition of a general non-quantitative concept of confirmation, we show how these criteria can be associated to specific logical properties of monoidal modal deductive systems. In addition, we show that many problems in confirmation logic, such as the tacked disjunction, the problem of weake…Read more
  •  27
    Contrary-to-Duty Reasoning: A Categorical Approach
    Logica Universalis 9 (1): 47-92. 2015.
    This paper provides an analysis of contrary-to-duty reasoning from the proof-theoretical perspective of category theory. While Chisholm’s paradox hints at the need of dyadic deontic logic by showing that monadic deontic logics are not able to adequately model conditional obligations and contrary-to-duties, other arguments can be objected to dyadic approaches in favor of non-monotonic foundations. We show that all these objections can be answered at one fell swoop by modeling conditional obligati…Read more
  •  9
    Ce texte porte sur l’analyse sémantique de la logique déontique. Nous analyserons de façon critique un texte de Schotch 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 quelque…Read more
  •  10
    Cleland on Church
    Philosophia Scientiae 16 69-85. 2012.
    Cet article se veut une critique de la thèse défendue par [Cleland 1993], laquelle soutient que la thèse de Church doit être rejetée puisque les limites du calcul dépendent de la structure physique du monde. Dans un premier temps, nous offrons un (très) bref aperçu de la thèse de Church puis nous présentons l argument de Cleland. Par la suite, nous proposons une analyse critique de son argument, ce qui nous amènera à faire quelques distinctions conceptuelles par rapport aux notions qui concernen…Read more
  •  39
    Exploratory Factor Analysis and Theory Generation in Psychology
    Review of Philosophy and Psychology 8 (3): 519-540. 2017.
    Exploratory factor analysis is a statistical method widely used in quantitative psychology for the construction of scales and measurement instruments. It aims to reduce the complexity of a data set and explain the common and unique variance using latent variables. In introductory textbooks, exploratory factor analysis is generally presented in contrast to confirmatory factor analysis as a theory- or a hypothesis-generating process that does not require prior background, theory or hypothesis to b…Read more
  • Les Cahiers D'Ithaque. 2013.
  • Cleland on Church’s Thesis and the Limits of Computation
    Philosophia Scientiae 16 (3): 69-85. 2012.
    Cet article se veut une critique de la thèse défendue par [Cleland 1993], laquelle soutient que la thèse de Church doit être rejetée puisque les limites du calcul dépendent de la structure physique du monde. Dans un premier temps, nous offrons un bref aperçu de la thèse de Church puis nous présentons l argument de Cleland. Par la suite, nous proposons une analyse critique de son argument, ce qui nous amènera à faire quelques distinctions conceptuelles par rapport aux notions qui concernent la ca…Read more
  •  26
    Book Reviews Clayton peterson, Dialogue: Canadian Philosophical Review/Revue canadienne de philosophie, FirstView Article
  •  26
    A comparison between monoidal and substructural logics
    Journal of Applied Non-Classical Logics 26 (2): 126-159. 2016.
    Monoidal logics were introduced as a foundational framework to analyse the proof theory of deontic logic. Building on Lambek’s work in categorical logic, logical systems are defined as deductive systems, that is, as collections of equivalence classes of proofs satisfying specific rules and axiom schemata. This approach enables the classification of deductive systems with respect to their categorical structure. When looking at their proof theory, however, one can see that there are similarities b…Read more
  •  10
    No Title available: Dialogue
    Dialogue 51 (2): 333-335. 2012.
    Book Reviews Clayton peterson, Dialogue: Canadian Philosophical Review/Revue canadienne de philosophie, FirstView Article
  •  53
    Cleland on Church's Thesis and the Limits of Computation
    Philosophia Scientiae 16 (16-3): 69-85. 2012.
    Cet article se veut une critique de la thèse défendue par [Cleland 1993], laquelle soutient que la thèse de Church doit être rejetée puisque les limites du calcul dépendent de la structure physique du monde. Dans un premier temps, nous offrons un (très) bref aperçu de la thèse de Church puis nous présentons l argument de Cleland. Par la suite, nous proposons une analyse critique de son argument, ce qui nous amènera à faire quelques distinctions conceptuelles par rapport aux notions qui concernen…Read more
  •  22
    Logique Déontique et Logique des Normes
    Ithaque 6 31-52. 2010.
    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 comp…Read more
  •  11
    Ce texte se veut une analyse critique de l'approche de Thomason 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 philosop…Read more