François Lepage - Academia.edu (original) (raw)
Uploads
Papers by François Lepage
Moebius : écritures / Littérature, 2010
Actas Del V Congreso De La Sociedad De Logica Metodologia Y Filosofia De La Ciencia En Espana 2006 Isbn 978 84 9349419 3 Pags 47 51, 2006
L’ontologie de Leśniewski est un calcul général des noms. Elle fut créée par Leśniewski pour appo... more L’ontologie de Leśniewski est un calcul général des noms. Elle fut créée par Leśniewski pour apporter une solution naturelle au paradoxe de Russell en théorie naïve des ensembles. L’ontologie a été perçue par ses défenseurs et par ses adversaires comme une théorie incompatible avec la théorie des ensembles. Dans le présent texte, nous montrons que l’ontologie de Leśniewski permet, au contraire, de définir une théorie des ensembles qui coïncide avec la théorie de Zermelo- Fraenkel
Philosophiques, 2001
Parmi l'ensemble de toutes les propositions à propos desquelles un agent rationnel entretient... more 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é.
Philosophiques, 1984
Résumé La théorie des types que Bertrand Russell proposa en 1908 ne se voulait pas une solution a... more Résumé 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…
Dialogue, 1979
En 1903, Bertrand Russell publie The Principles of Mathematics, ouvrage qu'il présente dans l... more En 1903, Bertrand Russell publie The Principles of Mathematics, ouvrage qu'il présente dans la préface comme le premier de deux tomes consacrés à une impressionnante entreprise de fondement des mathématiques. Cet ambitieux projet comportait, en fait, deux objectifs distincts qui, selon l'auteur, étaient complémentaires. L'un d'eux, qui était le but ultime, était de montrer «que toutes les mathématiques pures ont exclusivement à voir avec des concepts définissables en termes d'un très petit nombre de concepts logiques fondamentaux et que toutes ses propositions sont déductibles d'un trés petit nombre de principes logiques fondamentaux (…)».
Dialogue, 1985
Le dernier ouvrage d'Yvon Gauthier, son quatrième, n'est certes pas d'une lecture des... more 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 (le mien) de m'excuser à l'avance si, dans le foisonnement philosophique de l'ouvrage, j'ai dû restreindre mon attention à certains aspects particuliers.
The question of the semantic interpretation of counterfactuals is a very old one and a lot of phi... more The question of the semantic interpretation of counterfactuals is a very old one and a lot of philosophers have spent their time trying to give a theory which would be logically sound and have
This paper presents a generalization of a proposal of van Benthem’s who has shown how to provide ... more 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 that this result can be extended to the finite theory of types by the introduction of an algebra on individuals. 1.
Keywords: Mathematiques ; logique ; methode ; sciences cognitives ; cognition Reference Record cr... more Keywords: Mathematiques ; logique ; methode ; sciences cognitives ; cognition Reference Record created on 2005-06-20, modified on 2016-08-08
Philosophy in review, 2000
We first present a sound and complete system of intuitionistic logic augmented with Nelson’s stro... more We first present a sound and complete system of intuitionistic logic augmented with Nelson’s strong negation and interpreted in Kripke’s models’ structure. Then, we show that intuitionistic logic can naturally be interpreted in a modal trivalent logic (propositions are true, false or undefined). Secondly, we introduce a partial probability interpretation, which is inspired by Popper’s conditional probability functions and are characterized by the fact that conditions are not propositions but rather sets of propositions. Finally, we define the notion of probabilistic validity and we show using Kripke’s models that the intuitionistic system is sound and complete. 1. Motivation and background One starting point of this paper is partial logic. In [5] and [6], Lapierre and I showed that partial logic can be interpreted as a three-valued logic, the third value being the undefined value. Following Thijsse [13], we used Saturated deductively closed consistent sets (SDCCS) for the completene...
Moebius : écritures / Littérature, 2010
Actas Del V Congreso De La Sociedad De Logica Metodologia Y Filosofia De La Ciencia En Espana 2006 Isbn 978 84 9349419 3 Pags 47 51, 2006
L’ontologie de Leśniewski est un calcul général des noms. Elle fut créée par Leśniewski pour appo... more L’ontologie de Leśniewski est un calcul général des noms. Elle fut créée par Leśniewski pour apporter une solution naturelle au paradoxe de Russell en théorie naïve des ensembles. L’ontologie a été perçue par ses défenseurs et par ses adversaires comme une théorie incompatible avec la théorie des ensembles. Dans le présent texte, nous montrons que l’ontologie de Leśniewski permet, au contraire, de définir une théorie des ensembles qui coïncide avec la théorie de Zermelo- Fraenkel
Philosophiques, 2001
Parmi l'ensemble de toutes les propositions à propos desquelles un agent rationnel entretient... more 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é.
Philosophiques, 1984
Résumé La théorie des types que Bertrand Russell proposa en 1908 ne se voulait pas une solution a... more Résumé 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…
Dialogue, 1979
En 1903, Bertrand Russell publie The Principles of Mathematics, ouvrage qu'il présente dans l... more En 1903, Bertrand Russell publie The Principles of Mathematics, ouvrage qu'il présente dans la préface comme le premier de deux tomes consacrés à une impressionnante entreprise de fondement des mathématiques. Cet ambitieux projet comportait, en fait, deux objectifs distincts qui, selon l'auteur, étaient complémentaires. L'un d'eux, qui était le but ultime, était de montrer «que toutes les mathématiques pures ont exclusivement à voir avec des concepts définissables en termes d'un très petit nombre de concepts logiques fondamentaux et que toutes ses propositions sont déductibles d'un trés petit nombre de principes logiques fondamentaux (…)».
Dialogue, 1985
Le dernier ouvrage d'Yvon Gauthier, son quatrième, n'est certes pas d'une lecture des... more 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 (le mien) de m'excuser à l'avance si, dans le foisonnement philosophique de l'ouvrage, j'ai dû restreindre mon attention à certains aspects particuliers.
The question of the semantic interpretation of counterfactuals is a very old one and a lot of phi... more The question of the semantic interpretation of counterfactuals is a very old one and a lot of philosophers have spent their time trying to give a theory which would be logically sound and have
This paper presents a generalization of a proposal of van Benthem’s who has shown how to provide ... more 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 that this result can be extended to the finite theory of types by the introduction of an algebra on individuals. 1.
Keywords: Mathematiques ; logique ; methode ; sciences cognitives ; cognition Reference Record cr... more Keywords: Mathematiques ; logique ; methode ; sciences cognitives ; cognition Reference Record created on 2005-06-20, modified on 2016-08-08
Philosophy in review, 2000
We first present a sound and complete system of intuitionistic logic augmented with Nelson’s stro... more We first present a sound and complete system of intuitionistic logic augmented with Nelson’s strong negation and interpreted in Kripke’s models’ structure. Then, we show that intuitionistic logic can naturally be interpreted in a modal trivalent logic (propositions are true, false or undefined). Secondly, we introduce a partial probability interpretation, which is inspired by Popper’s conditional probability functions and are characterized by the fact that conditions are not propositions but rather sets of propositions. Finally, we define the notion of probabilistic validity and we show using Kripke’s models that the intuitionistic system is sound and complete. 1. Motivation and background One starting point of this paper is partial logic. In [5] and [6], Lapierre and I showed that partial logic can be interpreted as a three-valued logic, the third value being the undefined value. Following Thijsse [13], we used Saturated deductively closed consistent sets (SDCCS) for the completene...