127 found
Order:
  1.  17
    (2 other versions)Symbolic Logic.Hugues Leblanc - 1954 - Journal of Symbolic Logic 19 (4):282-284.
    Direct download  
     
    Export citation  
     
    Bookmark   46 citations  
  2.  12
    Probability Theory and Probability Logic.Peter Roeper & Hugues Leblanc - 1999 - University of Toronto Press.
    As a survey of many technical results in probability theory and probability logic, this monograph by two widely respected scholars offers a valuable compendium of the principal aspects of the formal study of probability. Hugues Leblanc and Peter Roeper explore probability functions appropriate for propositional, quantificational, intuitionistic, and infinitary logic and investigate the connections among probability functions, semantics, and logical consequence. They offer a systematic justification of constraints for various types of probability functions, in particular, an exhaustive account of probability (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  3.  27
    Truth-value semantics.Hugues Leblanc - 1976 - New York: distributor, Elsevier/North-Holland.
  4.  55
    Completeness of relevant quantification theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.
  5. Nondesignating singular terms.Hugues Leblanc - 1959 - Philosophical Review 68 (2):239-243.
  6.  16
    Alternatives to Standard first-order Semantics.Hugues Leblanc, D. Gabbay & F. Guenthner - 1989 - Journal of Symbolic Logic 54 (4):1483-1484.
  7.  24
    Deductive logic.Hugues Leblanc - 1972 - Boston,: Allyn & Bacon. Edited by William A. Wisdom.
  8.  36
    (1 other version)Probabilistic Semantics for First‐Order Logic.Hugues Leblanc - 1979 - Mathematical Logic Quarterly 25 (32):497-509.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  9.  28
    The Structure of Appearance.Hugues Leblanc - 1952 - Philosophy and Phenomenological Research 12 (3):447-448.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  10.  17
    (2 other versions)Introduction to Logic.Hugues Leblanc - 1954 - Journal of Symbolic Logic 19 (2):147-148.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  11.  15
    Popper's 1955 Axiomatization of Absolute Probability.Hugues Leblanc - 1982 - Pacific Philosophical Quarterly 63 (2):133-145.
  12.  40
    (2 other versions)Truth, syntax and modality.Hugues Leblanc (ed.) - 1973 - Amsterdam,: North-Holland.
    Provability, Computability and Reflection.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  39
    Indiscernibility and identity in probability theory.Peter Roeper & Hugues Leblanc - 1990 - Notre Dame Journal of Formal Logic 32 (1):1-46.
  14.  43
    Truth-value semantics for a logic of existence.Hugues Leblanc - 1971 - Notre Dame Journal of Formal Logic 12 (2):153-168.
  15.  27
    Probability Theory and Probability Semantics.Peter Roeper & Hugues Leblanc (eds.) - 1999 - University of Toronto Press.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  46
    Probability Theory, Intuitionism, Semantics and the Dutch Book Argument.Charles G. Morgan & Hugues Leblanc - 1983 - Notre Dame Journal of Formal Logic 24 (3):289-304.
  17.  43
    (1 other version)Probability functions and their assumption sets — the singulary case.Hugues Leblanc - 1983 - Journal of Philosophical Logic 12 (4):379 - 402.
  18.  20
    Existence, Truth, and Provability.Hugues Leblanc - 1980 - Albany, NY, USA: State University of New York Press.
    Introductions to the parts of the book cover the history of the contributions and their importance. The essays have been thoroughly revised since their publication in learned journals.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  34
    On relativizing Kolmogorov's absolute probability functions.Hugues Leblanc & Peter Roeper - 1989 - Notre Dame Journal of Formal Logic 30 (4):485-512.
  20.  63
    On requirements for conditional probability functions.Hugues Leblanc - 1960 - Journal of Symbolic Logic 25 (3):238-242.
  21.  59
    On Carnap and Popper Probability Functions.Hugues Leblanc & Bas C. van Fraassen - 1979 - Journal of Symbolic Logic 44 (3):369 - 373.
  22. The autonomy of probability theory (notes on Kolmogorov, rényi, and popper).Hugues Leblanc - 1989 - British Journal for the Philosophy of Science 40 (2):167-181.
    Kolmogorov's account in his [1933] of an absolute probability space presupposes given a Boolean algebra, and so does Rényi's account in his [1955] and [1964] of a relative probability space. Anxious to prove probability theory ‘autonomous’. Popper supplied in his [1955] and [1957] accounts of probability spaces of which Boolean algebras are not and [1957] accounts of probability spaces of which fields are not prerequisites but byproducts instead.1 I review the accounts in question, showing how Popper's issue from and how (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  29
    Existence, Truth and Provability.Ermanno Bencivenga & Hugues LeBlanc - 1985 - Journal of Symbolic Logic 50 (1):227.
  24.  44
    A revised version of Goodman's confirmation paradox.Hugues Leblanc - 1963 - Philosophical Studies 14 (4):49 - 51.
  25.  31
    (1 other version)A simplified account of validity and implication for quantificational logic.Hugues Leblanc - 1968 - Journal of Symbolic Logic 33 (2):231-235.
  26. Three Generalizations of a Theorem of Beth's'.Hugues Leblanc - 1969 - Logique Et Analyse 12 (47):205-220.
     
    Export citation  
     
    Bookmark   4 citations  
  27.  38
    Two shortcomings of natural deduction.Hugues Leblanc - 1966 - Journal of Philosophy 63 (2):29-37.
  28.  53
    What price substitutivity? A note on probability theory.Hugues Leblanc - 1981 - Philosophy of Science 48 (2):317-322.
    Teddy Seidenfeld recently claimed that Kolmogorov's probability theory transgresses the Substitutivity Law. Underscoring the seriousness of Seidenfeld's charge, the author shows that (Popper's version of) the law, to wit: If (∀ D)(Pr(B,D)=Pr(C,D)), then Pr(A,B)=Pr(A,C), follows from just C1. 0≤ Pr(A,B)≤ 1 C2. Pr(A,A)=1 C3. Pr(A & B,C)=Pr(A,B & C)× Pr(B,C) C4. Pr(A & B,C)=Pr(B & A,C) C5. Pr(A,B & C)=Pr(A,C & B), five constraints on Pr of the most elementary and most basic sort.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  51
    Logic Without Metaphysics.Hugues Leblanc - 1957 - Philosophy and Phenomenological Research 18 (2):267-267.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  29
    Two separation theorems for natural deduction.Hugues Leblanc - 1966 - Notre Dame Journal of Formal Logic 7 (2):159-180.
  31.  22
    The Demarcation Line Between Intuitionist Logic and Classical Logic.Hugues Leblanc & Richmond H. Thomason - 1966 - Mathematical Logic Quarterly 12 (1):257-262.
  32.  42
    That principia mathematica, first edition, has a predicative interpretation after all.Hugues Leblanc - 1975 - Journal of Philosophical Logic 4 (1):67 - 70.
  33.  33
    Logic and Knowledge. Essays 1901-1950.Hugues Leblanc - 1958 - Philosophy and Phenomenological Research 19 (1):121-122.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  28
    Techniques of deductive inference.Hugues Leblanc - 1966 - Englewood Cliffs, N.J.,: Prentice-Hall.
  35.  25
    Proof routines for the propositional calculus.Hugues Leblanc - 1963 - Notre Dame Journal of Formal Logic 4 (2):81-104.
  36.  70
    Annual meeting of the association for symbolic logic: Philadelphia 1981.Simon Kochen, Hugues Leblanc & Charles D. Parsons - 1983 - Journal of Symbolic Logic 48 (3):898-910.
  37.  13
    A liberated version of S5.Karel Lambert, Hugues Leblanc & Robert Meyer - 1969 - Archive for Mathematical Logic 12 (3-4):151-154.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  43
    A rationale for analogical inference.Hugues Leblanc - 1969 - Philosophical Studies 20 (1-2):29 - 31.
  39.  49
    Boolean algebra and the propositional calculus.Hugues Leblanc - 1962 - Mind 71 (283):383-386.
  40.  45
    On Characterizing Unary Probability Functions and Truth-Value Functions.Hugues Leblanc - 1985 - Canadian Journal of Philosophy 15 (1):19 - 24.
    Consider a language SL having as its primitive signs one or more atomic statements, the two connectives ‘∼’ and ‘&,’ and the two parentheses ‘’; and presume the extra connectives ‘V’ and ‘≡’ defined in the customary manner. With the statements of SL substituting for sets, and the three connectives ‘∼,’ ‘&,’and ‘V’ substituting for the complementation, intersection, and union signs, the constraints that Kolmogorov places in [1] on probability functions come to read:K1. 0 ≤ P,K2. P) = 1,K3. If (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  35
    Probabilistic semantics: An overview.Hugues Leblanc - 1980 - Philosophia 9 (2):231-249.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  35
    Wittgenstein and the Truth-Functionality Thesis.Hugues Leblanc - 1972 - American Philosophical Quarterly 9 (3):271 - 274.
  43.  44
    Of A and B being logically independent of each other and of their having no common factual content.Peter Roeper & Hugues Leblanc - 1995 - Theoria 61 (1):61-79.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44. A new interpretation of C (h, e).Hugues Leblanc - 1960 - Philosophy and Phenomenological Research 21 (3):373-376.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45. Table Des matières de l'année 1969.Carlos E. Alchourrôn, Leo Apostel, F. G. Asenjo, E. M. Barth, J. Evenden, H. G. Hubbeling, Paul Gochet, Joseph Gruenfeld, Hugues Leblanc & H. Montgomery - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark  
  46.  8
    Problems of Analysis.Hugues Leblanc - 1955 - Philosophy and Phenomenological Research 16 (1):135-136.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  11
    (2 other versions)On Proper Quantifiers I.Hugues Leblanc - 1967 - Journal of Symbolic Logic 32 (2):262-263.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  24
    Introduction to Mathematical Logic. Volume I.Hugues Leblanc - 1957 - Philosophy and Phenomenological Research 18 (2):265-267.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  17
    Le Formalisme Logico–Mathématique et le Problème du Non–sens.Hugues Leblanc - 1958 - Philosophy and Phenomenological Research 19 (4):556-556.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  24
    Duals of Smullyan trees.Hugues Leblanc & D. Paul Snyder - 1972 - Notre Dame Journal of Formal Logic 13 (3):387-393.
1 — 50 / 127