•  49
    Livres reçus
    Revue Philosophique de la France Et de l'Etranger 95 (2): 447-449. 1923.
  •  72
    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.
  • Ivar Ekeland, Le Calcul, L 'Imprévu (review)
    Philosophy in Review 5 111-113. 1985.
  •  54
    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.