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.  16
    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.  23
    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. 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  
  23.  6
    Het verschijnsel wetenschap.Herman Koningsveld - 2006 - Amsterdam: Boom.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  40
    Transcendental idealism.Herman Philipse - 1995 - In Barry Smith & David Woodruff Smith (eds.), The Cambridge companion to Husserl. New York: Cambridge University Press. pp. 239-322.
  25. 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.
  26.  5
    Wortbedeutung und Termassoziation: Methoden zur automatischen semantischen Klassifikation.Gerda Ruge - 1995 - New York: G. Olms.
  27.  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  
  28. 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?
  29. 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.
  30. X-Phi Without Intuitions?Herman Cappelen - 2014 - In Anthony Robert Booth & Darrell P. Rowbottom (eds.), Intuitions. Oxford University Press.
    One central purpose of Experimental Philosophy (hereafter, x-phi) is to criticize the alleged reliance on intuitions in contemporary philosophy. In my book Philosophy without Intuitions (hereafter, PWI), I argue that philosophers don’t rely on intuitions. If those arguments are good, experimental philosophy has been engaged in an attack on a strawman. The goal of this paper is to bolster the criticism of x-phi in the light of responses.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  31. 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.
  32. 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   243 citations  
  33.  29
    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.
  34. Shared Content.Herman Cappelen & Ernest Lepore - 2006 - In Ernest Lepore & Barry C. Smith (eds.), The Oxford Handbook of Philosophy of Language. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   13 citations  
  35. 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   229 citations  
  36.  99
    Semantics and Pragmatics: Some Central Issues.Herman Cappelen - 2007 - In Gerhard Preyer & Georg Peter (eds.), Context-sensitivity and semantic minimalism: new essays on semantics and pragmatics. Oxford University Press UK. pp. 3--24.
    Introduction to Context-Sensitivity and Semantic Minimalism: Essays on Semantics and Pragmatics, 2007, Oxford University Press, (eds. Preyer and Peter).
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  37.  9
    Encyclopedia of the science of law.Herman Dooyeweerd - 2002 - Lewiston, N.Y.: Edwin Mellen Press. Edited by Alan M. Cameron.
    Introduction - the Introduction is the most accessible and authentic orientation in his entire philosophy and it serves as the basis of the subsequent volumes treating the various foundational issues of Legal Science.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. 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   74 citations  
  39.  8
    Atheïstisch manifest: drie wijsgerige opstellen over godsdienst en moraal.Herman Philipse - 1995 - Amsterdam: Prometheus.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. The Incompatibility of Science and Religion: An Argument for Atheism.Herman Philipse - 2001 - In William Desmond, John Steffen & Koen Decoster (eds.), Beyond conflict and reduction: between philosophy, science, and religion. Leuven, Belgium: Leuven University Press. pp. 117--134.
     
    Export citation  
     
    Bookmark  
  41.  4
    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  
  42. 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   57 citations  
  43. Radical and Moderate Pragmatics: Does Meaning Determine Truth Conditions?Herman Cappelen & Ernie Lepore - 2005 - In Zoltan Gendler Szabo (ed.), Semantics Versus Pragmatics. Oxford University Press.
    But the sort of context sensitivity exhibited in such sentences does not compromise the claim that meaning determines truth conditions, since recourse to context here is directed and restricted by conventional meaning alone. Anyone who understands sentence (2) knows that its utterances are true just in case whatever object is demonstrated in the context of utterance is nice; and he also knows that any utterance of (2) says of, or expresses about, whichever object is demonstrated that it’s nice. (Similarly, anyone (...)
     
    Export citation  
     
    Bookmark   9 citations  
  44. Insensitive Semantics. A Defence of Semantic Minimalism and Speech Act Pluralism.Herman Cappelen & Ernest Lepore - 2008 - Critica 40 (120):148-152.
  45.  60
    Bad Language.Herman Cappelen & Josh Dever - 2019 - New York, NY: Oxford University Press. Edited by Josh Dever.
    Bad Language is the first textbook on an emerging area in the study of language: non-idealized language use, the linguistic behaviour of people who exploit language for malign purposes. This lively, accessible introduction offers theoretical frameworks for thinking about such topics as lies and bullshit, slurs and insults, coercion and silencing.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  46.  5
    Theodor Lessing's Philosophy of History in Its Time.Herman Simissen - 2021 - Boston: BRILL.
    This study – the first full-length monograph in English on the subject – discusses the genesis of Theodor Lessing’s philosophy of history as mainly expressed in his books _Geschichte als Sinngebung des Sinnlosen_ (1919 and 1927), as well as its philosophical implications.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  83
    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   209 citations  
  48. A Guided Tour Of Conceptual Engineering and Conceptual Ethics.Herman Cappelen & David Plunkett - 2019 - In Alexis Burgess, Herman Cappelen & David Plunkett (eds.), Conceptual Engineering and Conceptual Ethics. New York, USA: Oxford University Press. pp. 1-26.
    In this Introduction, we aim to introduce the reader to the basic topic of this book. As part of this, we explain why we are using two different expressions (‘conceptual engineering’ and ‘conceptual ethics’) to describe the topics in the book. We then turn to some of the central foundational issues that arise for conceptual engineering and conceptual ethics, and finally we outline various views one might have about their role in philosophy and inquiry more generally.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  49. Insensitive Semantics: A Defense of Semantic Minimalism and Speech Act Pluralism.Herman Cappelen & Ernie Lepore - 2006 - Linguistics and Philosophy 29 (1):1-26.
     
    Export citation  
     
    Bookmark   136 citations  
  50.  8
    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  
1 — 50 / 1000