•  10
    Definitions And Contradictions. Russell, Poincaré, And Lesniewski
    The Baltic International Yearbook of Cognition, Logic and Communication 4. 2008.
    This paper is composed of two independent parts. The first is concerned with Russell’s early philosophy of mathematics and his quarrel with Poincaré about the nature of their opposition. I argue that the main divergence between the two philosophers was about the nature of definitions. In the second part, I briefly present Lesniewski’s Ontology and suggest that Lesniewski’s original treatment of definitions in the foundations of mathematics is the natural solution to the problem that divided Russ…Read more
  •  33
    A Many-Valued Probabilistic Conditional Logic
    In N. Shanks & R. Gardner (eds.), Logic, Probability and Science, Atlanta: Rodopi. pp. 36. 2000.
  • 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
  •  43
    Probabilistic Canonical Models for Partial Logics
    with Charles Morgan
    Notre Dame Journal of Formal Logic 44 (3): 125-138. 2003.
    The aim of the paper is to develop the notion of partial probability distributions as being more realistic models of belief systems than the standard accounts. We formulate the theory of partial probability functions independently of any classical semantic notions. We use the partial probability distributions to develop a formal semantics for partial propositional calculi, with extensions to predicate logic and higher order languages. We give a proof theory for the partial logics and obtain soun…Read more
  •  30
    Le but de cette intervention est tout d'abord de caractériser un concept de sémantique d'un point de vue suffisamment général pour que l'on puisse l'interpréter comme celui de sémantique universelle. Dans un deuxième temps, il sera question de la caractérisation des contextes extensionnels et un critère général d'identification de tels contextes sera proposé. La thèse suivante, assez surprenante, sera avancée : selon ce critère, les contextes d'attitudes propositionnelles sont extensionnels. La …Read more
  • Essais sur le langage et l'intentionnalité, coll. « Analytiques »
    Revue Philosophique de la France Et de l'Etranger 184 (4): 525-527. 1994.
  •  13
    Livres reçus
    Revue Philosophique de la France Et de l'Etranger 95 (2): 319-320. 1923.
  • Eléments de logique contemporaine
    Revue Philosophique de la France Et de l'Etranger 182 (3): 354-355. 1992.
  • A Many-Valued Probabilistic Logic
    Poznan Studies in the Philosophy of the Sciences and the Humanities 71 36-48. 2000.
  •  38
    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
  •  19
    Partial functions in type theory
    Notre Dame Journal of Formal Logic 33 (4): 493-516. 1992.
  •  10
    Livres reçus
    Philosophiques 16 (1): 235-237. 1989.
  • Ivar Ekeland, Le Calcul, L 'Imprévu (review)
    Philosophy in Review 5 111-113. 1985.
  • Canonical Models and Probabilistic Semantics: Commentary
    Poznan Studies in the Philosophy of the Sciences and the Humanities 71 17-35. 2000.
  • Les Cahiers D'Ithaque. 2013.
  • Livres Reçus
    Revue Internationale de Philosophie 32 (123): 149. 1978.
  •  41
    Partial monotonic protothetics
    Studia Logica 66 (1): 147-163. 2000.
    This paper has four parts. In the first part, I present Leniewski's protothetics and the complete system provided for that logic by Henkin. The second part presents a generalized notion of partial functions in propositional type theory. In the third part, these partial functions are used to define partial interpretations for protothetics. Finally, I present in the fourth part a complete system for partial protothetics. Completeness is proved by Henkin's method [4] using saturated sets instead of…Read more
  •  18
    A Square of Oppositions in Intuitionistic Logic with Strong Negation
    Logica Universalis 10 (2-3): 327-338. 2016.
    In this paper, we introduce a Hilbert style axiomatic calculus for intutionistic logic with strong negation. This calculus is a preservative extension of intuitionistic logic, but it can express that some falsity are constructive. We show that the introduction of strong negation allows us to define a square of opposition based on quantification on possible worlds.
  •  9
    The aim of this paper is to present a strongly complete first order functional predicate calculus generalized to models containing not only ordinary classical total functions but also arbitrary partial functions. The completeness proof follows Henkin’s approach, but instead of using maximally consistent sets, we define saturated deductively closed consistent sets . This provides not only a completeness theorem but a representation theorem: any SDCCS defines a canonical model which determine a un…Read more
  •  16
    Qu'est-ce qu'un acte jugé faisable ?
    Philosophiques 28 (2): 369-380. 2001.
    Parmi l'ensemble de toutes les propositions à propos desquelles un agent rationnel entretient des croyances et des désirs, certaines correspondent à des actes que l'agent juge faisables. Le but de mon intervention est de caractériser ce sous-ensemble de propositions en termes de leur probabilité et de leur désirabilité.Among the set of all propositions on which a rational agent entertains beliefs and desires, some express acts considered as possible options for the agent. The aim of this paper i…Read more