Results for 'Herman Ruge Jervell'

1000+ found
Order:
  1.  10
    Gentzen games.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (25‐28):431-439.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  26
    Gentzen Games.Herman Ruge Jervell - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (25-28):431-439.
  3. An Herebrand [i.e. Herbrand] theorem for higher order logic.Herman Ruge Jervell - 1971 - Oslo,: Universitetet i Oslo, Matematisk institutt.
  4. An Herbrand theorem for a modal logic.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
  5. A new proof of the classical Herbrand and Skolem theorem.Herman Ruge Jervell - 1971 - [Oslo,: Universitetet i Oslo, Matematisk institutt.
     
    Export citation  
     
    Bookmark  
  6.  12
    Computer and society.Herman Ruge Jervell & Kai A. Olsen - 1984 - Acm Sigcas Computers and Society 13 (4, 1-3):17-21.
    The computer is a relatively new invention in the history of man. It has found application in many sectors, and will undoubtedly influence our society. As we shall show, however, the computer is linked to a chain of development that started 10,000 years ago, when a society of hunters and gatherers changed into an agricultural society. The computer is completely dependent on this development towards a more and more formalized society.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Craig's interpolation theorem for the intuitionistic logic of constant domains.Herman Ruge Jervell - 1971 - [Oslo,: Universitetet i Oslo, Matematisk institutt.
  8.  7
    Constructing Ordinals.Herman Ruge Jervell - 2006 - Philosophia Scientiae:5-20.
    We show how to construct ordinals up to the small Veblen ordinal in a constructive way and discuss some of the problems trying to go beyond them.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  11
    Constructing Ordinals.Herman Ruge Jervell - 2006 - Philosophia Scientiae:5-20.
    We show how to construct ordinals up to the small Veblen ordinal in a constructive way and discuss some of the problems trying to go beyond them.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Herbrand and Skolem theorems in infinitary languages.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
  11.  8
    Large Finite Sets.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (35‐36):545-549.
  12.  21
    Large Finite Sets.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (35-36):545-549.
  13. On Skolem and Herbrand theorems for intuitionistic logic.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
  14.  22
    Recursion on Homogeneous Trees.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (19-20):295-298.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Thoralf Skolem Pioneer of Computational Logic.Herman Ruge Jervell - 1996 - Nordic Journal of Philosophical Logic 1 (2):107-117.
  16.  15
    Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
  17.  36
    Helmut Schwichtenberg. Finite notations for infinite terms. Annals of pure and applied logic, vol. 94 , pp. 201–222. [REVIEW]Herman Ruge Jervell - 2000 - Bulletin of Symbolic Logic 6 (4):477-477.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  21
    Jean-Yves Girard. Linear logic. Theoretical computer science, vol. 50 , pp. 1–101. - A. S. Troelstra. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp. [REVIEW]Herman Ruge Jervell - 1996 - Journal of Symbolic Logic 61 (1):336-338.
  19.  11
    Review: Helmut Schwichtenberg, Finite Notations for Infinite Terms. [REVIEW]Herman Ruge Jervell - 2000 - Bulletin of Symbolic Logic 6 (4):477-477.
  20. Review: Jean-Yves Girard, Linear Logic; A. S. Troelstra, Lectures on Linear Logic. [REVIEW]Herman Ruge Jervell - 1996 - Journal of Symbolic Logic 61 (1):336-338.
  21.  33
    Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
  22. Leben als Harmonie der Gegensätze.Werner Ruge - 1943 - Leipzig,: P. Reclam Jun..
     
    Export citation  
     
    Bookmark  
  23.  18
    Rüge, Arnold. Kritische Betrachtung und Darstellung des Deutschen Studentenlebens in seinen Grundzügen.Arnold Rüge - 1908 - Kant Studien 13 (1-3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Moral literacy.Barbara Herman - 2007 - New York: Harvard University Press.
    Making room for character -- Pluralism and the community of moral judgment -- A cosmopolitan kingdom of ends --Responsibility and moral competence --Can virtue be taught?: the problem of new moral facts -- Training to autonomy: Kant and the question of moral education -- Bootstrapping -- Rethinking Kant's hedonism -- The scope of moral requirement -- The will and its objects -- Obligatory ends -- Moral improvisation -- Contingency in obligation.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  25. The humanists strike back : an episode from the Cold War on theory.Herman Rapaport - 2016 - In Jeffrey R. Di Leo (ed.), Dead theory: Derrida, death, and the afterlife of theory. New York, NY, USA: Bloomsbury Academic, an imprint of Bloomsbury Publishing Plc.
     
    Export citation  
     
    Bookmark  
  26. Die philosophie der gegenwart.Arnold Ruge (ed.) - 1910 - Heidelberg,: Weiss.
    No categories
     
    Export citation  
     
    Bookmark  
  27.  8
    The practice of moral judgment.Barbara Herman - 1993 - Cambridge, Mass.: Harvard Univsrsity Press.
    Barbara Herman argues for a radical shift in the way we perceive Kant's ethics. She convincingly reinterprets the key texts, at once allowing Kant to mean what he says while showing that what Kant says makes good moral sense. She urges us to abandon the tradition that describes Kantian ethics as a deontology, a moral system of rules of duty. She finds the central idea of Kantian ethics not in duty but in practical rationality as a norm of unconditioned (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  28.  5
    Van Wittgenstein tot Weinreb.Willem Frederik Hermans - 1970 - Amsterdam,: De Bezige Bij.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  10
    Us and them: essays over filosofie, politiek, religie en cultuur van de klassieke oudheid tot islam in Europa, ter ere van Herman De Ley.Herman De Ley & Danny Praet (eds.) - 2008 - Gent: Academia Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  7
    Ausgewählte pädagogische Abhandlungen.Herman Nohl - 1967 - Paderborn,: Schöningh. Edited by Josef Offermann.
  31. pt. 6. Organ transplantation. Legal protection of the deceased organ donor in Europe.Herman Nys - 2010 - In André den Exter (ed.), Human rights and biomedicine. Portland: Maklu.
     
    Export citation  
     
    Bookmark  
  32. De fundering van de logica in Husserls "Logische Untersuchungen".Herman Philipse - 1983 - Leiden: H. Philipse.
     
    Export citation  
     
    Bookmark  
  33. Neural mechanisms of cognitive control in cued task-switching: rules, representations, and preparation.Hannes Ruge & Todd S. Braver - 2008 - In Silvia A. Bunge & Jonathan D. Wallis (eds.), Neuroscience of rule-guided behavior. New York: Oxford University Press.
  34. Die Einheit des Seelenlebens.Herman Schell - 1873 - Frankfurt/Main,: Minerva.
     
    Export citation  
     
    Bookmark  
  35. Fixing Language: An Essay on Conceptual Engineering.Herman Cappelen - 2018 - Oxford: Oxford University Press.
    Herman Cappelen investigates how language and other representational devices can go wrong, and how to fix them. We use language to understand and talk about the world, but what if our language has deficiencies that prevent it from playing that role? How can we revise our concepts, and what are the limits on revision?
  36.  7
    Entering the moral middle ground: who is afraid of the grey wolf?Hubert J. M. Hermans - 2024 - New York, NY: Cambridge University Press.
    Contemporary society needs the recognition of a moral middle ground, where human behavior can be evaluated as permissible, understandable, or even valuable. As a counterforce to polarization and divisive politics, an identity model is proposed in which individual and group identities are transcended by a human and ecological identity.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  3
    Begriff und Problem der Persönlichkeit.Arnold Rüge - 1911 - Kant Studien 16 (1-3):258.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. The mystical philosophy of Alan Watts. Prefatory note / Peter J. Columbus ; Essay.Herman F. Suligoj - 2023 - In Peter J. Columbus (ed.), Alan Watts in late-twentieth-century discourse: commentary and criticism from 1974-1994. New York, NY: Routledge.
    No categories
     
    Export citation  
     
    Bookmark  
  39.  22
    Nietzsche contra Liberalism on Freedom.Herman Siemens - 2006-01-01 - In Keith Ansell Pearson (ed.), A Companion to Nietzsche. Blackwell. pp. 435–454.
    This chapter contains sections titled: Introduction Nietzsche's Socio‐Physiology and the Question of Sovereignty Nietzsche versus Liberalism on Freedom and Resistance Freedom and Resistance in Nietzsche's Later Thought On the Necessity of Conflict for Freedom: Nietzsche's Critique of the Subject.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  40.  9
    Kants Ästhetik · Kant's Aesthetics · L'esthétique de Kant.Herman Parret (ed.) - 1998 - New York: De Gruyter.
    This text contains contributions from two Kant conferences which took place in Leuven and Cerisy-la-Salle in 1993.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  4
    Kennis en realiteit.Herman Meyer - 1949 - Utrecht,: W. de Haan.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Die sittlichen Grunderfahrungen.Herman Nohl - 1947 - Frankfurt-M.,: G. Schulte-Bulmke.
    No categories
     
    Export citation  
     
    Bookmark  
  43. Grundlagen erfolgreicher Politik heute und morgen.Herman Pfatschbacher - 1950 - Innsbruck,: F. Rauch.
     
    Export citation  
     
    Bookmark  
  44.  2
    Från Orient och Occident.Herman Wohlstein - 1945 - [Lund,:
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Philosophy Without Intuitions.Herman Cappelen - 2012 - Oxford, GB: Oxford University Press UK.
    The standard view of philosophical methodology is that philosophers rely on intuitions as evidence. Herman Cappelen argues that this claim is false: it is not true that philosophers rely extensively on intuitions as evidence. At worst, analytic philosophers are guilty of engaging in somewhat irresponsible use of 'intuition'-vocabulary. While this irresponsibility has had little effect on first order philosophy, it has fundamentally misled meta-philosophers: it has encouraged meta-philosophical pseudo-problems and misleading pictures of what philosophy is.
  46.  6
    Historicism: a travelling concept.Herman Paul & Adriaan van Veldhuizen (eds.) - 2020 - London ; New York: Bloomsbury Academic.
    Throughout the twentieth century, scholars, artists and politicians have accused each other of "historicism." But what exactly did this mean? Judging by existing scholarship, the answers varied enormously. Like many other "isms," historicism could mean nearly everything, to the point of becoming meaningless. Yet the questions remain: What made generations of scholars throughout the humanities and social sciences worry about historicism? Why did even musicians and members of parliament warn against historicism? And what explains this remarkable career of the term (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  4
    Filosofische polemieken.Herman Philipse - 2009 - Amsterdam: Bert Bakker.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. The search for global media ethics.Herman Wasserman - 2010 - In Christopher Meyers (ed.), Journalism ethics: a philosophical approach. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   1 citation  
  49. Relativism and Monadic Truth.Herman Cappelen & John Hawthorne - 2009 - Oxford, GB: Oxford University Press UK. Edited by John Hawthorne.
    Cappelen and Hawthorne present a powerful critique of fashionable relativist accounts of truth, and the foundational ideas in semantics on which the new relativism draws. They argue compellingly that the contents of thought and talk are propositions that instantiate the fundamental monadic properties of truth and falsity.
  50. Insensitive Semantics: A Defense of Semantic Minimalism and Speech Act Pluralism.Herman Cappelen & Ernest Lepore - 2005 - Malden, MA: Wiley-Blackwell. Edited by Ernest LePore.
    _Insensitive Semantics_ is an overview of and contribution to the debates about how to accommodate context sensitivity within a theory of human communication, investigating the effects of context on communicative interaction and, as a corollary, what a context of utterance is and what it is to be in one. Provides detailed and wide-ranging overviews of the central positions and arguments surrounding contextualism Addresses broad and varied aspects of the distinction between the semantic and non-semantic content of language Defends a distinctive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   242 citations  
1 — 50 / 1000