Results for 'W. A. Curry'

1000+ found
Order:
  1.  7
    Thinking doctor. The road to healing.W. A. Curry - 2012 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 75 (4):26 - 27.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  19
    A localist evaluation solution for visual stability across saccades.David E. Irwin, George W. McConkie, Laura A. Carlson-Radvansky & Christopher Currie - 1994 - Behavioral and Brain Sciences 17 (2):265-266.
  3.  30
    The Critical Pragmatism of Alain Locke: A Reader on Value Theory, Aesthetics, Community, Culture, Race, and Education.Nancy Fraser, Astrid Franke, Sally J. Scholz, Mark Helbling, Judith M. Green, Richard Shusterman, Beth J. Singer, Jane Duran, Earl L. Stewart, Richard Keaveny, Rudolph V. Vanterpool, Greg Moses, Charles Molesworth, Verner D. Mitchell, Clevis Headley, Kenneth W. Stikkers, Talmadge C. Guy, Laverne Gyant, Rudolph A. Cain, Blanche Radford Curry, Segun Gbadegesin, Stephen Lester Thompson & Paul Weithman (eds.) - 1999 - Rowman & Littlefield Publishers.
    In its comprehensive overview of Alain Locke's pragmatist philosophy this book captures the radical implications of Locke's approach within pragmatism, the critical temper embedded in Locke's works, the central role of power and empowerment of the oppressed and the concept of broad democracy Locke employed.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
     
    Export citation  
     
    Bookmark   68 citations  
  5.  26
    Kon-Tiki Experiments.Aaron Novick, Adrian M. Currie, Eden W. McQueen & Nathan L. Brouwer - 2020 - Philosophy of Science 87 (2):213-236.
    We identify a species of experiment—Kon-Tiki experiments—used to demonstrate the competence of a cause to produce a certain effect, and we examine their role in the historical sciences. We argue that Kon-Tiki experiments are used to test middle-range theory, to test assumptions within historical narratives, and to open new avenues of inquiry. We show how the results of Kon-Tiki experiments are involved in projective inferences, and we argue that reliance on projective inferences does not provide historical scientists with any special (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6. 1 Thessalonians 5:12–24.Thomas W. Currie - 2006 - Interpretation: A Journal of Bible and Theology 60 (4):446-449.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  93
    Genesis 50:15–21.Thomas W. Currie - 2003 - Interpretation: A Journal of Bible and Theology 57 (4):414-416.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  32
    A Cognitivist Solution to Newcomb's Problem.Raymond Dacey, Richard E. Simmons, David J. Curry & John W. Kennelly - 1977 - American Philosophical Quarterly 14 (1):79 - 84.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  30
    A Response to Frank W. Derringh’s Review of Ecological Ethics.Patrick Curry - 2008 - Environmental Ethics 30 (2):223-224.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Will the Real CRT Please Stand Up? The Dangers of Philosophical Contributions to CRT.Tommy J. Curry - 2009 - Crit: A Critical Legal Studies Journal:1-47.
    The recent pop culture iconography of the Critical Race Theory (CRT) label has attracted more devoted (white) fans than a 90s boy band. In philosophy, this trend is evidenced by the growing number of white feminists who extend their work in gender analogically to questions of race and identity. The trend is further evidenced by the unchecked use of the CRT label to describe (1) any work dealing with postcolonial authors like W.E.B. Du Bois and Frantz Fanon or (2) the (...)
     
    Export citation  
     
    Bookmark   1 citation  
  11.  93
    Aristotle's De interpretatione: contradiction and dialectic.C. W. A. Whitaker - 1996 - New York: Oxford University Press.
    De Interpretatione is among Aristotle's most influential and widely read writings; C. W. A. Whitaker presents the first systematic study of this work, and offers a radical new view of its aims, its structure, and its place in Aristotle's system. He shows that De Interpretatione is not a disjointed essay on ill-connected subjects, as traditionally thought, but a highly organized and systematic treatise on logic, argument, and dialectic.
  12. The completeness of Heyting first-order logic.W. W. Tait - 2003 - Journal of Symbolic Logic 68 (3):751-763.
    Restricted to first-order formulas, the rules of inference in the Curry-Howard type theory are equivalent to those of first-order predicate logic as formalized by Heyting, with one exception: ∃-elimination in the Curry-Howard theory, where ∃x : A.F (x) is understood as disjoint union, are the projections, and these do not preserve firstorderedness. This note shows, however, that the Curry-Howard theory is conservative over Heyting’s system.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  28
    Curry H. B.. The logic of program composition. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris—25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, série A, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 97–102. [REVIEW]George W. Patterson - 1957 - Journal of Symbolic Logic 22 (1):102-103.
  14. Recursive Objects in all Finite Types.A. Grzegorczyk & Haskell B. Curry - 1974 - Journal of Symbolic Logic 39 (2):343-343.
     
    Export citation  
     
    Bookmark  
  15. Deterrent Punishment.W. A. Wall - 1898 - Philosophical Review 7:317.
    No categories
     
    Export citation  
     
    Bookmark  
  16. Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic.M. W. Bunder & W. J. M. Dekkers - 2005 - Notre Dame Journal of Formal Logic 46 (2):181-205.
    Pure Type Systems, PTSs, were introduced as a generalization of the type systems of Barendregt's lambda cube and were designed to provide a foundation for actual proof assistants which will verify proofs. Systems of illative combinatory logic or lambda calculus, ICLs, were introduced by Curry and Church as a foundation for logic and mathematics. In an earlier paper we considered two changes to the rules of the PTSs which made these rules more like ICL rules. This led to four (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  40
    Does the Present Overdetermine the Past?Craig W. Fox - 2023 - In Marius Stan & Christopher Smeenk (eds.), Theory, Evidence, Data: Themes from George E. Smith. Springer. pp. 83-94.
    In an influential series of papers, Cleland (2001, 2002, 2011) argued that historical natural scientists employ a distinctive methodology—which exploits Lewis (1979)s asymmetry of over determination—that is capable of putting knowledge of the deep past on an epistemic par with experimental knowledge. Currie (2018) clarified the nature of the asymmetry claim and used it to argue for a more restricted form of optimism toward the historical sciences. This optimism is licensed by the evidential redundancy that the asymmetry of over determination (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  13
    Soft X-ray emission spectra of non-dilute aluminium-magnesium alloys.A. Appleton & C. Curry - 1965 - Philosophical Magazine 12 (116):245-252.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  19
    The Shrine and Cult of Muʿīn al-Dīn Chishtī of AjmerThe Shrine and Cult of Muin al-Din Chishti of Ajmer.A. S. & P. M. Currie - 1991 - Journal of the American Oriental Society 111 (1):193.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  10
    Soft X-ray emission spectra of some binary alloys.A. Appleton & C. Curry - 1967 - Philosophical Magazine 16 (143):1031-1037.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  15
    Review - Narratives and Narrators: A Philosophy of Stories By Gregory Currie Oxford: Oxford University Press, 2010, 243 + xi pp., £30.00. [REVIEW]M. W. Rowe - 2011 - Philosophy 86 (2):308-312.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  49
    Some modifications of Scott's theorem on injective spaces.Andrzej W. Jankowski - 1986 - Studia Logica 45 (2):155 - 166.
    D. Scott in his paper [5] on the mathematical models for the Church-Curry -calculus proved the following theorem.A topological space X. is an absolute extensor for the category of all topological spaces iff a contraction of X. is a topological space of Scott's open sets in a continuous lattice.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23. Galileo’s Early Notebooks: The Physical Questions.W. A. Wallace - 1977
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  24. Bruce R. Reichenbach, "The Cosmological Argument. A Reassessment". [REVIEW]W. A. Wallace - 1972 - The Thomist 36 (4):721.
     
    Export citation  
     
    Bookmark  
  25.  46
    An Introduction to the Philosophy of Religion. [REVIEW]A. J. W. - 1969 - Review of Metaphysics 23 (2):346-346.
    This is a surprisingly good book. Published by Longmans in Great Britain as part of a series on "Education Today," it provides a very lucid and cogent first glimpse at the discipline of the philosophy of religion. The author's perspective is derivative of the analytic school, but what makes the book so valuable is that Goodall relates linguistic distinctions to Biblical categories. The author makes it obvious that he is a believer and authenticates the conviction that one can be a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Taxonomy of Educational Objectives. Handbook I: Cognitive DomainTaxonomy of Educational Objectives. Handbook 2: Affective Domain.W. A. L. Blyth, B. S. Bloom & D. R. Krathwohl - 1966 - British Journal of Educational Studies 14 (3):119.
  27. Privacy, morality, and the law.W. A. Parent - 1983 - Philosophy and Public Affairs 12 (4):269-288.
  28.  19
    A Theory of Punishment.W. A. Miller - 1970 - Philosophy 45 (174):307 - 316.
    T he O bject of this paper is the development of a view of punishment which incorporates what is of importance in retributive and utilitarian justifications of the practice of punishment. This proposed theory was noted and referred to as the plene esse , but not fully worked out, in the course of a discussion paper in which my concern was to offer an alternative view, to that of Mr Anthony Quinton, by construing ‘the right to punishment’ as meaning that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. C. Viola: L'unité de l'homme et l'expérience qui la révèle d'après saint Thomas d'Aquin. [REVIEW]W. A. Wallace - 1959 - Freiburger Zeitschrift für Philosophie Und Theologie 6 (1):83.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  16
    Mr. Quinton on 'An Odd Sort of Right'.W. A. Miller - 1966 - Philosophy 41 (157):258 - 260.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Institutional ethics committees.W. A. W. Walters - forthcoming - Unpublished Paper Presented at Bioethics Course, Monash University Centre for Human Bioethics, Warburton Vic.
  32. Gravitational Motion according to Theodoric of Freiberg.W. A. Wallace - 1961 - The Thomist 24 (2):327-352.
     
    Export citation  
     
    Bookmark  
  33. Six Studies of Causality on the Bicentenary of David Hume.W. A. Wallace - 1976 - The Thomist 40:684-696.
     
    Export citation  
     
    Bookmark  
  34. Thomism and Modern Science: Relationships Past, Present, and Future.W. A. Wallace - 1968 - The Thomist 32 (1):67.
     
    Export citation  
     
    Bookmark   1 citation  
  35.  9
    The Cosmogony of Teilhard de Chardin.W. A. Wallace - 1962 - New Scholasticism 36 (3):353-367.
  36.  12
    Transsexualism: ethical and legal aspects.W. A. Walters & H. A. Finlay - 1984 - Bioethics News 4 (1):13.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  3
    The Individualism of Marcus Aurelius.W. A. Watt - 1903 - International Journal of Ethics 14 (2):201.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  40
    The Individualism of Marcus Aurelius.W. A. Watt - 1904 - International Journal of Ethics 14 (2):201-208.
  39.  10
    The morality of private and international action.W. A. Watt - 1902 - International Journal of Ethics 12 (2):152-160.
  40.  16
    Herrmann, L., Querolus.W. A. Abbott - 1938 - Classical Weekly 31:227-229.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  6
    A trip into your unconscious.W. A. Mambert - 1973 - Washington,: Acropolis Books. Edited by B. Frank Foster.
  42. On the distinction between sensory storage and visual short-term memory.W. A. Phillips - 1974 - Perception and Psychophysics 16:283-90.
  43.  9
    Galeni in Hippocratis Prorrheticum 1, De comate secundum Hippocratem, in Hippocratis Prognosticum.W. A. Heidel, Hermannus Diels, I. L. Heiberg, Fridericus Vollmer & Niedermann - 1925 - American Journal of Philology 46 (2):193.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  80
    Recent Work on the Concept of Privacy.W. A. Parent - 1983 - American Philosophical Quarterly 20 (4):341 - 355.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  45.  34
    Selected Works of George A. Kennedy.W. A. C. H. Dobson, Tien-yi Li & George A. Kennedy - 1964 - Journal of the American Oriental Society 84 (2):192.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Sem Costura: Algumas Ideias Sobre a Filosofia e a Universidade.W. A. M. Dourado - 2010 - Páginas de Filosofía 2 (1):109-138.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  14
    Die Nederduitsch Hervormde Kerk van Afrika as volkskerk: Oorsig en herbesinning.W. A. Dreyer - 2006 - HTS Theological Studies 62 (4).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  32
    Progress toward an understanding of cortical computation.W. A. Phillips & W. Singer - 1997 - Behavioral and Brain Sciences 20 (4):703-714.
    The additional data, perspectives, questions, and criticisms contributed by the commentaries strengthen our view that local cortical processors coordinate their activity with the context in which it occurs using contextual fields and synchronized population codes. We therefore predict that whereas the specialization of function has been the keynote of this century the coordination of function will be the keynote of the next.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  49.  37
    Constructivism deconstructed.W. A. Suchting - 1992 - Science & Education 1 (3):223-254.
  50.  3
    Church and government in Reformed perspective.W. A. Dreyer - 2005 - HTS Theological Studies 61 (3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000