Results for 'Leblanc, H.'

988 found
Order:
  1.  23
    Matters of separation.H. Leblanc & R. K. Meyer - 1972 - Notre Dame Journal of Formal Logic 13 (2):229-236.
  2.  51
    On not strengthening intuitionistic logic.N. D. Belnap, H. Leblanc & R. H. Thomason - 1963 - Notre Dame Journal of Formal Logic 4 (4):313-320.
    tic sequenzen-kalkul of Gentzen, into rules for PCc, the classical sequenzenkalkul. We shall limit ourselves here to sequenzen or turnstile statements of the form A„A„..., A„ I- B, where A„A„..., A„(n ~ 0), and B are wffs consisting of propositional variables, zero or more of the connectives '5', "v', ' ', ')', and '=', and zero or more parentheses. One can pass from PCi to PCc by amending the intelim rules for ' a result of long standing, or by amending (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  7
    Truth-value Semantics for the Theory of Types.H. Leblanc & R. K. Meyer - 1970 - In Karel Lambert (ed.), Philosophical problems in Logic. Dordrecht,: Reidel. pp. 77--101.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  19
    Completeness Theorems for Some Presupposition-Free Logics.H. Leblanc & R. H. Thomason - 1972 - Journal of Symbolic Logic 37 (2):424-425.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  20
    Probabilistic semantics for intuitionistic logic.C. G. Morgan & H. Leblanc - 1983 - Notre Dame Journal of Formal Logic 24 (2):161-180.
  6.  17
    On Prefacing (⊇ X) A ⊃ A (Y/X) WITH (⊇ Y) — A Free Quantification Theory Without Identity.H. Leblanc & R. K. Meyer - 1970 - Mathematical Logic Quarterly 16 (8):447-462.
  7.  6
    Open formulas and the empty domain.H. Leblanc & R. K. Meyer - 1969 - Archive for Mathematical Logic 12 (1-2):78-84.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  24
    All or none; A novel choice of primitives for elementary logic.R. H. Thomason & H. Leblanc - 1967 - Journal of Symbolic Logic 32 (3):345-351.
  9.  9
    All or None: a Novel Choice of Primitives for Elementary Logic.R. H. Thomason & H. Leblanc - 1969 - Journal of Symbolic Logic 34 (1):124-125.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  27
    A strong completeness theorem for $3$-valued logic. [REVIEW]H. Goldberg, H. Leblanc & G. Weaver - 1974 - Notre Dame Journal of Formal Logic 15 (2):325-330.
  11.  38
    The Demarcation Line Between Intuitionist Logic and Classical Logic.Hugues Leblanc & Richmond H. Thomason - 1966 - Mathematical Logic Quarterly 12 (1):257-262.
  12.  7
    Attachment Security in Infancy: A Preliminary Study of Prospective Links to Brain Morphometry in Late Childhood.Élizabel Leblanc, Fanny Dégeilh, Véronique Daneault, Miriam H. Beauchamp & Annie Bernier - 2017 - Frontiers in Psychology 8.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13. 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  
  14.  30
    Mapping mesoscale heterogeneity in the plastic deformation of a copper single crystal.K. R. Magid, J. N. Florando, D. H. Lassila, M. M. LeBlanc, N. Tamura & J. W. Morris - 2009 - Philosophical Magazine 89 (1):77-107.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. 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  
  16. H. Dussort's "L'École de Marbourg". [REVIEW]Hugues Leblanc - 1964 - Philosophy and Phenomenological Research 25 (2):303.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  61
    Explanation in Archeology; An Explicitly Scientific Approach. Patty Jo Watson, Steven A. Leblanc, Charles L. Redman.H. David Tuggle - 1972 - Philosophy of Science 39 (4):564-566.
  18.  18
    Exact Philosophy. [REVIEW]H. M. - 1974 - Review of Metaphysics 27 (4):787-787.
    This book consists of a series of papers "read and discussed at the first Symposium of Exact Philosophy" at Montreal in 1971. "Exact philosophy," the editor says, means "mathematical philosophy, i.e., philosophy done with the explicit help of mathematical logic and mathematics." Judging from the contents, a more accurate statement would be that "exact philosophy" means formal semantics and modal logic. Two thirds of the papers are on these topics. The others include an essay on "Concepts of Randomness" by Peter (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  11
    Review: Raymond D. Gumb, Hughes Leblanc, Evolving Theories. [REVIEW]William H. Hanson - 1982 - Journal of Symbolic Logic 47 (2):454-456.
  20.  27
    Statistical and Inductive Probabilities. By Hugues Leblanc. Englewood Cliffs, New Jersey, Prentice-Hall Inc., 1962. Pp. xii, 148. Trade edition $6.65; text edition $5.00. [REVIEW]R. H. Vincent - 1964 - Dialogue 2 (4):475-480.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  23
    Gumb Raymond D.. Evolving theories. With a foreword by Leblanc Hugues. Haven Publishing Corporation, New York 1979, xi + 96 pp. [REVIEW]William H. Hanson - 1982 - Journal of Symbolic Logic 47 (2):454-456.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  31
    R. H. Thomason and H. Leblanc. All or none: a novel choice of primitives for elementary logic. The journal of symbolic logic, vol. 32 , pp. 345–351.Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
  23.  7
    Review: H. Leblanc, R. H. Thomason, Completeness Theorems for Some Presupposition-Free Logics. [REVIEW]Theodore Hailperin - 1972 - Journal of Symbolic Logic 37 (2):424-425.
  24.  21
    Hugues Leblanc. Preface. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. ix–x. - Hugues Leblanc. Introduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 3–16. - Hugues Leblanc and T. Hailperin. Non-designating singular terms. A revised reprint of XXV 87. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 17–21. - Hugues Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. A revised reprint of XXXVII 424. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 22–57. - Hugues Leblanc and R. K. Meyer. On prefacing ⊃ A with : a free quantification theory without identity. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 58–75. , pp. 447–462. - Hugues Leblanc. Truth-value seman. [REVIEW]Ermanno Bencivenga - 1985 - Journal of Symbolic Logic 50 (1):227-231.
  25.  10
    H. LeBlanc's "Techniques of Deductive Inference". [REVIEW]Henry W. Johnstone - 1967 - Philosophy and Phenomenological Research 28 (2):293.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  23
    H. Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. Fundamenta mathematicae, vol. 62 no. 2 , pp. 125–164. [REVIEW]Theodore Hailperin - 1972 - Journal of Symbolic Logic 37 (2):424-425.
  27.  12
    Review: R. H. Thomason, H. Leblanc, All or None: a Novel Choice of Primitives for Elementary Logic. [REVIEW]Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
  28.  24
    Thomason Richmond H.. Philosophy and formal semantics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Leblanc Hugues, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, pp. 294–307. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):317.
  29. À la recherche du chaînon manquant entre bio et éthique.Antoine Boudreau LeBlanc, Bryn Williams-Jones & Cécile Aenishaenslin - 2022 - Canadian Journal of Bioethics / Revue canadienne de bioéthique 1 (5):103-118.
    Van Rensselaer Potter (1911-2001), le biologiste à l’origine du terme « bioéthique » dans les écrits nord-américains, considère que « real bioethics falls in the context of the ideals of […] Aldo Leopold », un forestier, philosophe et poète ayant marqué le XXe siècle. Associer Leopold à Potter a pour effet de placer la bioéthique dans la famille des éthiques de l’environnement, ce qui la différencie du sens conventionnel retenu en médecine et en recherche depuis le Rapport Belmont (1979), une (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Bio-ethics and one health: a case study approach to building reflexive governance.Antoine Boudreau LeBlanc, Bryn Williams-Jones & Cécile Aenishaenslin - 2022 - Frontiers in Public Health 10 (648593).
    Surveillance programs supporting the management of One Health issues such as antibiotic resistance are complex systems in themselves. Designing ethical surveillance systems is thus a complex task (retroactive and iterative), yet one that is also complicated to implement and evaluate (e.g., sharing, collaboration, and governance). The governance of health surveillance requires attention to ethical concerns about data and knowledge (e.g., performance, trust, accountability, and transparency) and empowerment ethics, also referred to as a form of responsible self-governance. Ethics in reflexive governance (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  17
    Formal Logic.Hugues Leblanc - 1962 - Journal of Symbolic Logic 27 (2):218-220.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  32.  16
    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  
  33.  48
    Statistical and inductive probabilities.Hugues Leblanc - 1962 - Mineola, N.Y.: Dover Publications.
    This evenhanded treatment addresses the decades-old dispute among probability theorists, asserting that both statistical and inductive probabilities may be treated as sentence-theoretic measurements, and that the latter qualify as estimates of the former. Beginning with a survey of the essentials of sentence theory and of set theory, the author examines statistical probabilities, showing that statistical probabilities may be passed on to sentences, and thereby qualify as truth-values. An exploration of inductive probabilities follows, demonstrating their reinterpretation as estimates of truth-values. Each (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  31
    Truth-value semantics for a logic of existence.Hugues Leblanc - 1971 - Notre Dame Journal of Formal Logic 12 (2):153-168.
  35.  23
    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  
  36.  15
    Symbolic Logic.Hugues Leblanc - 1954 - Journal of Symbolic Logic 19 (4):282-284.
    Direct download  
     
    Export citation  
     
    Bookmark   46 citations  
  37.  18
    Mr. Geach on Rigour in Semantics.Hugues Leblanc - 1957 - Journal of Symbolic Logic 22 (3):314-314.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  21
    Two separation theorems for natural deduction.Hugues Leblanc - 1966 - Notre Dame Journal of Formal Logic 7 (2):159-180.
  39.  15
    A First Course in Modern Logic.Hugues Leblanc - 1959 - Journal of Symbolic Logic 24 (3):220-221.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  40.  21
    Duals of Smullyan trees.Hugues Leblanc & D. Paul Snyder - 1972 - Notre Dame Journal of Formal Logic 13 (3):387-393.
  41.  14
    Introduction to Logic.Hugues Leblanc - 1954 - Journal of Symbolic Logic 19 (2):147-148.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  42.  11
    Commentary on Novak.Jill LeBlanc - unknown
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Ineffability Claims in the Mystical Theology of St John of the Cross.Jill Leblanc - 1991 - Dissertation, University of Toronto (Canada)
    I investigate the mystic's claim that God, or the experience of God, is "beyond" language. Taking St John of the Cross as a primary text, I isolate the reasons that he gives for the ineffability that he claims, determine the theory or theories of language that underlie these reasons, and ask whether these are adequate reasons for ineffability. ;St John of the Cross offers various suggestions about why he should be unable to find the right words to describe his experience. (...)
    No categories
     
    Export citation  
     
    Bookmark  
  44.  7
    Truth and Denotation: A Study in Semantical Theory.Hugues LeBlanc - 1959 - Philosophy and Phenomenological Research 20 (4):559-559.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  45
    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  
  46. The realm of the infinite.H. W. Woodin - 2011 - In Michał Heller & W. H. Woodin (eds.), Infinity: new research frontiers. New York: Cambridge University Press.
     
    Export citation  
     
    Bookmark   18 citations  
  47.  13
    Psychologism, Logic, and Mr. Myhill.Hugues Leblanc - 1965 - Journal of Symbolic Logic 30 (3):366-366.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  33
    On relativizing Kolmogorov's absolute probability functions.Hugues Leblanc & Peter Roeper - 1989 - Notre Dame Journal of Formal Logic 30 (4):485-512.
  49.  90
    Anton Marty and Contemporary Philosophy.Giuliano Bacigalupo & Hélène Leblanc (eds.) - 2019 - Cham: Palgrave.
    This edited collection of eight original essays pursues the aim of bringing the spotlight back on Anton Marty. It does so by having leading figures in the contemporary debate confront themselves with Marty’s most significative contributions, which span from philosophy of mind, philosophy of language and ontology to meta-metaphysics and meta-philosophy. -/- The book is divided in three parts. The first part is dedicated to themes in philosophy of language, which were at the centre of Marty’s philosophical thinking throughout his (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  4
    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  
1 — 50 / 988