103 found
Sort by:
  1. 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). Table Des Matières de l'Année 1969. Logique Et Analyse.
    No categories
     
    My bibliography  
     
    Export citation  
  2. Victor Harnik, Terrence S. Millar, Michael L. Wage, Saharon Shelah, Helmut Schwichtenberg, Daniel Lascar, Bruno Poizat, Warren D. Goldfarb, On Carnap & Hugues Leblanc (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 309 (318).
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Peter Roeper & Hugues Leblanc (1999). Absolute Probability Functions for Intuitionistic Propositional Logic. Journal of Philosophical Logic 28 (3):223-234.
    Provided here is a characterisation of absolute probability functions for intuitionistic (propositional) logic L, i.e. a set of constraints on the unary functions P from the statements of L to the reals, which insures that (i) if a statement A of L is provable in L, then P(A) = 1 for every P, L's axiomatisation being thus sound in the probabilistic sense, and (ii) if P(A) = 1 for every P, then A is provable in L, L's axiomatisation being thus (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  4. Hugues Leblanc (1997). Commentary on W. V. Quine's “Free Logic, Description, and Virtual Classes”. Dialogue 36 (01):109-.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Peter Roeper & Hugues Leblanc (1997). De A Et B, de Leur Indépendance Logique, Et de Ce Qu'ils N'ont Aucun Contenu Factuel Commun. Dialogue 36 (01):137-.
    The logical independence of two statements is tantamount to their probabilistic independence, the latter understood in a sense that derives from stochastic independence. And analogous logical and probabilistic senses of having the same factual content similarly coincide. These results are extended to notions of non-symmetrical independence and independence among more than two statements.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Peter Roeper & Hugues Leblanc (1995). Consequence and Confirmation. Notre Dame Journal of Formal Logic 36 (3):341-363.
    Gentzen's account of logical consequence is extended so as to become a matter of degree. We characterize and study two kinds of function G, where G(X,Y) takes values between 0 and 1, which represent the degree to which the set X of statements (understood conjunctively) logically implies the set Y of statements (understood disjunctively). It is then shown that these functions are essentially the same as the absolute and the relative probability functions described by Carnap.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Peter Roeper & Hugues Leblanc (1995). Of A and B Being Logically Independent of Each Other and of Their Having No Common Factual Content. Theoria 61 (1):61-79.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Hugues Leblanc & Peter Roeper (1993). Getting the Constraints on Popper's Probability Functions Right. Philosophy of Science 60 (1):151-157.
    Shown here is that a constraint used by Popper in The Logic of Scientific Discovery (1959) for calculating the absolute probability of a universal quantification, and one introduced by Stalnaker in "Probability and Conditionals" (1970, 70) for calculating the relative probability of a negation, are too weak for the job. The constraint wanted in the first case is in Bendall (1979) and that wanted in the second case is in Popper (1959).
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Hugues Leblanc & Peter Roeper (1992). Les fonctions de probabilité: la question de leur définissabilité récursive. Dialogue 31 (04):643-.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Hugues Leblanc & Peter Roeper (1992). Probability Functions: The Matter of Their Recursive Definability. Philosophy of Science 59 (3):372-388.
    This paper studies the extent to which probability functions are recursively definable. It proves, in particular, that the (absolute) probability of a statement A is recursively definable from a certain point on, to wit: from the (absolute) probabilities of certain atomic components and conjunctions of atomic components of A on, but to no further extent. And it proves that, generally, the probability of a statement A relative to a statement B is recursively definable from a certain point on, to wit: (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Hugues Leblanc, Peter Roeper, Michael Thau & George Weaver (1991). Henkin's Completeness Proof: Forty Years Later. Notre Dame Journal of Formal Logic 32 (2):212-232.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Hugues Leblanc & Peter Roeper (1990). Conditionals and Conditional Probabilities: Three Triviality Theorems. In. In Kyburg Henry E., Loui Ronald P. & Carlson Greg N. (eds.), Knowledge Representation and Defeasible Reasoning. Kluwer. 287--306.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Hugues Leblanc & Peter Roeper (1990). What Are Absolute Probabilities a Function Of? In J. Dunn & A. Gupta (eds.), Truth or Consequences. Kluwer. 307--325.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Peter Roeper & Hugues Leblanc (1990). Indiscernibility and Identity in Probability Theory. Notre Dame Journal of Formal Logic 32 (1):1-46.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. George Weaver, Michael Thau & Hugues Leblanc (1990). Extending Ω‐Consistent Sets to Maximally Consistent, Ω‐Complete Sets. Mathematical Logic Quarterly 36 (5):381-383.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Hugues Leblanc (1989). The Autonomy of Probability Theory (Notes on Kolmogorov, Rényi, and Popper). 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  17. Hugues Leblanc & Peter Roeper (1989). On Relativizing Kolmogorov's Absolute Probability Functions. Notre Dame Journal of Formal Logic 30 (4):485-512.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Hugues Leblanc (1985). On Characterizing Unary Probability Functions and Truth-Value Functions. Canadian Journal of Philosophy 15 (1):19 - 24.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Hugues Leblanc (1984). A New Semantics for First-Order Logic, Multivalent and Mostly Intensional. Topoi 3 (1):55-62.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Hugues Leblanc, Elliott Mendelson & Alex Orenstein (1984). Preface. Synthese 60 (1):3-3.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  21. Hugues Leblanc & Charles G. Morgan (1984). Probability Functions and Their Assumption Sets — the Binary Case. Synthese 60 (1):91 - 106.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  22. Hugues Leblanc (1983). Probability Functions and Their Assumption Sets — the Singulary Case. Journal of Philosophical Logic 12 (4):379 - 402.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  23. Charles G. Morgan & Hugues Leblanc (1983). Probability Theory, Intuitionism, Semantics and the Dutch Book Argument. Notre Dame Journal of Formal Logic 24 (3):289-304.
  24. Hugues Leblanc (1981). What Price Substitutivity? A Note on Probability Theory. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Hugues Leblanc (1980). Existence, Truth, and Probability. State University of New York Press.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Hugues Leblanc (1980). Probabilistic Semantics: An Overview. Philosophia 9 (2):231-249.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Hugues Leblanc (1979). Generalization in First-Order Logic. Notre Dame Journal of Formal Logic 20 (4):835-857.
    DEALING INITIALLY WITH QC, THE STANDARD QUANTIFICATIONAL CALCULUS OF ORDER ONE, THE AUTHOR COMMENTS ON A SHORTCOMING, REPORTED IN 1956 BY MONTAGUE AND HENKIN, IN CHURCH'S ACCOUNT OF A PROOF FROM HYPOTHESES, AND SKETCHES THREE WAYS OF RIGHTING THINGS. THE THIRD, WHICH EXPLOITS A TRICK OF FITCH'S, IS THE SIMPLEST OF THE THREE. THE AUTHOR INVESTIGATES IT SOME, SUPPLYING FRESH PROOF OF UGT, THE UNIVERSAL GENERALIZATION THEOREM. THE PROOF HOLDS GOOD AS ONE PASSES FROM QC TO QC asterisk , THE (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. Hugues Leblanc (1979). Probabilistic Semantics for First‐Order Logic. Mathematical Logic Quarterly 25 (32):497-509.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. Hugues Leblanc & Bas C. Van Fraassen (1979). On Carnap and Popper Probability Functions. Journal of Symbolic Logic 44 (3):369 - 373.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Hugues Leblanc & Bas C. van Fraassen (1979). On Carnap and Popper Probability Functions. Journal of Symbolic Logic 44 (3):369-373.
  31. Hugues Leblanc & William A. Wisdom (1979). Douglas Greenlee 1935-1979. Proceedings and Addresses of the American Philosophical Association 52 (5):639 - 640.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. Hugues Leblanc (1978). Truth-Value Assignments and Their Cardinality. Philosophia 7 (2):305-316.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. Hugues Leblanc (1977). A Strong Completeness Theorem for $3$-Valued Logic. II. [REVIEW] Notre Dame Journal of Formal Logic 18 (1):107-116.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Hugues Leblanc (1976). Truth-Value Semantics. Distributor, Elsevier/North-Holland.
  35. Robert P. McArthur & Hugues Leblanc (1976). A Completeness Result for Quantificational Tense Logic. Mathematical Logic Quarterly 22 (1):89-96.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Hugues Leblanc (1975). Queries on Truth-Conditions. Dialogue 14 (03):410-419.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Hugues Leblanc (1975). That Principia Mathematica, First Edition, has a Predicative Interpretation After All. Journal of Philosophical Logic 4 (1):67 - 70.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Hugues Leblanc & D. Paul Snyder (1974). Erratum: ``Duals of Smullyan Trees''. Notre Dame Journal of Formal Logic 15 (4):648-648.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Robert K. Meyer, J. Michael Dunn & Hugues Leblanc (1974). Completeness of Relevant Quantification Theories. Notre Dame Journal of Formal Logic 15 (1):97-121.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  40. Hugues Leblanc (ed.) (1973). Truth, Syntax and Modality. Amsterdam,North-Holland.
    Provability, Computability and Reflection.
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Hugues Leblanc (1972). Deductive Logic. Boston,Allyn and Bacon.
     
    My bibliography  
     
    Export citation  
  42. Hugues Leblanc (1972). Matters of Relevance. Journal of Philosophical Logic 1 (3/4):269 - 286.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  43. Hugues Leblanc (1972). Wittgenstein and the Truth-Functionality Thesis. American Philosophical Quarterly 9 (3):271 - 274.
  44. Hugues Leblanc & D. Paul Snyder (1972). Duals of Smullyan Trees. Notre Dame Journal of Formal Logic 13 (3):387-393.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. Hugues Leblanc (1971). Truth-Value Semantics for a Logic of Existence. Notre Dame Journal of Formal Logic 12 (2):153-168.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. Hugues Leblanc (1969). A Rationale for Analogical Inference. Philosophical Studies 20 (1-2):29 - 31.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  47. Hugues Leblanc (1969). Three Generalizations of a Theorem of Beth's'. Logique Et Analyse 12 (47):205-220.
    No categories
     
    My bibliography  
     
    Export citation  
  48. Hugues Leblanc (1968). Syntactically Free, Semantically Bound. A Note on Variables. Notre Dame Journal of Formal Logic 9 (2):167-170.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Hugues LeBlanc (1968). A Simplified Account of Validity and Implication for Quantificational Logic. Journal of Symbolic Logic 33 (2):231-235.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  50. Hugues LeBlanc (1968). On Meyer and Lambert's Quantificational Calculus FQ. Journal of Symbolic Logic 33 (2):275-280.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 103