37 found
Order:
See also
Francois Lepage
Université de Montréal
  1.  43
    Probabilistic Canonical Models for Partial Logics.François Lepage & Charles Morgan - 2003 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  18
    A Square of Oppositions in Intuitionistic Logic with Strong Negation.François Lepage - 2016 - Logica Universalis 10 (2-3):327-338.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  18
    Partial Functions in Type Theory.François Lepage - 1992 - Notre Dame Journal of Formal Logic 33 (4):493-516.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  31
    Partial Probability Functions and Intuitionistic Logic.François Lepage - 2012 - Bulletin of the Section of Logic 41 (3/4):173-184.
  5.  27
    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]François Lepage - 1986 - Philosophiques 13 (1):188-194.
    No categories
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  54
    Conditionals, Imaging, and Subjunctive Probability.François Lepage - 1997 - Dialogue 36 (1):113-.
  7.  12
    Livres reçus.François Lepage - 1923 - Revue Philosophique de la France Et de l'Etranger 95 (2):319-320.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8. Completeness and Representation Theorem for Epistemic States in First-Order Predicate Calculus.Serge Lapierre & François Lepage - 1999 - 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 (...)
     
    Export citation  
     
    Bookmark  
  9. Essais sur le langage et l'intentionnalité, coll. « Analytiques ».Daniel Laurier & François Lepage - 1994 - Revue Philosophique de la France Et de l'Etranger 184 (4):525-527.
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. .François Lepage - 2013 - Les Cahiers D'Ithaque.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  11. An Algebra for Finitary Ontology or a Functionally Complete Language for the Finitary Theory of Types.François Lepage - 2000 - 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 (...)
     
    Export citation  
     
    Bookmark  
  12.  33
    A Many-Valued Probabilistic Conditional Logic.François Lepage - 2000 - In N. Shanks & R. Gardner (eds.), Logic, Probability and Science. Atlanta: Rodopi. pp. 36.
  13.  10
    Review of G. J. Satty, T. J. Blakeley, and J. G. Colbert, Computing and Logic — Mathematics and Language[REVIEW]François Lepage - 1991 - Dialogue 30 (1-2):193-.
  14.  8
    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]François Lepage - 1991 - Dialogue 30 (1-2):193-195.
  15.  42
    Definitions And Contradictions. Russell, Poincaré, And Lesniewski.François Lepage - 2008 - The Baltic International Yearbook of Cognition, Logic and Communication 4.
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  10
    Definitions And Contradictions. Russell, Poincaré, And Lesniewski.François Lepage - 2008 - The Baltic International Yearbook of Cognition, Logic and Communication 4.
    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 Lesniewski’s Ontology and suggest that Lesniewski’s original treatment of definitions in the foundations of mathematics is the natural solution to the problem that divided Russell and Poincaré.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17. Eléments de logique contemporaine.François Lepage - 1992 - Revue Philosophique de la France Et de l'Etranger 182 (3):354-355.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  18.  10
    Grammaire, compositionnalité du sens et réalisme.François Lepage - 1982 - Dialogue 21 (2):243-254.
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Ivar Ekeland, Le Calcul, L'Imprévu Reviewed By.François Lepage - 1985 - Philosophy in Review 5 (3):111-113.
     
    Export citation  
     
    Bookmark  
  20. Ivar Ekeland, Le Calcul, L 'Imprévu. [REVIEW]François Lepage - 1985 - Philosophy in Review 5:111-113.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  23
    Knowledge and Truth.Francois Lepage - 1989 - 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22. Éléments de Logique Contemporaine.François Lepage - 1991
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  23.  23
    La Logique Illocutoire de Searle Et Vanderveken.François Lepage - 1987 - Dialogue 26 (2):309-.
  24.  17
    La Notion de Proposition Dans les Principles de Russell: Un Exemple de Conception Réaliste du Langage.François Lepage - 1979 - Dialogue 18 (4):538-555.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  12
    La naissance de la théorie des types.François Lepage - 1984 - 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
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  29
    La question des attitudes propositionnelles et les limites de la sémantique.François Lepage - 1988 - 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 (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  10
    Livres reçus.François Lepage - 1989 - Philosophiques 16 (1):235-237.
    No categories
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  11
    Le Savoir Comme Construction.François Lepage - 1985 - Dialogue 24 (1):101-.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  6
    Ontologie Et Théorie des Ensembles.François Lepage - 2013 - In . Les Cahiers D'Ithaque.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  41
    Partial Monotonic Protothetics.François Lepage - 2000 - 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 (4 more)  
     
    Export citation  
     
    Bookmark  
  31. Peter Roeper and Hugues Leblanc, Probability Theory and Probability Semantics Reviewed By.François Lepage - 2000 - Philosophy in Review 20 (5):378-380.
     
    Export citation  
     
    Bookmark  
  32.  14
    Pour une culture scientifique: discussion à propos du texte de Désautels et Nadeau, « Epistémologie et didactique ».François Lepage - 1985 - Dialogue 24 (2):313-320.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  16
    Qu'est-ce qu'un acte jugé faisable ?François Lepage - 2001 - 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
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  25
    Réalisme Et Théorie Russellienne des Descriptions.François Lepage - 1983 - Canadian Journal of Philosophy 13 (2):209 - 226.
    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.’.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  35.  10
    Cleland on Church.Clayton Peterson & François Lepage - 2012 - Philosophia Scientae 16:69-85.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. Cleland on Church’s Thesis and the Limits of Computation.Clayton Peterson & François Lepage - 2012 - Philosophia Scientiae 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 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 (...)
    No categories
     
    Export citation  
     
    Bookmark  
  37.  35
    Cleland on Church's Thesis and the Limits of Computation.Clayton Peterson & François Lepage - 2012 - 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)  
     
    Export citation  
     
    Bookmark