• A Many-Valued Probabilistic Logic
    Poznan Studies in the Philosophy of the Sciences and the Humanities 71 36-48. 2000.
  •  108
    Partial functions in type theory
    Notre Dame Journal of Formal Logic 33 (4): 493-516. 1992.
  •  49
    Livres reçus
    Revue Philosophique de la France Et de l'Etranger 95 (2): 447-449. 1923.
  •  71
    La logique illocutoire de Searle et Vanderveken
    Dialogue 26 (2): 309-. 1987.
    Foundations of Illocutionary Logic de John Searle et Daniel Vanderveken constitue, à ma connaissance, la première suggestion sérieuse d'un cadre formel destiné à l'élaboration d'une logique de l'illocutoire. Les phénomènes illocutoires sont en effet d'une telle com-plexité que, souvent, les schèmes explicatifs proposés n'ont qu'une valeur très locale et ne constituent une explication que pour quelques exemples bien précis, ceux qui justement ont servi de base empirique sur laquelle ces schèmes s…Read more
  •  106
    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
  • [No title]
    Les Cahiers D'Ithaque. 2013.
  •  88
    Livres reçus
    Philosophiques 16 (1): 235-237. 1989.