32 found
Sort by:
See also:
Profile: Francois Lepage (Université de Montréal)
  1. François Lepage (2012). Partial Probability Functions and Intuitionistic Logic. Bulletin of the Section of Logic 41 (3/4):173-184.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Clayton Peterson & François Lepage (2012). Cleland on Church's Thesis and the Limits of Computation. Philosophia Scientiæ 16 (16-3):69-85.
    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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. François Lepage (2009). Definitions And Contradictions. Russell, Poincaré, And Lesniewski. The Baltic International Yearbook of Cognition, Logic and Communication 4 (1).
    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 Russell and Poincaré.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. François Lepage & Charles Morgan (2003). Probabilistic Canonical Models for Partial Logics. Notre Dame Journal of Formal Logic 44 (3):125-138.
    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 soundness and completeness results.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. François Lepage (2001). Qu'est-ce qu'un acte jugé faisable ? Philosophiques 28 (2):369-380.
    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 is to characterize this (...)
    No categories
    Translate to English
    | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. François Lepage (2000). An Algebra for Finitary Ontology or a Functionally Complete Language for the Finitary Theory of Types. Logica Trianguli 4:41-51.
    This paper presents a generalization of a proposal of van Benthem’s who has shown how to provide a canonical name for any object in propositional type theory. Van Benthem’s idea is to characterize any function in the hierarchy by the Boolean values the function takes for any sequence of arguments. The recursive definition of canonical names uses only the abstraction, functional application, the identity operator and the fact that we have a name for the true and the false. We show (...)
     
    My bibliography  
     
    Export citation  
  7. François Lepage (2000). A Many-Valued Probabilistic Conditional Logic. In N. Shanks & R. Gardner (eds.), Logic, Probability and Science. Atlanta: Rodopi 36.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. François Lepage (2000). Partial Monotonic Protothetics. Studia Logica 66 (1):147-163.
    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 maximally saturated sets. This (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  9. François Lepage (2000). Peter Roeper and Hugues Leblanc, Probability Theory and Probability Semantics Reviewed By. Philosophy in Review 20 (5):378-380.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Serge Lapierre & François Lepage (1999). Completeness and Representation Theorem for Epistemic States in First-Order Predicate Calculus. Logica Trianguli 3:85-109.
    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 unique partial value for every predicate symbol and any (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. François Lepage (1997). Conditionals, Imaging, and Subjunctive Probability. Dialogue 36 (01):113-.
  12. Daniel Laurier & François Lepage (1994). Essais sur le langage et l'intentionnalité, coll. « Analytiques ». Revue Philosophique de la France Et de l'Etranger 184 (4):525-527.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. François Lepage (1992). Partial Functions in Type Theory. Notre Dame Journal of Formal Logic 33 (4):493-516.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. François Lepage (1992). Eléments de logique contemporaine. Revue Philosophique de la France Et de l'Etranger 182 (3):354-355.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15. François Lepage (1991). Review of G. J. Satty, T. J. Blakeley, and J. G. Colbert, Computing and Logic — Mathematics and Language. [REVIEW] Dialogue 30 (1-2):193-.
  16. François Lepage (1991). Computing and Logic — Mathematics and Language Glen J. Satty, Thomas J. Blakeley Et James G. Colbert Collection «Introductiones» Munich, Philosophia Verlag, 1988, 224 P. [REVIEW] Dialogue 30 (1-2):193-195.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. FranÇois Lepage (1991). "Computing and Logic - Mathematics and Language", Par Glen J. Satty, Thomas J. Blakeley Et James G. Colbert. [REVIEW] Dialogue 30:193.
    No categories
     
    My bibliography  
     
    Export citation  
  18. François Lepage (1991). Éléments de Logique Contemporaine.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  19. Francois Lepage (1989). Knowledge and Truth. Dialectica 43 (3):215-229.
    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 thus (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. François Lepage (1989). Livres reçus. Philosophiques 16 (1):235-237.
    No categories
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. François Lepage (1988). La question des attitudes propositionnelles et les limites de la sémantique. Philosophiques 15 (1):59-74.
    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 solution que l'on proposera pour sortir de cette situation apparemment (...)
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. François Lepage (1987). La Logique Illocutoire de Searle Et Vanderveken. Dialogue 26 (02):309-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. François Lepage (1986). 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.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.
    No categories
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  24. François Lepage (1985). Ivar Ekeland, Le Calcul, L'Imprévu Reviewed By. Philosophy in Review 5 (3):111-113.
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. François Lepage (1985). Ivar Ekeland, Le Calcul, L 'Imprévu. [REVIEW] Philosophy in Review 5:111-113.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  26. François Lepage (1985). Le Savoir Comme Construction. Dialogue 24 (01):101-.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. François Lepage (1985). Pour une culture scientifique: discussion à propos du texte de Désautels et Nadeau, « Epistémologie et didactique ». Dialogue 24 (2):313-320.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. François Lepage (1984). La naissance de la théorie des types. Philosophiques 11 (2):277-297.
    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 Principles à la (...)
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. François Lepage (1983). Réalisme Et Théorie Russellienne des Descriptions. Canadian Journal of Philosophy 13 (2):209 - 226.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. François Lepage (1982). Grammaire, compositionnalité du sens et réalisme. Dialogue 21 (02):243-254.
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. François Lepage (1979). La Notion de Proposition Dans les Principles de Russell: Un Exemple de Conception Réaliste du Langage. Dialogue 18 (04):538-555.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. François Lepage (1923). Livres reçus. Revue Philosophique de la France Et de l'Etranger 95 (2):319-320.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation