Results for 'H. B. Curry'

1000+ found
Order:
  1.  21
    Remarks on the definition and nature of mathematics.H. B. Curry - 1954 - Dialectica 8 (3):228-233.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. A mathematical treatment of the rules of the syllogism.H. B. Curry - 1936 - Mind 45 (178):209-216.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  9
    A Mathematical Treatment of the Rules of the Syllogism.H. B. Curry - 1936 - Journal of Symbolic Logic 1 (3):114-114.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  6
    A Note on the Reduction of Gentzen's Calculus LJ.H. B. Curry - 1939 - Journal of Symbolic Logic 4 (3):128-128.
  5.  2
    Remarks on the Definition and Nature of Mathematics.H. B. Curry - 1957 - Journal of Symbolic Logic 22 (1):85-86.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  17
    The Logic of Program Composition.H. B. Curry - 1957 - Journal of Symbolic Logic 22 (1):102-103.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  6
    A New Proof of the Church-Rosser Theorem.H. B. Curry - 1956 - Journal of Symbolic Logic 21 (4):377-378.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  4
    The deduction theorem in the combinatory theory of restricted generality.H. B. Curry - 1960 - Logique Et Analyse 3 (3):15-39.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. On the use of dots as brackets in logical expressions.H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):26-28.
    The Peanese convention for the use of dots as brackets has the disadvantage that it gives only an awkward method for representing chains of indefinite length, such as the compound implicationSuch chains occur frequently in logical investigations of a metatheoretic nature, and it is convenient to have a systematic method of abbreviating them. The most obvious method of doing this would be to leave the parentheses out entirely, and to understand that in such cases the implication sign or other operation (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Representation of Markov algorithms by combinators.H. B. Curry - 1975 - In Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.), The Logical Enterprise. Yale University Press. pp. 109--119.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  11. Basic theory of functionality. Analogies with propositional algebra.H. B. Curry & R. Feys - 1995 - In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia.
     
    Export citation  
     
    Bookmark   1 citation  
  12.  5
    Languages and Formal Systems.H. B. Curry - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:770-772.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  5
    On the use of Dots as Brackets in Logical Expressions.H. B. Curry - 1937 - Journal of Symbolic Logic 2 (2):90-91.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  29
    Church Alonzo. Mathematical logic. Lectures delivered at Princeton University, October 1935–January 1936. Notes by Ficken F. A., Landau H. G., Ruja H., Singleton R. R., Steenrod N. E., Sweer J. H., Weyl F. J.. Mimeographed. Princeton University Mathematics Department, Princeton, N. J., 1936, iii + 113 pp. [REVIEW]H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):39-40.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  4
    Review: Alonzo Church, Mathematical Logic. [REVIEW]H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):39-40.
  16.  16
    H. B. Curry. A note on the associative law in logical algebras. Bulletin of the American Mathematical Society, vol. 42 (1936), pp. 523–524. [REVIEW]Paul Henle & H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):42-42.
  17.  19
    Friedman, JH, 167 Friedman, N., 165.A. Collins, J. L. Coolidge, T. Coote, B. Corrigan, D. D. Cummins, H. B. Curry, J. Czerlinksi, C. Daood, L. Daston & S. B. Datta - 2002 - In Renée Elio (ed.), Common Sense, Reasoning, & Rationality. Oxford University Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  34
    Remarks on the Definition and Nature of Mathematics.J. C. C. McKinsey & H. B. Curry - 1940 - Journal of Symbolic Logic 5 (1):26.
  19.  19
    Neutron diffraction measurements on pure and doped synthetic hematite crystals.N. A. Curry, G. B. Johnston, P. J. Besser & A. H. Morrish - 1965 - Philosophical Magazine 12 (116):221-228.
  20.  50
    To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - New York: Academic Press.
  21. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism.Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.) - 1980 - Academic Press.
    No categories
     
    Export citation  
     
    Bookmark  
  22.  18
    Review: H. B. Curry, A Mathematical Treatment of the Rules of the Syllogism. [REVIEW]C. H. Langford - 1936 - Journal of Symbolic Logic 1 (3):114-114.
  23.  20
    Curry H. B.. A mathematical treatment of the rules of the syllogism. Mind, n.s., vol. 45, no. 178 , pp. 209–216.C. H. Langford - 1936 - Journal of Symbolic Logic 1 (3):114-114.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. H. B. Curry and R. Feys, Combinatory Logic.Oskar Becker - 1958 - Philosophische Rundschau 6 (3/4):294.
     
    Export citation  
     
    Bookmark  
  25. "Leçons de Logique Algébrique." By Haskell B. Curry.J. H. Woodger - 1952 - British Journal for the Philosophy of Science 3 ([9/12]):293.
  26. Identities: how governed, who pays?H. B. Paksoy - 2001 - Lawrence: Carrie.
    In a given polity, interactions between the Governed and the Governing Strata are symbiotic. The Governed desire, and indeed need, infrastructure services organized. If such basic foundations are not provided, the economic activity so deeply cherished by both groups cannot be realized. The Governing Strata cannot function without the Governed. After all, without the Governed, there will not be a polity; hence nothing to govern. Regardless of the politico-economic system in effect, this co-dependence is inevitable, inescapable, indenturing both groups to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  12
    De Motu Animalium.H. B. Gottschalk, Aristotle & Martha Craven Nussbaum - 1981 - American Journal of Philology 102 (1):84.
  28.  29
    Man on His Nature.H. B. Adelmann - 1942 - Philosophical Review 51 (2):227.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   155 citations  
  29.  11
    Review: H. B. Curry, First Properties of Functionality in Combinatory Logic. [REVIEW]S. C. Kleene - 1936 - Journal of Symbolic Logic 1 (2):65-65.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  57
    Negative Utilitarianism.H. B. Acton & J. W. N. Watkins - 1963 - Aristotelian Society Supplementary Volume 37 (1):83-114.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  31. The biological role of consciousness.H. B. Barlow - 1987 - In Colin Blakemore & Susan A. Greenfield (eds.), Mindwaves. Blackwell.
     
    Export citation  
     
    Bookmark   8 citations  
  32.  8
    Review: H. B. Curry, On the use of Dots as Brackets in Logical Expressions. [REVIEW]Everett J. Nelson - 1937 - Journal of Symbolic Logic 2 (2):90-91.
  33.  40
    What is the computational goal of the neocortex.H. B. Barlow - 1994 - In Christof Koch & J. Davis (eds.), Large-Scale Neuronal Theories of the Brain. MIT Press. pp. 1--22.
  34.  10
    Review: H. B. Curry, Remarks on the Definition and Nature of Mathematics. [REVIEW]Alonzo Church - 1957 - Journal of Symbolic Logic 22 (1):85-86.
  35.  6
    Review: H. B. Curry, The Logic of Program Composition. [REVIEW]George W. Patterson - 1957 - Journal of Symbolic Logic 22 (1):102-103.
  36.  13
    Negative Utilitarianism.H. B. Acton & J. W. N. Watkins - 1963 - Aristotelian Society Supplementary Volume 37 (1):83-114.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  37.  23
    Philosophy and Ideology: The Development of Philosophy and Marxism-Leninism in Poland Since the Second World War.H. B. Acton & Z. A. Jordan - 1965 - Philosophical Quarterly 15 (58):90.
  38.  82
    The theory of concrete universals.H. B. Acton - 1936 - Mind 45 (180):417-431.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  39. Nature's joke: A conjecture on the biological role of consciousness.H. B. Barlow - 1980 - In Brian Josephson & V. Ramach (eds.), Consciousness and the Physical World. Pergamon Press.
  40.  18
    Efficiency, versatility, cognitive maps, and language.H. B. Barlow - 1987 - Behavioral and Brain Sciences 10 (4):657.
  41.  66
    X.—The Correspondence Theory of Truth.H. B. Acton - 1935 - Proceedings of the Aristotelian Society 35 (1):177-194.
  42.  3
    Review: H. B. Curry, A New Proof of the Church-Rosser Theorem. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):377-378.
  43.  63
    The theory of concrete universals (I.).H. B. Acton - 1936 - Mind 45 (180):1-13.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  44.  36
    Dispositional and Causal Explanation.H. B. Dalrymple - 1975 - Southwestern Journal of Philosophy 6 (1):115-121.
    It is argued that dispositional explanations are radically incomplete causal explanations that are employed when (1) a description of the stimuli is insufficient to account for the object's response and (2) not enough is known about the object to specify what its specific causal contribution is. ryle's failure to refer to the causal contribution of the organism in his account of dispositions is regarded as a serious weakness.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  19
    Notes and News.H. B. Davis - 1908 - Journal of Philosophy, Psychology and Scientific Methods 5 (10):280.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  27
    The Raccoon: A Study in Animal Intelligence.H. B. Davis - 1908 - Journal of Philosophy, Psychology and Scientific Methods 5 (13):358-362.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. The Philosophy of Punishment.H. B. Acton & Ted Honderich - 1970 - Philosophy 45 (174):341-341.
     
    Export citation  
     
    Bookmark   6 citations  
  48.  7
    Review: H. B. Curry, Languages and Formal Systems. [REVIEW]Carl G. Hempel - 1950 - Journal of Symbolic Logic 14 (4):247-247.
  49.  31
    F. H. Bradley.H. B. Action - 1960 - Philosophical Books 1 (2):20-22.
  50.  43
    Consciousness and attention.H. B. Coslett - 1997 - Seminars in Neurology 17:137-44.
1 — 50 / 1000