37 found
Order:
Disambiguations
Dan Velleman [13]Daniel J. Velleman [11]David Velleman [10]Daniel Velleman [3]
D. J. Velleman [1]
See also
Profile: J David Velleman (New York University)
  1. The Possibility of Practical Reason.David Velleman - 2000 - Oxford University Press.
    Suppose that we want to frame a conception of reasons that isn't relativized to the inclinations of particular agents. That is, we want to identify particular things that count as reasons for acting simpliciter and not merely as reasons for some agents rather than others, depending on their inclinations. One way to frame such a conception is to name some features that an action can have and to say that they count as reasons for someone whether or not he is (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   129 citations  
  2. On the Aim of Belief.David Velleman - 2000 - In The Possibility of Practical Reason. Oxford University Press. pp. 244--81.
    This paper explores the sense in which belief "aims at the truth". In this course of this exploration, it discusses the difference between belief and make-believe, the nature of psychoanalytic explanation, the supposed "normativity of meaning", and related topics.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   46 citations  
  3. Practical Reflection.David Velleman - 1989 - Princeton University Press.
    “What do you see when you look at your face in the mirror?” asks J. David Velleman in introducing his philosophical theory of action. He takes this simple act of self-scrutiny as a model for the reflective reasoning of rational agents: our efforts to understand our existence and conduct are aided by our efforts to make it intelligible. Reflective reasoning, Velleman argues, constitutes practical reasoning. By applying this conception, Practical Reflection develops philosophical accounts of intention, free will, and the foundation (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   31 citations  
  4. Self to Self.David Velleman - 1996 - Philosophical Review 105 (1):39-76.
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  5. So It Goes.David Velleman - manuscript
    Derek Parfit finally meets the Buddha -- on Tralfamadore! This paper is also archived at SSRN.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  7
    Morasses, Diamond, and Forcing.Daniel J. Velleman - 1982 - Annals of Mathematical Logic 23 (2-3):199-281.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  7.  52
    Replies to Discussion on the Possibility of Practical Reason. [REVIEW]David Velleman - 2004 - Philosophical Studies 121 (3):277 - 298.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  8.  2
    Replies To Discussion On The Possibility of Practical Reason.David Velleman - 2004 - Philosophical Studies 121 (3):277-298.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  9.  7
    Simplified Morasses.Dan Velleman - 1984 - Journal of Symbolic Logic 49 (1):257-271.
    We define a structure which is much simpler than a morass, but whose existence is equivalent to the existence of a morass.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  10.  11
    Review of Levin's ”Putnam on Reference and Constructible Sets' (1997). [REVIEW]Daniel J. Velleman - 1998 - MATHEMATICAL REVIEWS 98:1364.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  11.  26
    Review: Replies to Discussion on "The Possibility of Practical Reason". [REVIEW]David Velleman - 2004 - Philosophical Studies 121 (3):277 - 298.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  69
    Two Conceptions of Natural Number.Alexander George & Daniel J. Velleman - 1998 - In H. G. Dales & Gianluigi Oliveri (eds.), Truth in Mathematics. Oxford University Press, Usa. pp. 311.
  13.  3
    Simplified Gap-2 Morasses.Dan Velleman - 1987 - Annals of Pure and Applied Logic 34 (2):171-208.
  14.  7
    The Mean Value Theorem in Second Order Arithmetic.Christopher S. Hardin & Daniel J. Velleman - 2001 - Journal of Symbolic Logic 66 (3):1353-1358.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  4
    Simplified Morasses with Linear Limits.Dan Velleman - 1984 - Journal of Symbolic Logic 49 (4):1001-1021.
  16.  7
    On a Generalization of Jensen's □Κ, and Strategic Closure of Partial Orders.Dan Velleman - 1983 - Journal of Symbolic Logic 48 (4):1046 - 1052.
  17.  1
    On a Generalization of Jensen's $Square_kappa$, and Strategic Closure of Partial Orders.Dan Velleman - 1983 - Journal of Symbolic Logic 48 (4):1046-1052.
  18.  9
    Partitioning Pairs of Countable Sets of Ordinals.Dan Velleman - 1990 - Journal of Symbolic Logic 55 (3):1019-1021.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  3
    On a Combinatorial Principle of Hajnal and Komjáth.Dan Velleman - 1986 - Journal of Symbolic Logic 51 (4):1056-1060.
  20. Author Display.David Velleman - manuscript
    I also discuss recent research into "believable" software agents, which are designed on principles borrowed from the character-based arts, especially cinematic animation as practiced by the artists at Disney and Warner Brothers Studios. I claim that these agents exemplify a kind of autonomy that should be of greater interest to philosophers than that exemplified by the generic agent modeled in current philosophical theory. The latter agent is autonomous by virtue of being governed by itself; but a believable agent appears to (...)
     
    Export citation  
     
    My bibliography  
  21.  26
    Constructivism Liberalized.Daniel J. Velleman - 1993 - Philosophical Review 102 (1):59-84.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22.  23
    Leveling the Playing Field Between Mind and Machine: A Reply to McCall.A. George & Daniel J. Velleman - 2000 - Journal of Philosophy 97 (8):456-452.
  23.  11
    Leveling the Playing Field Between Mind and Machine.Daniel J. Velleman - 2000 - Journal of Philosophy 97 (8):456-461.
  24. Really Seeing Another.David Velleman - 2009 - In Alex Voorhoeve (ed.), Conversations on Ethics. Oxford University Press.
    No categories
     
    Export citation  
     
    My bibliography  
  25.  5
    Variable Declarations in Natural Deduction.Daniel J. Velleman - 2006 - Annals of Pure and Applied Logic 144 (1):133-146.
    We propose the use of variable declarations in natural deduction. A variable declaration is a line in a derivation that introduces a new variable into the derivation. Semantically, it can be regarded as declaring that the variable denotes an element of the universe of discourse. Undeclared variables, in contrast, do not denote anything, and may not occur free in any formula in the derivation. Although most natural deduction systems in use today do not have variable declarations, the idea can be (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  26.  9
    The Communicative Significance of Primary and Secondary Accents.David Beaver & Dan Velleman - 2011 - Lingua.
    Many formal linguists hold that English pitch accent has a single function: marking focus. On the other hand, there is evidence from corpus work and from psycholinguistics that pitch accent is attracted to expressions which are unpredictable. We present a two-factor pragmatic account in which both focus and predictability contribute to the placement of accent in an English intonational phrase. On examples of so-called “second occurrence focus” and related phenomena, our account gives superior results to the one-factor accounts of Rooth (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  27.  2
    Gap-2 Morasses of Height Ω.Dan Velleman - 1987 - Journal of Symbolic Logic 52 (4):928-938.
  28.  4
    On a Topological Construction of Juhasz and Shelah.Dan Velleman - 1992 - Journal of Symbolic Logic 57 (1):166-171.
  29.  1
    Review: Stevo Todorcevic, Trees, Subtrees and Order Types; Stevo Todorcevic, Aronszajn Trees and Partitions. [REVIEW]Dan Velleman - 1989 - Journal of Symbolic Logic 54 (2):638-639.
  30. Leveling the Playing Field Between Mind and Machine: A Reply to McCall.Alexander George & Daniel J. Velleman - 2000 - Journal of Philosophy 97 (8):456-461.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  31. Philosophies of Mathematics.Alexander George & Daniel J. Velleman - 2004 - Philosophical Quarterly 54 (214):194-196.
    No categories
     
    Export citation  
     
    My bibliography  
  32. The Mean Value Theorem in Second Order Arithmetic.Christopher Hardin & Daniel Velleman - 2001 - Journal of Symbolic Logic 66 (3):1353-1358.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33. Gregory John. Higher Souslin Trees and the Generalized Continuum Hypothesis.Daniel Velleman - 1984 - Journal of Symbolic Logic 49 (2):663-665.
  34. Gap-2 Morasses of Height $Omega$.Dan Velleman - 1987 - Journal of Symbolic Logic 52 (4):928-938.
  35.  26
    How to Prove It: A Structured Approach.Daniel J. Velleman - 2006 - Cambridge University Press.
    Geared to preparing students to make the transition from solving problems to proving theorems, this text teachs them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  36. [Omnibus Review].Daniel Velleman - 1984 - Journal of Symbolic Logic 49 (2):663-665.
     
    Export citation  
     
    My bibliography  
  37. Todorčević Stevo B., Trees, Subtrees and Order Types, Annals of Mathematical Logic, Vol. 20 (1981), Pp. 233–268. Todorcevic Stevo, Aronszajn Trees and Partitions, Israel Journal of Mathematics, Vol. 52 (1985), Pp. 53–58. [REVIEW]Dan Velleman - 1989 - Journal of Symbolic Logic 54 (2):638-639.