No CrossRef data available.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
Published online by Cambridge University Press: 13 April 2010
Les articles regroupés dans ce numéro spécial, à l'exception de celui de P. Roeper et H. Leblanc «De A et B, de leur indépendance logique, et de ce qu'ils n'ont aucun contenu factuel commun», ont tous pour origine un colloque tenu les 25 et 26 mars 1994 à l'Université du Québec à Montréal. C'était pour souligner la contribution sans égale faite par un Québécois au développement de la logique qu'à l'occasion du soixante-dixième anniversaire de naissance du Professeur Hugues Leblanc est née l'idée d'organiser ce colloque. Parce que c'est en partie sous l'impulsion fournie par le travail de H. Leblanc qu'ont été développées des sémantiques et des logiques non standard (logiques libres, avec ou sans identité; sémantique en termes de valeurs de vérité; et sémantique probabiliste entre autres), ce colloque portait le titre «Logiques et sémantiques non classiques».
1 H. Leblanc est ne a St-Hyacinthe (QC) en 1924. Après avoir obtenu une maîtrise en philosophie à l'Université de Montréal (1946), il rédige sa thèse de doctorat sous la direction de W. V. O. Quine et obtient en 1948 un Ph.D. en philosophie de Harvard. Il détient des doctorats honorifiques de l'Université de Montréal (1980), de Dalhousie University (1982), ainsi qu'une Reconnaissance de mérite scientifique de l'Universit' du Qu'bec à Montréal. Ses principaux champs d'int'rêt sont la logique litre, la sémantique en termes de valeurs de vérité (truth-value semantics), la semantique probabiliste et la théorie des probabilités. Il est l'auteur de quatre livres (dont Statistical and Inductive Probabilitiés et Truth- Value Semantics) et coauteur de deux autres (dont un manuel de logique bien connu : Deductive Logic, qui en est à sa troisième èdition). Il a dirigé ou codirigé la publication de quatre recueils d'articles; il est auteur ou coauteur de plus de cent articles scientifiques. Il est fellow des foundations Fulbright et Guggenheim. Il travaille en ce moment à la sémantique probabiliste et à la théorie des probabilités, un travail qu'il poursuit en collaboration avec le Dr Peter Roeper de l'Australian National University à Canberra.
2 Kant, E. (1781), Critique de la raison pure, trad. Barni, J., Paris, Flammarion, 1987, p. 37 (Preface de la seconde édition).Google Scholar
3 Kripke, S., «Is There a Problem About Substitutional Quantification?», dans G. Evans et J. McDowell, Truth and Meaning, Oxford, Oxford University Press, 1976, p. 325–419.Google Scholar
4 «Les propositions primitives de Principia Mathematica permettent d'inférer qu'au moins un individu existe. C'est pour moi aujourd'hui un défaut du point de vue de la pureté logique», Russell, B., Introduction à la philosophie mathématique, Paris, Payot, 1991 (pour la trad.), p. 370, n. 1.Google Scholar
5 Leonard, H. S., «The Logic of Existence», Philosophical Studies, vol. 7 (1956), p. 49–64.CrossRefGoogle Scholar
6 T est ici n'importe quel terme, et A(TIX) est le résultat de la substitution de T à Xpartout dans A. Ma présentation s'inspire ici d'un texte de Leblanc, H., «On Axiomatizing Free Logic—And Inclusive Logic in the Bargain», paru dans M. Marion et R. S. Cohen, dir., Québec Studies in the Philosophy of Science, vol. 1, Dordrecht, Kluwer, 1995, p. 1–22.Google Scholar
7 Leblanc, H. et Hailperin, T., «Nondesignating Singular Terms», The Philosophical Review, vol. 58, no2 (1959), p. 239–243.CrossRefGoogle Scholar
8 Fitch, F. B., «Intuitionistic Modal Logic with Quantifiers», Portugaliae Mathematica, vol. 7 (1948), p. 113–118.Google Scholar
9 van Fraassen, B. C., «The Completeness of Free Logic», Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), p. 29–234CrossRefGoogle Scholar. À ce sujet, voir aussi van Fraassen, B. C., «Singular Terms, Truth-Value Gaps, and Free Logic», Journal of Philosophy, vol. 67 (1966), p. 481–495CrossRefGoogle Scholar, et van Fraassen, B. C. «A Topological Proof of the Löwenheim-Skolem, Compactness, and Strong Completeness Theorems for Free Logic», Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 (1968), p. 245–254.CrossRefGoogle Scholar
10 Thomason, R. H. et Leblanc, H., «Completeness Theorems for Some Presupposition-Free Logics», Fundamenta Mathematica, vol. 62 (1968), p. 125–164.Google Scholar
11 Hintikka, J., «Existential Presuppositions and Existential Commitments», The Journal of Philosophy, vol. 56 (1959), p. 125–137.CrossRefGoogle Scholar
12 Lambert, K., «Existential Import Revisited», Notre Dame Journal of Formal Logic, vol. 4 (1963), p. 228–292.CrossRefGoogle Scholar
13 Leblanc, H., «Probabilistic Semantics for First-Order Logic», Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 25 (1979), p. 498–509.CrossRefGoogle Scholar
14 Voir notamment, Leblanc, H., «Alternatives to Standard First-Order Semantics», dans D. Gabbay et F. Guenthner, dir., Handbook of Philosophical Logic, vol. 1, Dordrecht, Reidel, 1983, p. 189–274.CrossRefGoogle Scholar
15 Je remercie vivement Claude Panaccio, Steven Davis et Peter Loptson pour leur aide et leur patience inestimables. Je remercie aussi les auteurs ainsi que tous les participants au colloque qui est à l'origine de ces textes. Il serait long d'énumerer les gens qui, de près ou de loin, ont contribuè d'une façon ou d'une autre à la réalisation de ce numéro, mais il serait injuste de ne pas mentionner Hugues Leblanc qui a collaboré à la rédaction d'un lointain ancétre de la section 2 et qui m'a donné des conseils et des suggestions utiles pour la traduction de «De A et B, de leur indépendance logique, et de ce qu'ils n'ont aucun contenu factuel commun»; Hugues Leblanc, Bas C. van Fraassen et François Lepage pour une aide semblable dans la traduction de «Probabilité conditionnelle et certitude»; et Josiane Ayoub pour son appui indéfectible dans l'organisation du colloque qui est à l'origine des textes. Enfin, le CRSH, le PAFACC (UQAM), FODAR (UQ) et le Département de philosophie (UQAM) ont fourni le soutien financier nécessaire à la tenue du Colloque «Logiques et sémantiques non classiques», une aide qui s'étend à la production de ce numéro.