25 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.
    No categories
    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æ. Travaux d'Histoire Et de Philosophie des Sciences 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 (...)
    No categories
    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).
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. François Lepage (2001). Qu'est-ce qu'un acte jugé faisable ? Philosophiques 28 (2):369-380.
    No categories
    Translate to English
    | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. 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.
    No categories
     
    My bibliography  
     
    Export citation  
  6. François Lepage (2000). A Many-Valued Probabilistic Conditional Logic. In N. Shanks & R. Gardner (eds.), Logic, Probability and Science. Atlanta: Rodopi. 36.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. 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  
  8. François Lepage (2000). Peter Roeper and Hugues Leblanc, Probability Theory and Probability Semantics Reviewed By. Philosophy in Review 20 (5):378-380.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Serge Lapierre & François Lepage (1999). Completeness and Representation Theorem for Epistemic States in First-Order Predicate Calculus. Logica Trianguli 3:85-109.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. François Lepage (1997). Conditionals, Imaging, and Subjunctive Probability. Dialogue 36 (01):113-.
  11. 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  
  12. 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-.
  13. 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  
  14. Francois Lepage (1989). Knowledge and Truth. Dialectica 43 (3):215-229.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. 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  
  16. François Lepage (1988). La question des attitudes propositionnelles et les limites de la sémantique. Philosophiques 15 (1):59-74.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. François Lepage (1987). La Logique Illocutoire de Searle Et Vanderveken. Dialogue 26 (02):309-.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. 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  
  19. François Lepage (1985). Ivar Ekeland, Le Calcul, L'Imprévu Reviewed By. Philosophy in Review 5 (3):111-113.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. François Lepage (1985). Le Savoir Comme Construction. Dialogue 24 (01):101-.
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  21. 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  
  22. François Lepage (1984). La Naissance de la Théorie des Types. Philosophiques 11 (2):277-297.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. 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  
  24. 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  
  25. 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.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation