•  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
  •  42
    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 Le!niewski’s Ontology and suggest that Le!niewski’s original treatment of definitions in the foundations of mathematics is the natural solution to the problem that divided Russ…Read more
  •  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
  •  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
  •  33
    A Many-Valued Probabilistic Conditional Logic
    In N. Shanks & R. Gardner (eds.), Logic, Probability and Science, Atlanta: Rodopi. pp. 36. 2000.
  •  31
    Partial Probability Functions and Intuitionistic Logic
    Bulletin of the Section of Logic 41 (3/4): 173-184. 2012.
  •  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
  •  26
    Réalisme et théorie Russellienne des descriptions
    Canadian Journal of Philosophy 13 (2). 1983.
    La théorie des descriptions de Bertrand Russell est sans aucun doute l'une des thèses philosophiques qui, au vingtième siècle, ont donné lieu au plus grand nombre de commentaires, de critiques, voire de querelles. Portée aux nues par certains-Ramsey l'a qualifiée de ‘paradigme de philosophie’-elle sera violemment contestée par d'autres, en particulier par Strawson qui s'avisera, quelque quarantecinq ans plus tard, qu'elle comporte des ‘erreurs fondamentales.’
  •  23
    Knowledge and Truth
    Dialectica 43 (3): 215-229. 1989.
    SummaryIn this paper I will strive towards three main objectives. First of all, I will try to show that a very commonplace property of knowledge, that of yielding truth, can be used to characterize an ideal and radical notion of knowledge. It will be argued that this property generates a basic and autonomous concept of knowledge, i.e., a purely logical concept of knowledge that can be clearly separated from the psychological, intentional or epistemological aspects of knowledge. What results can …Read more
  •  19
    Partial functions in type theory
    Notre Dame Journal of Formal Logic 33 (4): 493-516. 1992.
  •  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.
  •  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
  •  13
    Livres reçus
    Revue Philosophique de la France Et de l'Etranger 95 (2): 319-320. 1923.
  •  12
    La naissance de la théorie des types
    Philosophiques 11 (2): 277-297. 1984.
    La théorie des types que Bertrand Russell proposa en 1908 ne se voulait pas une solution ad hoc au problème des contradictions, elle prétendait plutôt être la solution naturelle, celle que tout le monde reconnaîtra comme la solution attendue. En fait, il s'agit d'une théorie philosophique qui concrétise un projet grandiose: réduire les mathématiques à la logique. Le présent texte se propose d'examiner les thèses russelliennes et la dynamique de leur évolution de 1903 à 1907, c'est-à-dire des Pri…Read more
  •  11
    Grammaire, compositionnalité du sens et réalisme
    Dialogue 21 (2): 243-254. 1982.
  •  11
    Le savoir comme construction
    Dialogue 24 (1): 101-. 1985.
  •  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
  •  10
    Livres reçus
    Philosophiques 16 (1): 235-237. 1989.
  •  10
    Cleland on Church
    Philosophia Scientae 16 69-85. 2012.
  •  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