Results for 'Herman Ruge Jervell'

(not author) ( search as author name )
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.  24
    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.  6
    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.  20
    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.  18
    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.  7
    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.  31
    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. The Oxford Handbook of Philosophical Methodology.Herman Cappelen, Tamar Gendler & John Hawthorne (eds.) - 2016 - Oxford, United Kingdom: Oxford University Press.
    This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  23.  12
    The methodology of political theory.Herman Cappelen, Tamar Szabó Gendler & John Hawthorne - 2016 - In Herman Cappelen, Tamar Gendler & John P. Hawthorne (eds.), The Oxford Handbook of Philosophical Methodology. Oxford, United Kingdom: Oxford University Press.
    This article examines the methodology of a core branch of contemporary political theory or philosophy: “analytic” political theory. After distinguishing political theory from related fields, such as political science, moral philosophy, and legal theory, the article discusses the analysis of political concepts. It then turns to the notions of principles and theories, as distinct from concepts, and reviews the methods of assessing such principles and theories (e.g., the reflective-equilibrium method), for the purpose of justifying or criticizing them. Finally, it looks (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24. AI with Alien Content and Alien Metasemantics.Herman Cappelen & Joshua Dever - 2023 - In Ernest Lepore & Luvell Anderson (eds.), Oxford handbook of applied philosophy of language. New York, NY: Oxford University Press.
  25. Leben als Harmonie der Gegensätze.Werner Ruge - 1943 - Leipzig,: P. Reclam Jun..
     
    Export citation  
     
    Bookmark  
  26.  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  
  27.  20
    The concept of democracy: an essay on conceptual amelioration and abandonment.Herman Cappelen - 2023 - Oxford, United Kingdom: Oxford University Press.
    This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read on Oxford Academic and offered as a free PDF download from OUP and selected open access locations. If we don't know what the words 'democracy' and 'democratic' mean, then we don't know what democracy is. This book defends a radical view: these words mean nothing and should be abandoned. The argument for Abolitionism is simple: those terms are defective (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Assertion: A Defective Theoretical Category.Herman Cappelen - 2020 - In Goldberg Sanford (ed.), Oxford Handbook on Assertion. Oxford University Press.
  29. Die philosophie der gegenwart.Arnold Ruge (ed.) - 1910 - Heidelberg,: Weiss.
    No categories
     
    Export citation  
     
    Bookmark  
  30. De fundering van de logica in Husserls "Logische Untersuchungen".Herman Philipse - 1983 - Leiden: H. Philipse.
     
    Export citation  
     
    Bookmark  
  31. 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?
  32.  4
    Van Wittgenstein tot Weinreb.Willem Frederik Hermans - 1970 - Amsterdam,: De Bezige Bij.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  6
    Ausgewählte pädagogische Abhandlungen.Herman Nohl - 1967 - Paderborn,: Schöningh. Edited by Josef Offermann.
  34. 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  
  35.  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  
  36. Die Einheit des Seelenlebens.Herman Schell - 1873 - Frankfurt/Main,: Minerva.
     
    Export citation  
     
    Bookmark  
  37.  4
    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   7 citations  
  38.  20
    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  
  39.  3
    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  
  40.  4
    Kennis en realiteit.Herman Meyer - 1949 - Utrecht,: W. de Haan.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Die sittlichen Grunderfahrungen.Herman Nohl - 1947 - Frankfurt-M.,: G. Schulte-Bulmke.
    No categories
     
    Export citation  
     
    Bookmark  
  42. Grundlagen erfolgreicher Politik heute und morgen.Herman Pfatschbacher - 1950 - Innsbruck,: F. Rauch.
     
    Export citation  
     
    Bookmark  
  43. 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  
  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. Acting Without Me: Corporate Agency and the First Person Perspective.Herman Cappelen & Joshua Dever - 2021 - In Heimir Geirsson & Stephen Biggs (eds.), The Routledge Handbook of Linguistic Reference. New York: Routledge. pp. 599-613.
    In our book The Inessential Indexical we argue that the various theses of essential indexicality all fail. Indexicals are not essential, we conclude. One essentiality thesis we target in the third chapter is the claim that indexical attitudes are essential for action. Our strategy is to give examples of what we call impersonal action rationalizations , which explain actions without citing indexical attitudes. To defeat the claim that indexical attitudes are essential for action, it suffices that there could be even (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  8
    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  
  48. 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.
  49. 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  
  50.  1
    The egg sermon or the kingdom of heaven and the egg..Herman Theodore Arndt - 1912 - [n. p.]:
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000