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.  5
    An examination of the geometry theorem machine.P. C. Gilmore - 1970 - Artificial Intelligence 1 (3-4):171-187.
  3.  26
    Meeting of the association for symbolic logic.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
  4.  16
    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.
  5.  28
    Some forms of completeness.P. C. Gilmore - 1962 - Journal of Symbolic Logic 27 (3):344-352.
  6.  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  
  7.  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.
  8.  21
    Review: D. van Dantzig, Mathematique Stable et Mathematique Affirmative. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
  9.  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.
  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.  34
    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. Perspectives on global change theory.P. C. Peters Debra, T. Bestelmeyer Brandon & K. Knapp Alan - 2011 - In Samuel M. Scheiner & Michael R. Willig (eds.), The theory of ecology. London: University of Chicago Press.
     
    Export citation  
     
    Bookmark  
  18. 1. cosmic time.P. C. W. Davies - 1972 - In J. T. Fraser, F. C. Haber & G. H. Mueller (eds.), The Study of Time. Springer Verlag. pp. 3--74.
     
    Export citation  
     
    Bookmark  
  19.  4
    Le droit et la doctrine de la justice.P. C. Solberg - 1930 - Paris,: F. Alcan. Edited by Guy-Charles Cros.
  20.  5
    Etiese probleme in bybelse perspektief.P. C. Potgieter (ed.) - 1980 - Pretoria: NG Kerkboekhandel.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. 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.
  22.  9
    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.
  23.  4
    The Common Good: Chinese and American Perspectives.P. C. Lo & David Solomon (eds.) - 2014 - Dordrecht: Imprint: Springer.
    This book addresses the Confucian philosophy of common good and deals with the comparative philosophy on eastern and western understandings of common good. The common good is an essentially contested concept in contemporary moral and political discussions. Although the notion of the common good has a slightly antique air, especially in the North Atlantic discussion, it has figured prominently in both the sophisticated theoretical accounts of moral and political theory in recent years and also in the popular arguments brought for (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  43
    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.
  25. 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  
  26.  11
    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.
  27. 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  
  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 (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Dual processes in reasoning?P. C. Wason & J. S. T. B.. T. Evans - 1974 - Cognition 3 (2):141-154.
  30.  66
    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.
  31.  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  
  32.  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  
  33.  85
    Measuring the ethical sensitivity of medical students: a study at the University of Toronto.P. C. Hebert, 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  
  34.  12
    On perceptual clarity.P. C. Dodwell - 1971 - Psychological Review 78 (4):275-289.
  35. 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  
  36. 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  
  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.  34
    The acceptability among young Hindus and Muslims of actively ending the lives of newborns with genetic defects.P. C. Sorum, R. Ahmed, S. Kamble & E. Mullet - 2014 - Journal of Medical Ethics 40 (3):186-191.
    Aim To explore the views in non-Western cultures about ending the lives of damaged newborns.Method 254 university students from India and 150 from Kuwait rated the acceptability of ending the lives of newborns with genetic defects in 54 vignettes consisting of all combinations of four factors: gestational age ; severity of genetic defect ; the parents’ attitude about prolonging care ; and the procedure used .Results Four clusters were identified by cluster analysis and subjected to analysis of variance. Cluster I, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  39.  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  
  40.  6
    Alternative descriptions in line drawing analysis.P. C. Maxwell - 1974 - Artificial Intelligence 5 (4):325-348.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  12
    Landmarks in the History of Physical Education.P. C. McIntosh - 2007 - Routledge.
    Originally published in 1957,the first part of this volume examines physical education in classical Greece and Imperial Rome during the first and second centuries A.D. and in Italy and England during the Renaissance. Each of these periods witnessed remarkable developments in the practice and theory of physical education: developments which still have present-day significance. The second part of the book traces the simultaneous development of physical education in different parts of the USA and Europe from the end of the eighteenth (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  13
    Energy dependence of anisotropy of defect production in electron irradiated diamond‐type crystals.P. C. Banbury & I. N. Haddad - 1966 - Philosophical Magazine 14 (130):841-846.
  43. Overtures to Biology: The Speculations of Eighteenth-Century Naturalists.P. C. Ritterbush - 1964
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  44. Disclosure of medical error.P. C. Hebert, A. V. Levin & G. Robertson - 2008 - In Peter A. Singer & A. M. Viens (eds.), The Cambridge textbook of bioethics. New York: Cambridge University Press. pp. 257--65.
     
    Export citation  
     
    Bookmark  
  45.  7
    Superforce: The Search for a Grand Unified Theory of Nature.P. C. W. Davies - 1984
  46.  52
    A Confucian Philosophy of Medicine and Some Implications.P. -C. Lo - 2010 - Journal of Medicine and Philosophy 35 (4):466-476.
    Two crucial topics in the philosophy of medicine are the philosophy of nature and philosophical anthropology. In this essay I engage the philosophy of nature by exploring Anne Fagot-Largeault's study of norms in nature as a way of articulating a Confucian philosophy of medicine. I defend the Confucian position as a moderate naturalism.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  3
    Rajini's punchtantra: business and life management the Rajinikanth way.P. C. Balasubramanian - 2010 - New Delhi: Rupa Publications. Edited by Raja Krishnamoorthy.
    Reprint. Originally published: Rajini's punchtantra: value statements on business and life management. Chennai: New Horizon Media, 2010.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  15
    The Darwin Enterprise: From Scientific Icon to Global Product.P. C. Kjaergaard - 2010 - History of Science 48 (1):105-122.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Pronominalization and discourse coherence, discourse structure, and pronoun interpretation.P. C. Gordon - 1992 - Bulletin of the Psychonomic Society 30 (6):486-486.
  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