Results for 'Stephen G. Pulman'

998 found
Order:
  1.  87
    Higher Order Unification and the Interpretation of Focus.Stephen G. Pulman - 1997 - Linguistics and Philosophy 20 (1):73-115.
    Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked focus, or (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  9
    The Field Theory of Meaning. [REVIEW]B. G. - 1958 - Review of Metaphysics 12 (1):150-151.
    The existential proposition is treated as the unit of meaning in this analysis of cognitive meaning; the notion of a physical field is the principle ingredient in the analysis. Such problems as meaning, reference, belief, and the unity of a judgment are also discussed in the light of contemporary logic and the psychology of perception. Stephen Pepper contributes a helpful introduction to this short but perspicacious work.--G. B.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  14
    The Automation of Science.Ross King, Rowland D., Oliver Jem, G. Stephen, Michael Young, Wayne Aubrey, Emma Byrne, Maria Liakata, Magdalena Markham, Pinar Pir, Larisa Soldatova, Sparkes N., Whelan Andrew, E. Kenneth & Amanda Clare - 2009 - Science 324 (5923):85-89.
    The basis of science is the hypothetico-deductive method and the recording of experiments in sufficient detail to enable reproducibility. We report the development of Robot Scientist "Adam," which advances the automation of both. Adam has autonomously generated functional genomics hypotheses about the yeast Saccharomyces cerevisiae and experimentally tested these hypotheses by using laboratory automation. We have confirmed Adam's conclusions through manual experiments. To describe Adam's research, we have developed an ontology and logical language. The resulting formalization involves over 10,000 different (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  4.  25
    Functional Genomic Hypothesis Generation and Experimentation by a Robot Scientist.Ross King, Whelan D., E. Kenneth, Ffion Jones, Reiser M., G. K. Philip, Christopher Bryant, Muggleton H., H. Stephen, Douglas Kell, Oliver B. & G. Stephen - 2004 - Nature 427 (6971):247--52.
  5. Multifractal Dynamics in the Emergence of Cognitive Structure.James A. Dixon, John G. Holden, Daniel Mirman & Damian G. Stephen - 2012 - Topics in Cognitive Science 4 (1):51-62.
    The complex-systems approach to cognitive science seeks to move beyond the formalism of information exchange and to situate cognition within the broader formalism of energy flow. Changes in cognitive performance exhibit a fractal (i.e., power-law) relationship between size and time scale. These fractal fluctuations reflect the flow of energy at all scales governing cognition. Information transfer, as traditionally understood in the cognitive sciences, may be a subset of this multiscale energy flow. The cognitive system exhibits not just a single power-law (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  7
    Interactions Dominate the Dynamics of Visual Cognition.Damian G. Stephen & Daniel Mirman - 2010 - Cognition 115 (1):154-165.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7.  89
    Is Cognitive Science Usefully Cast as Complexity Science?Guy van Orden & Damian G. Stephen - 2012 - Topics in Cognitive Science 4 (1):3-6.
    Readers of TopiCS are invited to join a debate about the utility of ideas and methods of complexity science. The topics of debate include empirical instances of qualitative change in cognitive activity and whether this empirical work demonstrates sufficiently the empirical flags of complexity. In addition, new phenomena discovered by complexity scientists, and motivated by complexity theory, call into question some basic assumptions of conventional cognitive science such as stable equilibria and homogeneous variance. The articles and commentaries that appear in (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  81
    Searching for General Principles in Cognitive Performance: Reply to Commentators.Damian G. Stephen & Guy Van Orden - 2012 - Topics in Cognitive Science 4 (1):94-102.
    The commentators expressed concerns regarding the relevance and value of non-computational non-symbolic explanations of cognitive performance. But what counts as an “explanation” depends on the pre-theoretical assumptions behind the scenes of empirical science regarding the kinds of variables and relationships that are sought out in the first place, and some of the present disagreements stem from incommensurate assumptions. Traditional cognitive science presumes cognition to be a decomposable system of components interacting according to computational rules to generate cognitive performances (i.e., component-dominant (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  23
    Free Will as an Open Scientific Problem. By Mark Balaguer. (Cambridge, MS: MIT Press, 2010. Pp. 202. Price £24.95 Hb, £12.95 Pb.).C. G. Pulman - 2012 - Philosophical Quarterly 62 (248):640-642.
  10.  29
    'Introduction'.C. G. Pulman - 2014 - In Hart on Responsibility. Palgrave-Macmillan.
  11.  15
    Karen Ida Boalth Spärck Jones 1935-2007.S. G. Pulman - 2011 - In Proceedings of the British Academy, Volume 166, Biographical Memoirs of Fellows, IX. pp. 273.
    Karen Spärck Jones produced over 200 publications, including nine books, in her long research career. She received many awards and honours, including the Association for Computing Machinery Salton Award in 1988; the American Society for Information Science and Technology Award of Merit in 2002; and the joint Association for Computing Machinery and Association for the Advancement of Artificial Intelligence Allen Newell Award in 2007. Karen also worked hard to try to improve the position of women in computing and to attract (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  41
    Where is the Free Agency in Personal Agency?C. G. Pulman - 2011 - Philosophical Quarterly 61 (244):630-632.
    According to Jonathan Lowe's ‘Personal Agency’, free actions begin with a volition or act of will, which is itself a freely performed action. However, Lowe's explanation of why volitions are free actions is viciously circular: he argues that volitions qualify as free actions because they are rationally explicable, but claims that an action can only be rationally explicable if it is freely performed.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  13.  26
    The Foundations of Agency.C. G. Pulman - 2014 - Philosophical Quarterly 64 (254):123-134.
  14.  19
    Infertility Treatment and Multiple Birth Rates in Britain, 1938–94.M. Murphy, K. Hey, J. Brown, B. Willis, J. D. Ellis, D. Barlow, A. Chandra, E. H. Stephen, C. Nilses & G. Lindmark - 1997 - Journal of Biosocial Science 29 (2):235-43.
  15.  11
    Ethics and Religion.Walter Goodnow Everett, John Seeley, Felix Adler, W. M. Salter, Henry Sidgwick, G. Von Gizycki, Bernard Bosanquet, Leslie Stephen, Stanton Coit, J. H. Muirhead & Society of Ethical Propagandists - 1900 - Philosophical Review 9 (6):659.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  31
    Personal Agency: The Metaphysics of Mind and Action – by E. J. Lowe.C. G. Pulman - 2010 - Ratio 23 (2):232-236.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17.  11
    Voluntary Interventions.C. G. Pulman - 2014 - In Hart on Responsibility. Palgrave-Macmillan.
  18.  7
    Jeffrie Murphy , Punishment and the Moral Emotions: Essays in Law, Morality, and Religion . Reviewed By.C. G. Pulman - 2013 - Philosophy in Review 33 (1):57-59.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  6
    Kadri Vihvelin , Causes, Laws, and Free Will . Reviewed By.C. G. Pulman - 2014 - Philosophy in Review 34 (1-2):98-100.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Focus and Higher Order Unification.Stephen Pulman - 1997 - Linguistics and Philosophy 20.
     
    Export citation  
     
    Bookmark  
  21.  44
    Hart on Responsibility.C. G. Pulman (ed.) - 2014 - Palgrave-Macmillan.
  22. Economists in Discussion the Correspondence Between G.L.S. Shackle and Stephen F. Frowen, 1951-1992.Stephen F. Frowen & G. L. S. Shackle - 2004
  23.  42
    Pauly's Real-Encyclopädie der classischen Altertumswissenschaft. Herausg. von G. Wissowa und W. Kroll. 16ter Halbband (Hestiaia—Hyagnis), and Supplement II. 2 vols. 8vo., cols. 1313–2628, and in Supplement, cols. 520. Stuttgart: Metzler, 1913. 16ter Halbband, M.15; Supplement, M.7. [REVIEW]F. H. G. - 1914 - The Classical Review 28 (05):177-178.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  47
    Pauly's Real-Encyclopädie der Classischen Altertumswissenschaft. Neue Bearbeitung…herausgegeben von G. Wissowa. Xllter Halbband, Euxantios—Fornaces (cols. 1537–2876); XIliter Halbband, Fornax—Glykon (cols. 1–1472). Stuttgart: Metzler, 1909, 1910. [REVIEW]F. H. G. - 1911 - The Classical Review 25 (07):228-.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  10
    Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Countable Algebra and Set Existence Axioms. Annals of Pure and Applied Logic, Vol. 25 , Pp. 141–181. - Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Addendum to “Countable Algebra and Set Existence Axioms.” Annals of Pure and Applied Logic, Vol. 28 , Pp. 319–320. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
  26. Review: Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Countable Algebra and Set Existence Axioms; Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Addendum to "Countable Algebra and Set Existence Axioms.". [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
  27.  27
    Stephen G. Miller : Nemea: A Guide to the Site and Museum. Pp. Xv + 214; Frontispiece and 68 Illustrations. Berkeley, Los Angeles and Oxford: University of California Press, 1990. $30. [REVIEW]R. L. N. Barber - 1991 - The Classical Review 41 (1):260-260.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  23
    Producing Security: Multinational Corporations, Globalization, and the Changing Calculus of Conflict, Stephen G. Brooks , 316., $35 Cloth. [REVIEW]Quan Li - 2006 - Ethics and International Affairs 20 (1):130-133.
  29.  18
    Gaisi Takeuti. Proof Theory. Studies in Logic and the Foundations of Mathematics, Vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, Vii + 372 Pp. - Gaisi Takeuti. Proof Theory. Second Edition of the Preceding. Studies in Logic and the Foundations of Mathematics, Vol. 81. North-Holland, Amsterdam Etc. 1987, X + 490 Pp. - Georg Kreisel. Proof Theory: Some Personal Recollections. Therein, Pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte School in Munich to Proof Theory. Therein, Pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and Reverse Mathematics. Therein, Pp. 432–446. - Soloman Feferman. Proof Theory: A Personal Report. Therein, Pp. 447–485. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094.
  30.  15
    Angus Macintyre. Ramsey Quantifiers in Arithmetic. Model Theory of Algebra and Arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1–7, 1979, Edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture Notes in Mathematics, Vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, Pp. 186–210. - James H. Schmerl and Stephen G. Simpson. On the Role of Ramsey Quantifiers in First Order Arithmetic. The Journal of Symbolic Logic, Vol. 47 , Pp. 423–435. - Carl Morgenstern. On Generalized Quantifiers in Arithmetic. The Journal of Symbolic Logic, Vol. 47 , Pp. 187–190. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  31.  14
    Stephen G. Simpson. Friedman's Research on Subsystems of Second Order Arithmetic. Harvey Friedman's Research on the Foundations of Mathematics, Edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in Logic and the Foundations of Mathematics, Vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, Pp. 137–159. [REVIEW]Wilfried Sieg - 1990 - Journal of Symbolic Logic 55 (2):870-874.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  13
    Stephen G. Simpson. Nonprovability of Certain Combinatorial Properties of Finite Trees. Harvey Friedman's Research on the Foundations of Mathematics, Edited by L. A. Harrington, M. D. Morley, A. Ṧčedrov, and S. G. Simpson, Studies in Logic and the Foundations of Mathematics, Vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, Pp. 87–117. , Pp. 45–65.). [REVIEW]W. Buchholz - 1990 - Journal of Symbolic Logic 55 (2):868-869.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  13
    Logic and Computation, Proceedings of a Workshop Held at Carnegie Mellon University, June 30–July 2, 1987, Edited by Wilfried Sieg, Contemporary Mathematics, Vol. 106, American Mathematical Society, Providence1990, Xiv + 297 Pp. - Douglas K. Brown. Notions of Closed Subsets of a Complete Separable Metric Space in Weak Subsystems of Second Order Arithmetic. Pp. 39–50. - Kostas Hatzikiriakou and Stephen G. Simpson. WKL0 and Orderings of Countable Abelian Groups. Pp. 177–180. - Jeffry L. Hirst. Marriage Theorems and Reverse Mathematics. Pp. 181–196. - Xiaokang Yu. Radon–Nikodym Theorem is Equivalent to Arithmetical Comprehension. Pp. 289–297. - Fernando Ferreira. Polynomial Time Computable Arithmetic. Pp. 137–156. - Wilfried Buchholz and Wilfried Sieg. A Note on Polynomial Time Computable Arithmetic. Pp. 51–55. - Samuel R. Buss. Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic. Pp. 57–84. - Gaisi Takeuti. Sharply Bounded Arithmetic and the Function a – 1. Pp. 2. [REVIEW]Jörg Hudelmaier - 1996 - Journal of Symbolic Logic 61 (2):697-699.
  34.  12
    Stephen G. Simpson. Subsystems of Second Order Arithmetic. Perspectives in Mathematical Logic. Springer, Berlin, Heidelberg, New York, Etc., 1999, Xiv + 445 Pp. [REVIEW]Peter Cholak - 1999 - Journal of Symbolic Logic 64 (3):1356-1357.
  35. Book Reviews : Forgetting Whose We Are: Alzheimer's Disease and the Love of God, by David Keck. Nashville: Abingdon, 1996. 255 Pp. Pb. US$19.95. The Moral Challenge of Alzheimer's Disease, by Stephen G. Post. Baltimore: Johns Hopkins University Press, 1996. 142 Pp. Hb. 25. [REVIEW]T. P. Jackson - 1998 - Studies in Christian Ethics 11 (1):94-99.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  36.  32
    Review: Stephen G. Simpson, Friedman's Research on Subsystems of Second Order Arithmetic. [REVIEW]Wilfried Sieg - 1990 - Journal of Symbolic Logic 55 (2):870-874.
  37.  4
    Kurt Gödel. Essays for His Centennial, Edited by Solomon Feferman, Charles Parsons, and Stephen G. Simpson, Cambridge University Press, Cambridge and Others, 2010, X + 373 Pp. [REVIEW]Matthias Wille - 2011 - Bulletin of Symbolic Logic 17 (1):125-126.
  38.  71
    Stephen G. Simpson Subsystems of Second-Order Arithmetic.Jeffrey Ketland - 2001 - British Journal for the Philosophy of Science 52 (1):191-195.
  39.  34
    Nemea Darice E. Birge, Lynn H. Kraynak, Stephen G. Miller: Excavations at Nemea, Topographical and Architectural Studies: The Sacred Square, the Xenon, and the Bath. Pp. Xxx + 319; 496 Figures, 6 Maps. Berkeley, Los Angeles and Oxford: University of California Press, 1992. $70. [REVIEW]Catherine Morgan - 1993 - The Classical Review 43 (02):372-374.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. Stephen G. Salkever, Finding the Mean: Theory and Practice in Aristotelian Political Philosophy Reviewed By.Anthony J. Celano - 1991 - Philosophy in Review 11 (1):66-67.
     
    Export citation  
     
    Bookmark  
  41.  4
    Theories and Origins in Planetary PhysicsNebulous Earth: The Origin of the Solar System and the Core of the Earth From Laplace to Jeffreys. Stephen G. BrushTransmuted Past: The Age of the Earth and the Evolution of the Elements From Lyell to Patterson. Stephen G. BrushFruitful Encounters: The Origins of the Solar System and of the Moon From Chamberlin to Apollo. Stephen G. Brush. [REVIEW]Ronald E. Doel - 1999 - Isis 90 (3):563-568.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  10
    Book Review: Stephen G. Parker and Tom Lawson , God and War: The Church of England and Armed Conflict in the Twentieth CenturyParkerStephen G.LawsonTom , God and War: The Church of England and Armed Conflict in the Twentieth Century . Ix + 239 Pp. £55.00, ISBN 978-0-7546-6692-9. [REVIEW]Therese Feiler - 2015 - Studies in Christian Ethics 28 (1):117-120.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  37
    The Berkeley Plato: From Neglected Relic to Ancient Treasure. An Archaeological Detective Story. By Stephen G. Miller.Samuel Scolnicov - 2012 - The European Legacy 17 (5):709 - 710.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  21
    Alter, Stephen G. William Dwight Whitney and the Science of Language. Balti-More: Johns Hopkins University Press, 2005. Xvi+ 339 Pp. Cloth, $49.95. Anagnostopoulos, Konstantinos Napoleonta, Ed. Pindãrou ÉOlumpiÒnikoi. From Codices 1062 and 1081 of The National Library of Greece, with Facsimiles of the Codices, Prefatory Material and Commentary, a Trans. Into English by William H. [REVIEW]Jeremy Black, Graham Cunningham, Eleanor Robson, Gábor Zólyomi, Leslie Brubaker, Julia Mh Smith, Claude Calame, Silvio Cataldi, Angelos Chaniotis & Randall Baldwin Clark - 2005 - American Journal of Philology 126:469-473.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  14
    Elizabeth Carber, Stephen G. Brush and C. W. F. Everitt , Maxwell on Heat and Statistical Mechanics: On ‘Avoiding All Personal Enquiries of Molecules’. London: Associated University Presses, 1995, Pp. 550. ISBN 0-934223-34-3. £45.00. [REVIEW]P. M. Harman - 1996 - British Journal for the History of Science 29 (1):107-109.
  46.  14
    The Kind of Motion We Call Heat: A History of the Kinetic Theory of Gases in the 19th Century. Stephen G. Brush.Roger H. Stuewer - 1978 - Isis 69 (1):137-138.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  21
    Dimensions of Equality Dennis McKerlie 263 Imagining Interest Stephen G. Engelmann 289 the Self-Other Asymmetry and Act-Utilitarianism. [REVIEW]Brad Hooker, Joseph Hamburger, Henry Sidgwick, Jonathan Riley, D. Weinstein, Margaret Olivia Little, Desmond King, F. Gaus, J. J. Kupperman & Dale Jamieson - 2001 - Utilitas 13 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  13
    Ludwig Boltzmann Gesamtausgabe, herausgegeben von Roman U. Sexl. Band 1: Vorlesungen über Gastheorie. I. und II. Teil. Einleitung, Anmerkungen und Bibliographie von Stephen G. Brush. - Band 2: Vorlesungen über Maxwells Theorie der Elektricität und des Lic. [REVIEW]Karl von Meyenn - 1982 - Berichte Zur Wissenschaftsgeschichte 5 (3-4):263-264.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  5
    Who Owns the Twentieth Century? Stephen G. Brush. With Ariel Segal. Making Twentieth Century Science: How Theories Became Knowledge. Vxii + 531 Pp., Bibl., Index. New York: Oxford University Press, 2015. £25.99 .Jon Agar. Science in the Twentieth Century and Beyond. Ix + 614 Pp., Index. Cambridge: John Wiley & Sons, 2012. £30. [REVIEW]Joseph D. Martin - 2017 - Isis 108 (1):149-157.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  12
    Maitra A. And Ryll-Nardzewski C.. On the Existence of Two Analytic Non-Borel Sets Which Are Not Isomorphic. Bulletin de L'Académie Polonaise des Sciences, Série des Sciences Mathematiques, Astronomiques Et Physiques, Vol. 18 , Pp. 177–178.Mauldin R. Daniel. On Nonisomorphic Analytic Sets. Proceedings of the American Mathematical Society, Vol. 58 , Pp. 241–244.Hrbacek Karel. On the Complexity of Analytic Sets. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 24 , Pp. 419–425.Hrbacek Karel and Simpson Stephen G.. On Kleene Degrees of Analytic Sets. The Kleene Symposium, Proceedings of the Symposium Held June 18–24, 1978 at Madison, Wisconsin, U.S.A., Edited by Barwise Jon, Keisler H. Jerome, and Kunen Kenneth, Studies in Logic and the Foundations of Mathematics, Vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, Pp. 347–352.Harrington Leo. Analytic Determinacy and 0#. [REVIEW]Jacques Stern - 1984 - Journal of Symbolic Logic 49 (2):665-668.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 998