Results for 'P. C. Gilmore'

1000+ found
Order:
  1.  10
    Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.P. C. Gilmore & James H. Andrews - 2007 - Bulletin of Symbolic Logic 13 (1):104-105.
  2.  6
    An examination of the geometry theorem machine.P. C. Gilmore - 1970 - Artificial Intelligence 1 (3-4):171-187.
  3.  28
    Some forms of completeness.P. C. Gilmore - 1962 - Journal of Symbolic Logic 27 (3):344-352.
  4.  26
    Meeting of the association for symbolic logic.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
  5.  19
    Meeting of the Association for Symbolic Logic, New York, 1974.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
  6.  12
    Review: D. van Dantzig, Comments on Brouwer's Theorem on Essentially-Negative Predicates. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (2):195-195.
  7.  21
    Review: D. van Dantzig, Mathematique Stable et Mathematique Affirmative. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
  8.  6
    Review: N. Dequoy, Axiomatique Intuitionniste sans Negation de la Geometrie Projective. [REVIEW]P. C. Gilmore - 1955 - Journal of Symbolic Logic 20 (2):174-175.
  9.  12
    Dequoy N.. Axiomatique intuitionniste sans négation de la géométrie projective. Collection de logique mathématique, série A. Offset. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1955, 108 pp. [REVIEW]P. C. Gilmore - 1955 - Journal of Symbolic Logic 20 (2):174-175.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  15
    van Dantzig D.. Comments on Brouwer's theorem on essentially-negative predicates. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 52 , pp. 949–957; also Indagationes mathematicae vol. 11 , pp. 347–355. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (2):195-195.
  11.  8
    van Dantzig D.. Mathématique stable et mathématique affirmative. Congrès International de Philosophie des Sciences, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 123–135. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  18
    Valpola Veli. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Mathematica Scandinavica, vol. 3 , pp. 107–114. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (4):380-380.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  12
    Valpola Veli. Ein System der negationslosen Logik mit ausschliesslich realisierbaren Prädikaten. Acta philosophica Fennica, no. 9. Helsinki 1955, 247 pp. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (4):355-356.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  35
    Weyl Hermann. Über die neue Grundlagenkrise der Mathematik. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart 1956, pp. 211–247.Weyl Hermann. Nachtrag Juni 1955. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart 1956, pp. 247–248. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (1):81-82.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    Relative interfacial free energies in pure nickel, dispersion hardened nickel, and a precipitation hardened nickel-base alloy.L. E. Murr, P. J. Smith & C. M. Gilmore - 1968 - Philosophical Magazine 17 (145):89-106.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  27
    P. C. Gilmore. An addition to “Logic of many-sorted theories.”Compositio mathematica, vol. 13 , pp. 277–281.H. Arnold Schmidt - 1968 - Journal of Symbolic Logic 32 (4):521.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Psychology of Reasoning: Structure and Content.P. C. Wason & P. N. Johnson - 1974 - Philosophy and Rhetoric 7 (3):193-197.
     
    Export citation  
     
    Bookmark   200 citations  
  18. Dual processes in reasoning?P. C. Wason & J. S. T. B.. T. Evans - 1974 - Cognition 3 (2):141-154.
  19. Review: P. C. Gilmore, An Addition to "Logic of Many-Sorted Theories.". [REVIEW]H. Arnold Schmidt - 1967 - Journal of Symbolic Logic 32 (4):521-521.
  20.  11
    Review: P. C. Gilmore, Griss' Criticism of the Intuitionistic Logic and the Theory of Order. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):93-94.
  21. Review: P. C. Gilmore, A Proof Method for Quantification Theory: Its Justification and Realization. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):124-125.
     
    Export citation  
     
    Bookmark  
  22.  12
    Review: P. C. Gilmore, An Alternative to Set Theory; P. C. Gilmore, The Monadic Theory of Types in the Lower Predicate Calculus. [REVIEW]Bede Rundle - 1972 - Journal of Symbolic Logic 37 (4):766-767.
  23.  46
    P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, pp. 265–273. - J. Porte, P. C. Gilmore, Dag H. Prawitz, Håkon Prawitz, and Neri Voghera. Discussion. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, p. 273. - P. C. Gilmore. A proof method for quantification theory: Its justification and realization. IBM journal of research and development, vol. 4 , pp. 28–35. [REVIEW]J. A. Robinson - 1996 - Journal of Symbolic Logic 31 (1):124-125.
  24.  12
    On perceptual clarity.P. C. Dodwell - 1971 - Psychological Review 78 (4):275-289.
  25. Rebecca Solnit, Wanderlust: a History of Walking.P. C. Adams - 2001 - Ethics, Policy and Environment 4:273-275.
    No categories
     
    Export citation  
     
    Bookmark  
  26.  6
    Other worlds.P. C. W. Davies - 1980 - New York, N.Y., USA: Penguin Books.
    An inquiry into the nature of the universe draws out the implications of the quantum theory and argues that our universe is only one among many possible universes and that other universes may exist.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  27. Restatement of Liberty.P. C. Gordon Walker - 1952 - Revue Philosophique de la France Et de l'Etranger 142:618-620.
     
    Export citation  
     
    Bookmark  
  28.  19
    The Philosophical Disenfranchisement of Art.Arthur C. Danto & Jonathan Gilmore - 1986 - New York: Cambridge University Press.
    In this acclaimed work, first published in 1986, world-renowned scholar Arthur C. Danto explored the inextricably linked but often misunderstood relationship between art and philosophy. In light of the book's impact -- especially the essay "The End of Art," which dramatically announced that art ended in the 1960s -- this enhanced edition includes a foreword by Jonathan Gilmore that discusses how scholarship has changed in response to it. Complete with a new bibliography of work on and influenced by Danto's (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  76
    Causes of Behaviour and Explanation in Psychology.P. C. Dodwell - 1960 - Mind 69 (273):1 - 13.
    The author is primarily concerned with the explanation of behavior in regard to (1) the mecanical model, (2) the effects of physical-organic processes on behavior, (3) the lack of understanding between philosophers and psychologists as to sufficient conditions for predicting a behavioral event, (4) conditions leading to expalantions of behavior that could predict behavior exclusive of any antecedent psychological behavior, and (5) variations of the mechanical-model introducing differing sorts of explanation. (staff).
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  30.  10
    Evangeliserende gemeente: n Leefwyse? n Besinning oor missionere gerigtheid as aspek van gemeentewees.P. C. Swanepoel & P. J. Van der Merwe - 1996 - HTS Theological Studies 52 (2/3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  6
    The First Nations: A Canadian experience of the Gospel Culture encounter.P. C. Swanepoel - 1997 - HTS Theological Studies 53 (4).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  85
    Measuring the ethical sensitivity of medical students: a study at the University of Toronto.P. C. Hébert, E. M. Meslin & E. V. Dunn - 1992 - Journal of Medical Ethics 18 (3):142-147.
    An instrument to assess 'ethical sensitivity' has been developed. The instrument presents four clinical vignettes and the respondent is asked to list the ethical issues related to each vignette. The responses are classified, post hoc, into the domains of autonomy, beneficence and justice. This instrument was used in 1990 to assess the ethical sensitivity of students in all four medical classes at the University of Toronto. Ethical sensitivity, as measured by this instrument, is not related to age or grade-point average. (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  33. Does quantum mechanics play a non-trivial role in life?P. C. W. Davies - unknown
    There have been many claims that quantum mechanics plays a key role in the origin and/or operation of biological organisms, beyond merely providing the basis for the shapes and sizes of biological molecules and their chemical affinities. These range from Schr¨odinger’s suggestion that quantum fluctuations produce mutations, to Hameroff and Penrose’s conjecture that quantum coherence in microtubules is linked to consciousness. I review some of these claims in this paper, and discuss the serious problem of decoherence. I advance some further (...)
     
    Export citation  
     
    Bookmark   12 citations  
  34. Extension of Wheeler-Feynman quantum theory to the relativistic domain I. Scattering processes.P. C. W. Davies - unknown
    Institute of Theoretical Astronomy, University of Cambridge, Cambridge, UK 3fS. received 28th August 1970, in final revised form 1st July 1971..
     
    Export citation  
     
    Bookmark   11 citations  
  35.  70
    Other minds in the brain: a functional imaging study of "theory of mind" in story comprehension.P. C. Fletcher, F. Happé, U. Frith, S. C. Baker, R. J. Dolan, R. S. Frackowiak & C. D. Frith - 1995 - Cognition 57 (2):109-128.
  36.  8
    Other worlds.P. C. W. Davies - 1980 - London: J. M. Dent.
    Paul Davies explains the significance of the amazing quantum universe, where fact is stranger than any science fiction. He takes us into a world where commonsense notions of space, time, and causality must be left behind as the realm of solid matter dissolves into vibrating patterns of ghostly energy, and where mind and matter are interwoven in a subtle and holistic manner. An Australian physicist and author of GOD AND THE NEW PHYSICS, Davies writes for the lay reader in simple (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Space and Time in the Modern Universe.P. C. W. Davies - 1978 - British Journal for the Philosophy of Science 29 (3):289-293.
  38.  14
    What is important about McCollough effects? Reply to Allan and Siegel.P. C. Dodwell & G. Keith Humphrey - 1993 - Psychological Review 100 (2):347-350.
  39. Pronominalization and discourse coherence, discourse structure, and pronoun interpretation.P. C. Gordon - 1992 - Bulletin of the Psychonomic Society 30 (6):486-486.
  40.  9
    Superforce: The Search for a Grand Unified Theory of Nature.P. C. W. Davies - 1984
  41. Multiverse Cosmological Models.P. C. W. Davies - unknown
    Recent advances in string theory and inflationary cosmology have led to a surge of interest in the possible existence of an ensemble of cosmic regions, or “universes”, among the members of which key physical parameters, such as the masses of elementary particles and the coupling constants, might assume different values. The observed values in our cosmic region are then attributed to an observer selection effect (the so-called anthropic principle). The assemblage of universes has been dubbed “the multiverse”. In this paper (...)
     
    Export citation  
     
    Bookmark   4 citations  
  42.  31
    Reconstruction theorems in quantum mechanics.P. C. Zabey - 1975 - Foundations of Physics 5 (2):323-342.
    Given a physical system, one knows that there is a logical duality between its properties and its states. In this paper, we choose its states as the undefined notions of our axiomatic construction. In fact, by means of well-motivated assumptions expressed in terms of a transition probability function defined on the set of all pure states of the system, we construct a system of elementary propositions, i.e., a complete orthomodular atomic lattice satisfying the covering law. We also study in this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  2
    A coupled system for coding and learning in shape discrimination.P. C. Dodwell - 1964 - Psychological Review 71 (2):148-159.
  44.  14
    Anomalous transfer in rats: Pattern element separation and discriminability.P. C. Dodwell, H. B. Ferguson & R. R. Niemi - 1976 - Bulletin of the Psychonomic Society 7 (2):154-156.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  18
    Anomalous transfer in rats: A “macropattern” phenomenon.P. C. Dodwell, R. R. Niemi & H. B. Ferguson - 1976 - Bulletin of the Psychonomic Society 7 (2):157-159.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  7
    Coding and learning in shape discrimination.P. C. Dodwell - 1961 - Psychological Review 68 (6):373-382.
  47.  14
    Can we analyze Skinner's problem-solving behavior in operant terms?P. C. Dodwell - 1984 - Behavioral and Brain Sciences 7 (4):592-593.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  21
    Theories of perception as experimental epistemology.P. C. Dodwell - 1985 - Behavioral and Brain Sciences 8 (2):291-293.
  49.  36
    Unified cognitive theory is not comprehensive.P. C. Dodwell - 1992 - Behavioral and Brain Sciences 15 (3):443-445.
  50.  33
    Bizarreness of size and shape in dream images.P. C. Cicogna, M. Occhionero, V. Natale & M. J. Esposito - 2007 - Consciousness and Cognition 16 (2):381-390.
1 — 50 / 1000