-
72Conditionals, Imaging, and Subjunctive ProbabilityDialogue 36 (1): 113-. 1997.RésuméOn montre d'abord que la technique de révision des probabilités appelée « imagerie », qui a été introduite par Lewis pour la logique des conditionnels de Stalnaker, peut être généralisée à la sémantique des systèmes de sphères de Lewis si l'on permet aux énoncés conditionnels d'avoir des valeurs de vérité fractionnaires. Un système est proposé.
-
54Definitions And Contradictions. Russell, Poincaré, And LesniewskiThe 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
-
54Cleland on Church's Thesis and the Limits of ComputationPhilosophia 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
-
53Partial monotonic prototheticsStudia 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
-
49Probabilistic Canonical Models for Partial LogicsNotre 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
-
41Partial Probability Functions and Intuitionistic LogicBulletin of the Section of Logic 41 (3/4): 173-184. 2012.
-
40La question des attitudes propositionnelles et les limites de la sémantiquePhilosophiques 15 (1): 59-74. 1988.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
-
37A Many-Valued Probabilistic Conditional LogicIn N. Shanks & R. Gardner (eds.), Logic, Probability and Science, Atlanta: Rodopi. pp. 36. 2000.
-
34Michel J. Blais, La logique — une introduction. Montréal et Sherbrooke, Les Presses de l'Université de Montréal et les Presses de l'Université de Sherbrooke, 1985, 234 p.Michel J. Blais, La logique — une introduction. Montréal et Sherbrooke, Les Presses de l'Université de Montréal et les Presses de l'Université de Sherbrooke, 1985, 234 p (review)Philosophiques 13 (1): 188-194. 1986.
-
30La logique illocutoire de Searle et VandervekenDialogue 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
-
30Knowledge and TruthDialectica 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
-
30Réalisme et théorie Russellienne des descriptionsCanadian 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.’
-
24Pour une culture scientifique: discussion à propos du texte de Désautels et Nadeau, « Epistémologie et didactique »Dialogue 24 (2): 313-320. 1985.
-
23A Square of Oppositions in Intuitionistic Logic with Strong NegationLogica 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.
-
21La notion de proposition dans les Principles de Russell: un exemple de conception réaliste du langageDialogue 18 (4): 538-555. 1979.
-
19Le savoir comme constructionDialogue 24 (1): 101-. 1985.Le dernier ouvrage d'Yvon Gauthier, son quatrième, n'est certes pas d'une lecture des plus faciles. Le bon lecteur devrait à la fois être familier du formalisme de la mécanique quantique et des labyrinthes lacaniens, connaître la théorie des modéles êt etre revenu de Heidegger.Tout cela rend la tâche d'un critique de Gauthier ardue et périlleuse; aussi je prierai le lecteur de m'excuser à l'avance si, dans le foisonnement philosophique de l'ouvrage, j'ai dû restreindre mon attention à certains a…Read more
-
19Cleland on ChurchPhilosophia 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
-
19La naissance de la théorie des typesPhilosophiques 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
-
18Grammaire, compositionnalité du sens et réalismeDialogue 21 (2): 243-254. 1982.Dans la partie de la philosophic que l'on appelle habituellement philosophie du langage, la vieille opposition entre le réalisme et le nominalisme est toujours actuelle. D'un côté, les thèses nominalistes trouvent de nouveaux défenseurs qui apportent quelquefois des arguments originaux ou qui reprennent d'anciennes argumentations. D'un autre côté le réalisme est violemment attaqué sur tous ses flancs.
-
17Qu'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
-
15Review of G. J. Satty, T. J. Blakeley, and J. G. Colbert, Computing and Logic — Mathematics and Language (review)Dialogue 30 (1-2): 193-. 1991.
-
11
-
9Completeness and representation theorem for epistemic states in first-order predicate calculusLogica Trianguli 3 85-109. 1999.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
-
6Éléments de logique contemporaine: avec exercices corrigésDunod ; [Montréal] : Presses de l'Université de Montréal. 1991.
-
5Peter Roeper and Hugues Leblanc, Probability Theory and Probability Semantics Reviewed byPhilosophy in Review 20 (5): 378-380. 2000.
-
4La logique propositionnelle et ses variantes: une approche comparéePresses de l'Université de Montréal. 2022.Exploration de concepts avancés en logique formelle, notamment la logique modale, la logique partielle, la logique probabiliste et la logique intuitionniste.
Montréal, Quebec, Canada
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |
Areas of Interest
Logic and Philosophy of Logic |
20th Century Philosophy |