Results for 'Marcel Crabb��'

1000+ found
Order:
  1.  10
    On nfu.Marcel Crabbé - 1991 - Notre Dame Journal of Formal Logic 33 (1):112-119.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  3
    The 3-Stratifiable Theorems of $\mathit{NFU} \infty$.Marcel Crabbé - 1999 - Notre Dame Journal of Formal Logic 40 (2):174-182.
    It is shown that the 3-stratifiable sentences are equivalent in $\mathit{NFU}$ to truth-functional combinations of sentences about objects, sets of objects, sets of sets of objects, and sentences stating that there are at least $n$ urelements. This is then used to characterize the closed 3-stratifiable theorems of $\mathit{NFU}$ with an externally infinite number of urelements, as those that can be nearly proved in $\mathit{TTU}$ with an externally infinite number of urelements. As a byproduct we obtain a rather simple demonstration of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  19
    On the consistency of an impredicative subsystem of Quine's NF.Marcel Crabbé - 1982 - Journal of Symbolic Logic 47 (1):131-136.
  4.  22
    Reassurance for the logic of paradox.Marcel Crabbé - 2011 - Review of Symbolic Logic 4 (3):479-485.
    Counterexamples to reassurance relative to a relation between models of the logic of paradox are provided. Another relation, designed to fix the problem in logic without equality, is introduced and discussed in connection with the issue of classical recapture.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  15
    On the reduction of type theory.Marcel Crabbé - 1983 - Mathematical Logic Quarterly 29 (4):235-237.
  6.  11
    The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
    We prove the cut-elimination theorem, Gentzen's Hauptsatz, for the system for stratified comprehension, i. e. Quine's NF minus extensionality.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  16
    Cuts and gluts.Marcel Crabbé - 2005 - Journal of Applied Non-Classical Logics 15 (3):249-263.
    We characterize the notion of validity relatively to models, for comprehension axioms, containing gluts.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  22
    Prelogic of logoi.Marcel Crabbé - 1976 - Studia Logica 35 (3):219 - 226.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  24
    Typical ambiguity and the axiom of choice.Marcel Crabbé - 1984 - Journal of Symbolic Logic 49 (4):1074-1078.
  10.  17
    The rise and fall of typed sentences.Marcel Crabbé - 2000 - Journal of Symbolic Logic 65 (4):1858-1862.
    We characterize the 3-stratifiable theorems of NF as a 3-stratifiable extension of NF 3 ; and show that NF is equiconsistent with TT plus raising type axioms for sentences asserting the existence of some predicate over an atomic Boolean algebra.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    The 3-Stratifiable Theorems of.Marcel Crabbé - 1999 - Notre Dame Journal of Formal Logic 40 (2):174-182.
    It is shown that the 3-stratifiable sentences are equivalent in to truth-functional combinations of sentences about objects, sets of objects, sets of sets of objects, and sentences stating that there are at least urelements. This is then used to characterize the closed 3-stratifiable theorems of with an externally infinite number of urelements, as those that can be nearly proved in with an externally infinite number of urelements. As a byproduct we obtain a rather simple demonstration of the consistency of 3-stratifiable (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  22
    Stratification and cut-elimination.Marcel Crabbé - 1991 - Journal of Symbolic Logic 56 (1):213-226.
  13. Reassurance via translation.Marcel Crabbé - 2012 - Logique Et Analyse 55 (218):281.
     
    Export citation  
     
    Bookmark   1 citation  
  14. Deux redondances de la regle de Löb en logique modale.Marcel Crabbé - 1991 - Logique Et Analyse 133 (134):15-22.
  15.  4
    On the Notion of SubstitutionPart of the material of this paper—mainly the proof of the completeness theorem—is already contained in [3].Marcel Crabbé - 2004 - Logic Journal of the Igpl 12 (2).
  16.  15
    FDE Circumscription.Daniel Skurt - 2017 - Australasian Journal of Logic 14 (2).
    In his article "Reassurance via Translation" Marcel Crabbe proposed a formalism to obtain reassurance and classical recapture in the setting of minimal FDE. His formalism proved to be general enough to be extended in order to formalize other forms of non-monotonic systems based on preference relations. It is the aim of this article to show how his result can be extended in a natural way by combining two different reasoning systems, namely minimal FDE and circumscription, in order to get (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  30
    The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
    An ω-model (a model in which all natural numbers are standard) of the predicative fragment of Quine's set theory "New Foundations" (NF) is constructed. Marcel Crabbe has shown that a theory NFI extending predicative NF is consistent, and the model constructed is actually a model of NFI as well. The construction follows the construction of ω-models of NFU (NF with urelements) by R. B. Jensen, and, like the construction of Jensen for NFU, it can be used to construct α-models (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Gabriel Marcel - Gaston Fessard Correspondance, 1934-1971.Gabriel Marcel, Gaston Fessard, Henri de Lubac, Marie Rougier & Michel Sales - 1985 - Beauchesne.
     
    Export citation  
     
    Bookmark  
  19. Gabriel Marcel’s Perspectives on “The Broken World.”.Gabriel Marcel - 1998
    No categories
     
    Export citation  
     
    Bookmark  
  20. Gabriel Marcel Et les Niveaux de l'Expérience Présentation, Choix de Textes Et Textes Inédits [de G. Marcel].Gabriel Marcel & Jeanne Parain-Vial - 1966 - Seghers.
    No categories
     
    Export citation  
     
    Bookmark  
  21. Gabriel Marcel et la méthodologie de l'invérifiable.Pietro Prini & Gabriel Marcel - 1957 - Revue Philosophique de la France Et de l'Etranger 147 (1):105-107.
     
    Export citation  
     
    Bookmark  
  22. Gabriel Marcel Et la Pensée Allemande Nietzsche, Heidegger, Ernst Bloch.Gabriel Marcel - 1979 - Aubier.
     
    Export citation  
     
    Bookmark  
  23. Gabriel Marcel Et les Injustices de Ce Temps la Responsabilité du Philosophe.Gabriel Marcel - 1983 - Aubier.
    No categories
     
    Export citation  
     
    Bookmark  
  24.  4
    Gabriel Marcel.Gabriel Marcel & Pierre Boutang - 1977
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Gabriel Marcel Et les Niveaux de L'Expérience.Jeanne Parain-Vial & Gabriel Marcel - 1966 - Seghers.
    No categories
     
    Export citation  
     
    Bookmark  
  26. Gabriel Marcel Et les Niveaux de L'Expérience.Jeanne Parain-Vail & Gabriel Marcel - 1966 - Seghers.
    No categories
     
    Export citation  
     
    Bookmark  
  27. G. Marcel.Gabriel Marcel & Mario A. Presas - 1967 - Centro Editor de América Latina.
     
    Export citation  
     
    Bookmark  
  28. Gabriel Marcel et les injustices de ce temps, La responsabilité du philosophe.Gabriel Marcel - 1985 - Revue Philosophique de la France Et de l'Etranger 175 (1):57-57.
     
    Export citation  
     
    Bookmark  
  29.  2
    El más allá en el teatro de Gabriel Marcel.Marcel Belay - 2005 - Anuario Filosófico 38 (82):521-534.
    The article focuses on one of the central themes of Gabriel Marcel’s thought: the afterlife and the presence of the dead. Marcel approaches such a “mystery” through his plays, one of the most important aspects of his thought.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  6
    A Gabriel Marcel Reader.Gabriel Marcel - 2011 - St. Augustine's Press.
    French existentialist philosopher Gabriel Marcel is one of the most influential thinkers of the twentieth century. The central themes of his philosophy, which are developed with a blend of realism, concreteness, and common sense, continue to be relevant for the plight of humanity in the twentieth-first century. Marcel's thought emphasizes: the attempt to safeguard the dignity and integrity of the human person by emphasizing the inadequacy of the materialistic life and the unavoidable human need for transcendence; the inability (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  3
    The Participant Perspective: A Gabriel Marcel Reader.Gabriel Marcel - 1987
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Er mesch (heidelberg): Marcel Van ackeren: Das wissen vom guten. Bedeutung und kontinuität Des tugendwissens in den dialogen platons.... [REVIEW]Walter Mesch & Marcel van Ackeren - 2007 - Philosophische Rundschau 54 (2):187 - 191.
     
    Export citation  
     
    Bookmark  
  33.  1
    L'héritage de Kant: Mélanges Philosophiques Offerts au P. Marcel Régnier, Directeur des Archives de Philosophie.Marcel Régnier & Yvon Belaval - 1982 - Editions Beauchesne.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Jacques Maritain e Gabriel Marcel: un'amicizia attraverso la corrispondenza (1928-1967).Giovanni Botta, Jacques Maritain & Gabriel Marcel (eds.) - 2016 - Roma: Edizioni Studium.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  24
    De l'Existence À l'Être la Philosophie de Gabriel Marcel.Roger Troisfontaines & Gabriel Marcel - 1953 - Secrétariat des Publications.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Lettres à Marcel Mauss.Émile Durkheim, Philippe Besnard, Marcel Fournier, Christine Delangle, Marie-France Essyad & Annie Morel - 2004 - Revue Philosophique de la France Et de l'Etranger 194 (1):79-80.
     
    Export citation  
     
    Bookmark   3 citations  
  37.  62
    Abbreviations for Selected Works by Gabriel Marcel.Gabriel Marcel - 2006 - American Catholic Philosophical Quarterly 80 (3):329-330.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38. La Philosophie de Gabriel Marcel.Marcel de Corte - 1940 - Les Etudes Philosophiques 14 (1):41-41.
     
    Export citation  
     
    Bookmark  
  39.  27
    Tragic Wisdom and Beyond.Conversations Between Paul Ricoeur and Gabriel Marcel.Gabriel Marcel, Stephen Jolin & Peter Mccormick - 1974 - Philosophy and Phenomenological Research 34 (4):602-603.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  22
    Patripassianism, theopaschitism and the suffering of God. Some historical and systematic considerations1: Marcel Sarot.Marcel Sarot - 1990 - Religious Studies 26 (3):363-375.
    In contemporary theology the doctrine of divine impassibility is a hot issue. The doubts about this doctrine in the present century have their earliest roots in British theology, where we can trace the passibilist tendency back to the last ten years of the nineteenth century. It received a powerful impetus from the First World War, and by the time the Second World War broke out it was almost generally accepted in British theology that God suffered. Since then this tendency has (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  6
    Repenser la réciprocité et la reconnaissance: Relecture de l'Essai sur le don de Marcel Mauss.Marcel Hénaff - 2009 - Revista Portuguesa de Filosofia 65 (1):873 - 886.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Book Review Héraclite. Fragments. Texte Établi, Traduit, Commenté Par Marcel Conche. Epiméthée. Paris: Presses Universitaires de France, 1986. Pp.496. Paper, 280 Ff. [REVIEW]Catherine Osborne & Marcel Conche - 1989 - S.N.
    No categories
     
    Export citation  
     
    Bookmark  
  43. De l'existence à l'être : la philosophie de Gabriel Marcel.Père Troisfontaines & G. Marcel - 1954 - Revue de Métaphysique et de Morale 59 (3):340-341.
    No categories
     
    Export citation  
     
    Bookmark  
  44. Tragic Wisdom and Beyond Including, Conversations Between Paul Ricoeur and Gabriel Marcel.Gabriel Marcel, Peter Mccormick, Stephen Jolin & Paul Ricœr - 1973 - Northwestern University Press.
     
    Export citation  
     
    Bookmark   1 citation  
  45.  31
    Chesterton pour mémoire: textes de Ramon Fernandez, Gabriel Marcel et Georges Cattaui.Ramon Fernandez, Gabriel Marcel & Georges Cattaui - 2007 - Pierre D'Angle 13:109-128.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  16
    Prefiguration et structure romanesque dans A la recherche du temps perdu. Avec un inedit de Marcel Proust.Ross Chambers & Marcel Muller - 1980 - Substance 9 (3):103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. De l'existence à l'Être, la philosophie de Gabriel Marcel.R. Troisfontaines & Gabriel Marcel - 1957 - Revue Philosophique de la France Et de l'Etranger 147:107-108.
     
    Export citation  
     
    Bookmark   1 citation  
  48.  3
    La Démocratie à Bout de Souffle?: Une Introduction Critique à la Philosophie Politique de Marcel Gauchet.Antoon Braeckman & Marcel Gauchet (eds.) - 2007 - Peeters.
  49. Ann Crabb, The Merchant of Prato’s Wife. Marg.Élise Leclerc - 2015 - Clio 42:303-303.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  9
    Henry Crabb Robinson und Kant. Ein Beitrag zur Kantrezeption innerhalb der europäischen Romantik.Ernst Behler - 1986 - Kant Studien 77 (1-4):289-315.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000