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. Die Einheit des Seelenlebens.Herman Schell - 1873 - Frankfurt/Main,: Minerva.
     
    Export citation  
     
    Bookmark  
  24.  5
    Michael Ogbolu Okonji: African psychologisti.Herman A. Witkin - 1981 - In Barbara Bloom Lloyd & John Gay (eds.), Universals of human thought: some African evidence. New York: Cambridge University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  2
    Från Orient och Occident.Herman Wohlstein - 1945 - [Lund,:
    Direct download  
     
    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.  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  
  28. Die philosophie der gegenwart.Arnold Ruge (ed.) - 1910 - Heidelberg,: Weiss.
    No categories
     
    Export citation  
     
    Bookmark  
  29. 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.
  30. Geist und sein.Herman Schmalenbach - 1939 - Basel,: Verlag Haus zum falken.
    No categories
     
    Export citation  
     
    Bookmark  
  31. 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  
  32.  5
    Nietzsche.Herman Lodewijk Alexander Visser - 1933 - Zutphen,: W. J. Thieme & cie..
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. 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  
  34.  12
    Agonal perspectives on Nietzsche's philosophy of critical transvaluation.Herman Siemens - 2021 - Boston: Walter de Gruyter. Edited by Friedrich Wilhelm Nietzsche.
    Nietzsche's strengths as a critic are widely acknowledged, but his peculiar style of critique is usually ignored as rhetoric, or dismissed as violent or simply incoherent. In this book, Nietzsche's concept of the agon or Wettkampf, a measured and productive form of conflict inspired by ancient Greek culture, is advanced as the dynamic and organising principle of his philosophical practice, enabling us to make sense of his critical confrontations and the much disputed concept of transvaluation or Umwertung. Agonal perspectives are (...)
  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.  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  
  37. 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.
  38. 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.
  39. 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  
  40. Nietzsche and Kant as thinkers of antagonism: towards a philosophy of conflict.Herman Siemens - 2024 - London: Bloomsbury Academic.
    The question antagonism, struggle and dissensus, their place, limits and value for democracy, has divided deliberative from agonistic theories, and remains the main source of the impasse between them. This open access book seeks to break this impasse by going back to their sources in Kant and Nietzsche, and reframes them as philosophers of conflict. For both philosophers, conflict is part of the 'deep structure' of reality at all levels, and their reflections on its constitutive, constructive and destructive potentials raise (...)
     
    Export citation  
     
    Bookmark  
  41.  9
    Arnold Ruge's sämmtliche Werke.Arnold Ruge - 2019 - Wentworth Press.
    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  23
    Relativism and Monadic Truth.Herman Cappelen & John Hawthorne - 2009 - Oxford, GB: Oxford University Press. 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.
  43. Relativism and Monadic Truth.Herman Cappelen & John Hawthorne - 2011 - Analysis 71 (1):109-111.
    The beginning of the twenty-first century saw something of a comeback for relativism within analytical philosophy. Relativism and Monadic Truth has three main goals. First, we wished to clarify what we take to be the key moving parts in the intellectual machinations of self-described relativists. Secondly, we aimed to expose fundamental flaws in those argumentative strategies that drive the pro-relativist movement and precursors from which they draw inspiration. Thirdly, we hoped that our polemic would serve as an indirect defence of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   228 citations  
  44. Conceptual Engineering: The Master Argument.Herman Cappelen - 2019 - In Alexis Burgess, Herman Cappelen & David Plunkett (eds.), Conceptual Engineering and Conceptual Ethics. New York, USA: Oxford University Press.
    I call the activity of assessing and developing improvements of our representational devices ‘conceptual engineering’.¹ The aim of this chapter is to present an argument for why conceptual engineering is important for all parts of philosophy (and, more generally, all inquiry). Section I of the chapter provides some background and defines key terms. Section II presents the argument. Section III responds to seven objections. The replies also serve to develop the argument and clarify what conceptual engineering is.
    Direct download  
     
    Export citation  
     
    Bookmark   46 citations  
  45. The Inessential Indexical: On the Philosophical Insignificance of Perspective and the First Person.Herman Cappelen & Josh Dever - 2013 - Oxford, United Kingdom: Oxford University Press. Edited by Josh Dever.
    Cappelen and Dever present a forceful challenge to the standard view that perspective, and in particular the perspective of the first person, is a philosophically deep aspect of the world. Their goal is not to show that we need to explain indexical and other perspectival phenomena in different ways, but to show that the entire topic is an illusion.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  46.  93
    Neural mechanisms of goal-directed behavior: outcome-based response selection is associated with increased functional coupling of the angular gyrus.Katharina Zwosta, Hannes Ruge & Uta Wolfensteller - 2015 - Frontiers in Human Neuroscience 9.
  47.  82
    Insensitive Semantics.Herman Cappelen & Ernie Lepore - 2006 - Philosophy and Phenomenological Research 73 (2):443-450.
    We give a precis of our book Insensitive Semantics.
    Direct download  
     
    Export citation  
     
    Bookmark   208 citations  
  48. Technology as Driver for Morally Motivated Conceptual Engineering.Herman Veluwenkamp, Marianna Capasso, Jonne Maas & Lavinia Marin - 2022 - Philosophy and Technology 35 (3):1-25.
    New technologies are the source of uncertainties about the applicability of moral and morally connotated concepts. These uncertainties sometimes call for conceptual engineering, but it is not often recognized when this is the case. We take this to be a missed opportunity, as a recognition that different researchers are working on the same kind of project can help solve methodological questions that one is likely to encounter. In this paper, we present three case studies where philosophers of technology implicitly engage (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49. Insensitive Semantics. A Defence of Semantic Minimalism and Speech Act Pluralism.Herman Cappelen & Ernest Lepore - 2008 - Critica 40 (120):148-152.
  50.  18
    Global news media have contributed to a world where we are confronted with the faces of Others we will never meet. Although the interconnec-tions between people in a globalized world are often overstated, it is hard not to agree with Zygmunt Bauman when he speaks of “being aware of the pain, mis-ery and suffering of countless people whom we will never meet in person.” 1 In today's globalized world, news media have brought distant people closer, and the media confront us with a moral responsibility for ... [REVIEW]Herman Wasserman - 2010 - In Christopher Meyers (ed.), Journalism ethics: a philosophical approach. New York: Oxford University Press. pp. 69.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000