Results for 'Louis Henkin'

1000+ found
Order:
  1. Neutral Principles" and Future Cases.Louis Henkin - 1964 - In Sidney Hook (ed.), Law and Philosophy. New York University Press.
     
    Export citation  
     
    Bookmark  
  2.  21
    Review: Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys, Discussion Generale. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):186-186.
  3.  15
    Bernays Paul, Beth E. W., Brouwer L. E. J., Destouches Jean-Louis, Feys R.. Discussion Générale. Les Méthodes Formelles En Axiomatique Paris Décembre 1950, Colloques Internationaux du Centre National de la Recherche Scientifique No. 36, Paris 1953, Pp. 73–74. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):186.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  17
    Bernays Paul, Beth E. W., Brouwer L. E. J., Destouches Jean-Louis, Feys R.. Discussion Générale. Les Méthodes Formelles En Axiomatique Paris Décembre 1950, Colloques Internationaux du Centre National de la Recherche Scientifique No. 36, Paris 1953, Pp. 73–74. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):185-186.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Constitutionalism, Identity, Difference, and Legitimacy: Theoretical Perspectives.Michel Rosenfeld - 1994 - Duke University Press.
    Interest in constitutionalism and in the relationship among constitutions, national identity, and ethnic, religious, and cultural diversity has soared since the collapse of socialist regimes in Eastern Europe and the former Soviet Union. Since World War II there has also been a proliferation of new constitutions that differ in several essential respects from the American constitution. These two developments raise many important questions concerning the nature and scope of constitutionalism. The essays in this volume—written by an international group of prominent (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. THE PROBLEM OF SOVEREIGNTY, INTERNATIONAL LAW, AND INTELLECTUAL CONSCIENCE.Richard Lara - 2014 - Journal of the Philosophy of International Law 5 (1):31-54.
    The concept of sovereignty is a recurring and controversial theme in international law, and it has a long history in western philosophy. The traditionally favored concept of sovereignty proves problematic in the context of international law. International law’s own claims to sovereignty, which are premised on traditional concept of sovereignty, undermine individual nations’ claims to sovereignty. These problems are attributable to deep-seated flaws in the traditional concept of sovereignty. A viable alternative concept of sovereignty can be derived from key concepts (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  1
    L'œvre de Louis Couturat :... De Leibniz À Russell.Louis Couturat - 1983 - Rue d'Ulm.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Louis Lavelle Actes du Colloque International Organisé Pour le Centenaire de la Naissance de Louis Lavelle.Louis Lavelle - 1987
    No categories
     
    Export citation  
     
    Bookmark  
  9. Louis de Broglie, physicien et penseur.Albert Einstein & Louis de Broglie - 1958 - Revue Philosophique de la France Et de l'Etranger 148:102-102.
     
    Export citation  
     
    Bookmark   6 citations  
  10.  9
    DUPRÉ, Louis, Passage to Modernity, An Essay in the Hermeneutics of Nature and CultureDUPRÉ, Louis, Passage to Modernity, An Essay in the Hermeneutics of Nature and Culture.Louis Valcke - 1995 - Laval Théologique et Philosophique 51 (3):671-678.
  11.  3
    Personalist Morals: Essays in Honor of Professor Louis Janssens.Louis Janssens, Joseph A. Selling & Franz Böckle (eds.) - 1988 - Peeters.
  12.  12
    From Descartes to Hume Continental Metaphysics and the Development of Modern Philosophy /Louis E. Loeb. --. --.Louis E. Loeb - 1981 - Cornell University Press, C1981.
  13. Louis Rene Beres -- Vain Hopes and a Fool's Fancy: Understanding U.S. Nuclear Strategy.Louis René Beres - 1984 - Philosophy and Social Criticism 10 (3-4):35-51.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  18
    Interview: Louis Marin.Louis Marin - 1977 - Diacritics 7 (2):44.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  9
    Questions posées à Louis Ch'tellier, Luce Giard, Dominique Julia et John O’Malley.Louis Châtellier, Luce Giard & John O’Malley - 1999 - Revue de Synthèse 120 (2-3):409-431.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  15
    Kreisel G.. On a Problem of Henkin'S. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 56 , Pp. 405–406; Also Indagationes Mathematicae, Vol. 15 , Pp. 405–406. [REVIEW]Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):219-220.
  17.  14
    Belief and Will: LOUIS P. POJMAN.Louis P. Pojman - 1978 - Religious Studies 14 (1):1-14.
    It is a widely held belief that one can will to believe, disbelieve, and withhold belief concerning propositions. It is sometimes said that we have a duty to believe certain propositions. These theses have had a long and respected history. In one form or another they receive the support of a large number of philosophers and theologians who have written on the relationship of the will to believing. In the New Testament Jesus holds his disciples responsible for their beliefs, reprimands (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  9
    A Man of Two Continents: Louis Bertrand.Louis-Alphonse Maugendre - 1973 - Renascence 25 (3):157-167.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  47
    Entretien avec Claude Louis-Combet.Claude Louis-Combet - 2004 - Rue Descartes 43 (1):88.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  20.  22
    3. Immanentes Transzendieren und die Praxis der Philosophie: Louis Althusser.Louis Althusser - 2018 - In Kaja Tulatz (ed.), Epistemologie Als Reflexion Wissenschaftlicher Praxen: Epistemische Räume Im Ausgang von Gaston Bachelard, Louis Althusser Und Joseph Rouse. Transcript Verlag. pp. 241-302.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. The Record Book of the St. Louis Philosophical Society, Founded February 1866.Mo St Louis Philosophical Society Louis, Kurt F. Leidecker & William Torrey Harris - 1990
    No categories
     
    Export citation  
     
    Bookmark  
  22.  20
    Rationality and Religious Belief: LOUIS P. POJMAN.Louis P. Pojman - 1979 - Religious Studies 15 (2):159-172.
    In debate on faith and reason two opposing positions have dominated the field. The first position asserts that faith and reason are commensurable and the second position denies that assertion. Those holding to the first position differ among themselves as to the extent of the compatibility between faith and reason, most adherents relegating the compatibility to the ‘preambles of faith’ over against the ‘articles of faith’ . Few have maintained complete harmony between reason and faith, i.e. a religious belief within (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. A Symposium on Louis E. Loeb, Stability and Justification in Hume's Treatise.Michael Williams, Frederick F. Schmitt, Erin I. Kelly & Louis E. Loeb - 2004 - Hume Studies 30 (2):265-404.
  24.  18
    JOÓS, Ernest, dir., La Scolastique : certitude et recherche. En hommage à Louis-Marie Régis : recueil.Louis-Émile Blanchet - 1981 - Laval Théologique et Philosophique 37 (3):370-372.
  25.  23
    A Primer of Issues in Ethics: A Book Review by Louis Hodges. [REVIEW]Louis Hodges - 1995 - Journal of Mass Media Ethics 10 (3):184.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Corrigenda to Poole's Rules and A Lemma of Simari-Loui.R. Loui - unknown
    This note corrects a lemma in the recent paper 1] of one of the authors by rst correcting problems with Poole's rule for speci city of arguments. It also responds to the criticism of Touretzky, et al. 9].
    No categories
     
    Export citation  
     
    Bookmark  
  27.  68
    Henkin Quantifiers and the Definability of Truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.
    Henkin quantifiers have been introduced in Henkin (1961). Walkoe (1970) studied basic model-theoretical properties of an extension $L_{*}^{1}$ (H) of ordinary first-order languages in which every sentence is a first-order sentence prefixed with a Henkin quantifier. In this paper we consider a generalization of Walkoe's languages: we close $L_{*}^{1}$ (H) with respect to Boolean operations, and obtain the language L¹(H). At the next level, we consider an extension $L_{*}^{2}$ (H) of L¹(H) in which every sentence is an (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  28.  13
    A Tale of 2 Amateurs Who Crossed Cultural Frontiers with Boole Symbolical Algebra-with a Mathematical Commentary by Kauffman, Louis, H.-Special-Issue.Milton Singer & Louis H. Kauffman - 1995 - Semiotica 105 (1-2):3-185.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. A l'épreuve des notions morales: l'approfondissement de l'empirisme.Louis Guerpillon - 2022 - In Johanna Lenne-Cornuez & Céline Spector (eds.), Rousseau Et Locke. Dialogues Critiques. Oxford University Studies in the Enlightenment, Liverpool University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  3
    Theosophic Correspondence Between Louis Claude De Saint-Martin (the "Unknown Philosopher") and Kirchberger, Baron De Liebistorf.Louis Claude de Saint-Martin - 1949 - Theosophical University Press.
    For several centuries prior to the founding of the Theosophical Society in 1875, individual 'theosophers' in Britain and Europe were quietly in touch with one another all seekers of the inward way. Theosophic Correspondence (1792 1797) is a series of inspiring letters, personal and philosophic, exchanged during the climactic days of the French Revolution between Kirchberger, member of the Sovereign Council at Berne, Switzerland, and Saint-Martin, whom Kirchberger regarded as 'the most eminent writer . . . and most profound of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  22
    Japanese Prints, Hokusai and Hiroshige, in the Collection of Louis V. Ledoux.Ludwig Bachhofer & Louis V. Ledoux - 1952 - Journal of the American Oriental Society 72 (2):87.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  25
    Henkin Quantifiers and Complete Problems.Andreas Blass & Yuri Gurevich - 1986 - Annals of Pure and Applied Logic 32:1--16.
  33.  19
    Henkin Sentences and Local Reflection Principles for Rosser Provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  20
    Review: Stanislaw Jaskowski, Sur les Variables Propositionelles Dependantes. [REVIEW]Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):65-65.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35. A Henkin-Style Completeness Proof for the Modal Logic S5.Bruno Bentzen - 2021 - In Pietro Baroni, Christoph Benzmüller & Yì N. Wáng (eds.), Logic and Argumentation: Fourth International Conference, CLAR 2021, Hangzhou, China, October 20–22. Springer. pp. 459-467.
    This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  14
    Japanese Prints, Sharaku to Toyokuni, in the Collection of Louis V. LedouxJapanese Prints, Hokusai and Hiroshige, in the Collection of Louis V. Ledoux.Prudence R. Myer & Louis V. Ledoux - 1952 - Journal of Aesthetics and Art Criticism 10 (3):287.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Le Roi-Machine: Spectacle Et Politique au Temps de Louis XIV.Jean-Marie Apostolidès, Norbert Elias, Edmund Jephcott & Louis Marin - 1984 - Science and Society 48 (2):245-250.
     
    Export citation  
     
    Bookmark   5 citations  
  38.  2
    Review: A. Mal'cev, On a General Method for Obtaining Local Theorems in Group Theory. [REVIEW]Leon Henkin & Andrzej Mostowski - 1959 - Journal of Symbolic Logic 24 (1):55-57.
  39.  11
    Review: Hans Freudenthal, Lincos. Design of a Language for Cosmic Intercourse. Part I. [REVIEW]Louis Narens - 1973 - Journal of Symbolic Logic 38 (3):517-517.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  9
    Henkin Constructions of Models with Size Continuum.John T. Baldwin & Michael C. Laskowski - 2019 - Bulletin of Symbolic Logic 25 (1):1-33.
    We describe techniques for constructing models of size continuum inωsteps by simultaneously building a perfect set of enmeshed countable Henkin sets. Such models have perfect, asymptotically similar subsets. We survey applications involving Borel models, atomic models, two-cardinal transfers and models respecting various closure relations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Proceedings of the Tarski Symposium an International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday.Leon Henkin, Alfred Tarski & Association for Symbolic Logic - 1974
     
    Export citation  
     
    Bookmark  
  42. Holism and the Understanding of Science: Integrating the Analytical, Historical and Sociological.Louis Caruana - 2000 - Routledge.
    "This book addresses issues which are central in the philosophy of science, exploring a large and relevant literature. It should be of broad interest in the philosophy of science community." Professor Peter Lipton, Department of History and Philosophy of Science, University of Cambridge, UK. How can the complexities of understanding science be dealt with as a whole? Is philosophical realism still a defensible philosophical position? Exploring such fundamental questions, this book claims that science ought to be understood in terms of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  60
    A Letter to Reviewer.Leon Henkin - 1964 - Philosophia Mathematica (2):118-119.
  44.  9
    A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics.Petr Cintula & Carles Noguera - 2015 - Journal of Symbolic Logic 80 (1):341-358.
  45. Henkin Quantifiers,[W:] Krynicki M., Mostowski M., Szczerba LW (Red.).M. Krynicki - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers.
     
    Export citation  
     
    Bookmark   3 citations  
  46.  11
    The Testament of Stone: Themes of Idealism and Indignation From the Writings of Louis SullivanLouis Sullivan: An Architect in American Thought.Claude Winkelhake, Maurice English, Louis Sullivan & Sherman Paul - 1968 - Journal of Aesthetic Education 2 (2):137.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Review: Jean Cavailles, Transfini et Continu. [REVIEW]Leon Henkin - 1948 - Journal of Symbolic Logic 13 (3):143-144.
  48.  25
    A Henkin Completeness Theorem for T.M. J. Cresswell - 1967 - Notre Dame Journal of Formal Logic 8:186.
  49.  25
    Explicit Henkin Sentences.Robert M. Solovay - 1985 - Journal of Symbolic Logic 50 (1):91-93.
    Hofstadter has introduced the notion of an explicit Henkin sentence. Roughly speaking, an explicit Henkin sentence not only asserts its own provability, as ordinary Henkin sentences do, but explicitly provides a detailed description of a proof. We provide, in this paper, a precise formalization of Hofstadter's notion and then show that true explicit Henkin sentences exist.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  19
    Lenin and Philosophy and Other Essays.Louis Althusser - 1971 - Monthly Review Press.
    No figure among the western Marxist theoreticians has loomed larger in the postwar period than Louis Althusser. A rebel against the Catholic tradition in which he was raised, Althusser studied philosophy and later joined both the faculty of the Ecole normal superieure and the French Communist Party in 1948. Viewed as a "structuralist Marxist," Althusser was as much admired for his independence of intellect as he was for his rigorous defense of Marx. The latter was best illustrated in For (...)
    Direct download  
     
    Export citation  
     
    Bookmark   169 citations  
1 — 50 / 1000