Results for 'Jean Gallier'

1000+ found
Order:
  1.  26
    What's so special about Kruskal's theorem and the ordinal Γo? A survey of some results in proof theory.Jean H. Gallier - 1991 - Annals of Pure and Applied Logic 53 (3):199-260.
    This paper consists primarily of a survey of results of Harvey Friedman about some proof-theoretic aspects of various forms of Kruskal's tree theorem, and in particular the connection with the ordinal Γ0. We also include a fairly extensive treatment of normal functions on the countable ordinals, and we give a glimpse of Verlen hierarchies, some subsystems of second-order logic, slow-growing and fast-growing hierarchies including Girard's result, and Goodstein sequences. The central theme of this paper is a powerful theorem due to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  21
    Kripke models and the (in)equational logic of the second-order λ-calculus.Jean Gallier - 1997 - Annals of Pure and Applied Logic 84 (3):257-316.
    We define a new class of Kripke structures for the second-order λ-calculus, and investigate the soundness and completeness of some proof systems for proving inequalities as well as equations. The Kripke structures under consideration are equipped with preorders that correspond to an abstract form of reduction, and they are not necessarily extensional. A novelty of our approach is that we define these structures directly as functors A: → Preor equipped with certain natural transformations corresponding to application and abstraction . We (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  11
    Ann. Pure Appl. Logic.Jean H. Gallier - 1997 - Annals of Pure and Applied Logic 89 (2-3):275.
  4.  8
    Typing untyped λ-terms, or reducibility strikes again!Jean Gallier - 1998 - Annals of Pure and Applied Logic 91 (2-3):231-270.
    It was observed by Curry that when λ-terms can be assigned types, for example, simple types, these terms have nice properties . Coppo, Dezani, and Veneri, introduced type systems using conjunctive types, and showed that several important classes of terms can be characterized according to the shape of the types that can be assigned to these terms. For example, the strongly normalizable terms, the normalizable terms, and the terms having head-normal forms, can be characterized in some systems and Ω. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  14
    Lewis Harry R. and Papadimitriou Christos H.. Elements of the theory of computation. Prentice-Hall software series. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1981, xiv + 466 pp. [REVIEW]Jean H. Gallier - 1984 - Journal of Symbolic Logic 49 (3):989-990.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Review: Harry R. Lewis, Christos H. Papadimitriou, Elements of the Theory of Computation. [REVIEW]Jean H. Gallier - 1984 - Journal of Symbolic Logic 49 (3):989-990.
     
    Export citation  
     
    Bookmark  
  7.  3
    Ann. Pure Appl. Logic : Erratum to “What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory” [53 199–260]. [REVIEW]Jean H. Gallier - 1997 - Annals of Pure and Applied Logic 89 (2-3):275.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  15
    Jean H. Gallier. Logic for computer science. Foundations of automatic theorem proving. Harper & Row computer science and technology series. Harper & Row, New York1986, xv + 511 pp. [REVIEW]Frank Pfenning - 1989 - Journal of Symbolic Logic 54 (1):288-289.
  9.  6
    Zur Produktion von Gemeinsinn. Ihre diffizilen Bedingungen und ihre problematischen Wirkungen.Jean-Pierre Wils - 2001 - In Harald Bluhm & Herfried Münkler (eds.), Gemeinwohl Und Gemeinsinn: Zwischen Normativität Und Faktizität. De Gruyter. pp. 113-130.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  32
    Fair sex, savage dreams: race, psychoanalysis, sexual difference.Jean Walton - 2001 - Durham: Duke University Press.
    "In this groundbreaking book Jean Walton subjects psychoanalysis to a sustained and highly illuminating ethnographic critique.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  5
    Esthétique de la transfiguration: de l'icône à l'image virtuelle.Jean-Jacques Wunenburger - 2016 - Paris: Les éditions du Cerf.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. On the correspondence between proofs and lamba-terms.J. Gallier - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
     
    Export citation  
     
    Bookmark   3 citations  
  13.  7
    Bachelard et l'épistémologie française.Jean-Jacques Wunenburger (ed.) - 2003 - Paris: Presses universitaires de France.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  8
    Gaston Bachelard, l'inattendu: les chemins d'une volonté.Jean-Michel Wavelet - 2019 - Paris: L'Harmattan.
    Comment Bachelard, fils d'un cordonnier, professeur de physique et chimie, a-t-il pu devenir cet humaniste aussi savant que philosophe, aussi penseur que poète? Il n'a pas emprunté les chemins balisés, ceux des élites universitaires et culturelles. Il a contrarié les pronostics et les conventions. Il s'est adjugé contre vents et marées le droit de penser par lui-même en bousculant les frontières des savoirs et de la culture et en dérangeant les us et coutumes établis. "Un ouvrage aussi lumineux que la (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  7
    Conflit de la raison.Jean-Marie Wipf - 2016 - Paris: Éditions Kimé. Edited by Jean-Luc Nancy.
    Bathos - remarque -- Pt. 1. Le champ de bataille -- Pt. 2. Kant et ses juges -- Pt. 3. Traité de bathologie.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  1
    Pour une éthique.Jean Zacklad - 1979 - Lagrasse: Verdier.
    1. De Dieu -- 2. L'être au féminin -- 3. L'alliance.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  17
    Understanding causality.Jean Piaget - 1974 - New York,: Norton. Edited by Rolando García.
  18.  19
    Thomas Aquinas’ Mathematical Realism.Jean W. Rioux - 2023 - Cham: Springer Verlag.
    In this book, philosopher Jean W. Rioux extends accounts of the Aristotelian philosophy of mathematics to what Thomas Aquinas was able to import from Aristotle’s notions of pure and applied mathematics, accompanied by his own original contributions to them. Rioux sets these accounts side-by-side modern and contemporary ones, comparing their strengths and weaknesses.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  2
    Maritain, un maître pour notre temps.Jean Daujat - 1978 - Paris: Téqui.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  4
    Miroirs de l'identité: la littérature hantée par la philosophie.Jean-François Marquet - 2009 - Paris: Cerf.
  21.  23
    Auswahlbibliographie.Jean-Christophe Merle - 2016 - In Johann Gottlieb Fichte: Grundlage des Naturrechts. Boston: De Gruyter. pp. 193-200.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  12
    Zitierweise.Jean-Christophe Merle - 2016 - In Johann Gottlieb Fichte: Grundlage des Naturrechts. Boston: De Gruyter.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  8
    Au-delà de Freud, une culture de l'extermination?: essai de polémologie freudienne.Jean-Bernard Paturet - 2009 - Paris: Cerf.
    La célébration du 70e anniversaire de la mort de Freud est l'occasion d'une réflexion sur sa théorie de la guerre et de la mort. Fondée sur le mythe de la horde primitive, le meurtre du père et la dette commune, la société, selon Freud, s'organise autour des interdits de meurtre et d'inceste. La guerre fondée dans la pulsion de mort est la conséquence de la levée collective de ces interdits. Freud bâtit ainsi ce que l'on pourrait nommer une " culture (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  8
    Andrkka, H., Givant, S., Mikulb, S., Ntmeti, I. and Simon, A.C. Butz, P. Johnstone, J. Gallier, J. D. Hamkins, B. Khoussaiuov, H. Lombardi & C. Raffalli - 1998 - Annals of Pure and Applied Logic 91 (1):271.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  64
    Colloquium of the seven about secrets of the sublime =.Jean Bodin - 1975 - Princeton, N.J.: Princeton University Press. Edited by Marion Leathers Kuntz.
    "An English translation of Colloquium of the Seven about Secrets of the Sublime, originally written in Latin in the sixteenth-century by Jean Bodin.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  3
    Sophismata.Jean Buridan - 1977 - Stuttgart-Bad Cannstatt: Frommann-Holzboog. Edited by Theodore Kermit Scott.
    Pref. and introd. in English; text in Latin.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  2
    Études kierkegaardiennes.Jean André Wahl - 1949 - Paris: Vrin.
    Parues pour la premiere fois en 1938, les Etudes kierkegaardiennes de Jean Wahl constitutent a tous egards une somme incontournable pour comprendre le sens de la philosophie de Kierkegaard et la place si originale qu'elle occupe dans l'histoire de la philosophie. L'auteur s'efforce d'y faire apparaitre le lien existant entre les evenements qui marquerent la vie de Kierkegaard et la formation de ses concepts fondamentaux. Par ce biais, l'auteur montre comment la theorie des trois stades de l'existence fait appel (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  5
    Études kierkegaardiennes.Jean André Wahl & Søen Kierkegaard - 1974 - Paris: Vrin.
    Parues pour la premiere fois en 1938, les Etudes kierkegaardiennes de Jean Wahl constitutent a tous egards une somme incontournable pour comprendre le sens de la philosophie de Kierkegaard et la place si originale qu'elle occupe dans l'histoire de la philosophie. L'auteur s'efforce d'y faire apparaitre le lien existant entre les evenements qui marquerent la vie de Kierkegaard et la formation de ses concepts fondamentaux. Par ce biais, l'auteur montre comment la theorie des trois stades de l'existence fait appel (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  66
    Genetic epistemology.Jean Piaget - 1970 - New York,: Columbia University Press.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   217 citations  
  30.  3
    La Logique moderne.Jean Chauvineau - 1974 - Paris: Presses universitaires de France.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  6
    Verfall und Teilhabe.Jean Gebser - 1974 - Salzburg,: O. Müller.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  7
    Verfall und Teilhabe.Jean Gebser - 1974 - Salzburg,: O. Müller.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  2
    Masque et lumières au XVIIIe: André-François Deslandes, "citoyen et philosophe," 1689-1757.Jean Macary - 1975 - La Haye: M. Nijhoff.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  6
    Le point aveugle: l'intention imprévue de la psychanalyse.Jean-François Noel - 2000 - Paris: Cerf.
    Y a-t-il une psychanalyse chrétienne? Cette question a-t-elle un sens? Un croyant souffrant doit-il ou non s'assurer que son psychanalyste est lui-même croyant pour protéger sa foi? Autrement dit, comment l'analyse intègre-t-elle ou modifie-t-elle une donnée religieuse? Faire une analyse, c'est accepter de traverser le tragique de sa propre vie. En raison du dévoilement de la vérité que ce processus met en œuvre, le patient voit se dégager devant lui la perspective d'un désir dont la nouvelle mesure est infinie. Ce (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  6
    Le sens de l'univers: essai sur Jacques Merleau-Ponty.Jean-François Robredo - 2010 - Paris: Presses universitaires de France.
    " L'homme a toujours pensé que le visage du monde devait l'instruire sur lui-même. " Fort de cette certitude, le philosophe et historien des sciences français Jacques Merleau-Ponty a cherché toute sa vie à donner un sens à l'extraordinaire histoire que nous racontent les astronomes contemporains. Or le visage de l'univers actuel est une véritable énigme pour l'homme moderne : origine inaccessible, histoire chaotique, espace infini, temps relatif, avenir imprévisible... A l'accumulation des connaissances, il fallait répondre par le courage de (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Dieu au futur.Jean Jacques Walter - 1968 - Paris,: Éditions de l'Épi.
     
    Export citation  
     
    Bookmark  
  37.  7
    The Va_KE Handbook: Theory and Practice of Values _and Knowledge Education.Sieglinde Weyringer, Jean-Luc Patry, Dimitrios Pnevmatikos & Frédérique Brossard Børhaug (eds.) - 2022 - BRILL.
    _The VaKE Handbook: Theory and Practice of Values and Knowledge Education_ presents a theoretical model and many examples in various fields of education and training for the realization of the principle "Values without knowledge are blind, while knowledge without values is irresponsible".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Conceptualizing difference.Ludwig Wittgenstein & Jean-Paul Sartre - 1994 - In Abigail J. Stewart (ed.), Theorizing feminism: parallel trends in the humanities and social sciences. Boulder, CO: Westview Press. pp. 232.
     
    Export citation  
     
    Bookmark  
  39. Public Man, Private Woman: Women in Social and Political Thought.Jean Bethke Elshtain & David E. Decosse - 1981 - Journal of Religious Ethics 34 (2):339-369.
    One of the most perceptive and ambidextrous social commentators of our day, Augustinian scholar Jean Bethke Elshtain furnishes in ever fresh ways through her writings a bridge between the ancient and the modern, between politics and ethics, between timeless moral wisdom and cultural sensitivity. To read Elshtain seriously is to take the study of culture as well as the "permanent things" seriously. But Elshtain is no mere moralist. Neither is she content solely to dwell in the domain of the (...)
     
    Export citation  
     
    Bookmark   79 citations  
  40. The social contract.Jean-Jacques Rousseau - 1905 - Harmondsworth,: Penguin Books. Edited by Charles Frankel.
    The perfect books for the true book lover, Penguin’s Great Ideas series features twelve more groundbreaking works by some of history’s most prodigious thinkers. Each volume is beautifully packaged with a unique type-driven design that highlights the bookmaker’s art. Offering great literature in great packages at great prices, this series is ideal for those readers who want to explore and savor the Great Ideas that have shaped our world.
    Direct download  
     
    Export citation  
     
    Bookmark   127 citations  
  41.  12
    Jean-Fabien Spitz: La liberté politique.Jean-Fabien Spitz - 1998 - Ethical Theory and Moral Practice 1 (4):483-484.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  42.  2
    Christiani Wolfii Philosophia rationalis sive logica.Christian Wolff & Jean Ecole - 1746 - New York: G. Olms. Edited by Johann Nicolaus Frobesius.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  12
    Kleine Kontroversschriften mit Joachim Lange und Johann Franz Budde.Christian Wolff, Jean Ecole, Joachim Lange & Joannes Franciscus Buddeus (eds.) - 1724 - New York: G. Olms.
    Des Herrn Doct. und Prof. Joachim Langens, oder, Der Theologischen Facultaet zu Halle Anmerckungen über des Herrn Hoff-Raths und Professor Christian Wolffens Metaphysicam ... nebst beygefügter Hr. Hoff-R. und Prof. Christian Wolffens gründlicher Antwort -- Herrn D. Joh. Francisci Buddei S.S. Theol. P.P.O. zu Jena Bedencken über die Wolffianische Philosophie, mit Anmerckungen erläutert von Christian Wolffen.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  8
    Christiani Wolfii Opuscula metaphysica.Christian Wolff & Jean Ecole - 1724 - New York: G. Olms. Edited by Jean Ecole & Christian Wolff.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  45
    Structuralism.Jean Piaget - 1970 - New York,: Basic Books.
  46.  57
    Caring Theory as an Ethical Guide to Administrative and Clinical Practices.Jean Watson - 2006 - Jona's Healthcare Law, Ethics, and Regulation 8 (3):87-93.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47. Being and Nothingness: An Essay on Phenomenological Ontology.Jean-Paul Sartre - 1956 - New York: Routledge. Edited by Sarah Richmond & Richard Moran.
    _Being and Nothingness_ is without doubt one of the most significant books of the twentieth century. The central work by one of the world's most influential thinkers, it altered the course of western philosophy. Its revolutionary approach challenged all previous assumptions about the individual's relationship with the world. Known as 'the Bible of existentialism', its impact on culture and literature was immediate and was felt worldwide, from the absurd drama of Samuel Beckett to the soul-searching cries of the Beat poets. (...)
     
    Export citation  
     
    Bookmark   101 citations  
  48.  98
    Jean-Jacques Rousseau, transparency and obstruction.Jean Starobinski - 1988 - Chicago: University of Chicago Press.
    Jean Starobinski, one of Europe's foremost literary critics, examines the life that led Rousseau, who so passionately sought open, transparent communication with others, to accept and even foster obstacles that permitted him to withdraw into himself. First published in France in 1958, Jean-Jacques Rousseau remains Starobinski's most important achievement and, arguably, the most comprehensive book ever written on Rousseau. The text has been extensively revised for this edition and is published here along with seven essays on Rousseau that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  49. Neural Mechanisms for Access to Consciousness.Stanislas Dehaene & Jean-Pierre Changeux - 1995 - In Michael S. Gazzaniga (ed.), The Cognitive Neurosciences. MIT Press. pp. 1145-1157.
  50. Hobbes and the Social Contract Tradition.Jean Hampton - 1986 - New York: Cambridge University Press.
    This major study of Hobbes' political philosophy draws on recent developments in game and decision theory to explore whether the thrust of the argument in Leviathan, that it is in the interests of the people to create a ruler with absolute power, can be shown to be cogent. Professor Hampton has written a book of vital importance to political philosophers, political and social scientists, and intellectual historians.
     
    Export citation  
     
    Bookmark   70 citations  
1 — 50 / 1000