Results for 'Stephen Cole Leach'

1000+ found
Order:
  1. Skepticism and Faith in Hamann and Kierkegaard.Stephen Cole Leach - 2012 - In Lisa Marie Anderson (ed.), Hamann and the Tradition. Northwestern University Press.
  2. Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Princeton, NJ, USA: North Holland.
    Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   468 citations  
  3.  72
    Mathematical Logic.Stephen Cole Kleene - 1967 - New York, NY, USA: Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   76 citations  
  4.  3
    Stephen Cole Kleene — a Reminiscence.Saunders Mac Lane - 1996 - Annals of Pure and Applied Logic 81 (1-3):3-7.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  1
    Vvédénié V Métamatématiku.Stephen Cole Kleene - 1960 - Journal of Symbolic Logic 25 (3):280-282.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. The Foundations of Intuitionistic Mathematics.Stephen Cole Kleene - 1965 - Amsterdam: North-Holland Pub. Co..
  7. The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) - 1980 - Amsterdam, Netherlands: Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  16
    Kleene Stephen Cole. Introduction to Metamathematics. North-Holland Publishing Co., Amsterdam, and P. Noordhoff, Groningen, 1952; D. Van Nostrand Company, New York and Toronto 1952; X + 550 Pp. [REVIEW]H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  6
    Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    Review: Stephen Cole Kleene, Mathematical Logic. [REVIEW]Mariko Yasugi - 1970 - Journal of Symbolic Logic 35 (3):438-440.
  11.  17
    Reviews. Stephen Cole Kleene. Mathematical Logic. John Wiley & Sons, Inc., New York, London, and Sydney, 1967, Xiii + 398 Pp. [REVIEW]Mariko Yasugi - 1970 - Journal of Symbolic Logic 35 (3):438-440.
  12.  54
    Kleene Stephen Cole. Introduction to Metamathematics. Fourth Printing of XIX 215. North-Holland Publishing Co., Amsterdam, P. Noordhoff Ltd., Groningen, and D. Van Nostrand Company, Princeton, Toronto, and New York, 1964, X + 550 Pp. [REVIEW]Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
     
    Export citation  
     
    Bookmark  
  14.  2
    Kleene Stephen Cole. Introduction to Metamathematics. Sixth Printing of XIX 215. Wolters-Noordhoff Publishing, Groningen, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1971, X + 550 Pp. [REVIEW]H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):332-333.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  18
    Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):333-333.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  17
    Stephen Cole Kleene. Vvédénié V Métamatématiku. Russian Translation of XIX 215 by A. S. Ésénin-Vol′Pin, Edited by V. A. Uspénskij. Izdatél′Stvo Inostrannoj Litératury, Moscow1957, 526 Pp. . - A. S. Ésénin-Vol′Pin. Ot Péravodčika . Therein, Pp. 5–6. - A. S. Ésénin-Vol′Pin. Dobavlénié I. Dokazatél′Stvo Vtoroj Téorémy Gëdéla. Therein, Pp. 459–474. - A. S. Ésénin-Vol′Pin. Dobavlénié II. Vospolnénié Probêla Υ §§49 I 74. Therein, Pp. 474–478. - A. S. Ésénin-Vol′Pin. Dobavlénié III. O Formalizuémosti Péréhoda Ot K V Dokazatél'stvé Téorémy 36. To in the Proof of Theorem 36.) Therein, P. 479. - A. S. Ésénin-Vol′Pin. Dobavlénié IV. Postroénié Formuly B Priméra 2 §79. Therein, Pp. 479–481. - A. S. Ésénin-Vol′Pin. Dobavlénié V. Ob Ustranimosti Ravénstva I Néoprédélénnyh Opisanij. Therein, Pp. 481–484. - A. S. Ésénin-Vol′Pin. Dobavlénié VI. O Formalizacii Indukcii Do Porádkovyhčisél Mén′Sih Ε0 V Sistémé Gl. IV . .) Therein, Pp. 484–485. - A. S. Ésénin-Vol′Pin. Dobavlénié VII. Dokazatél′Stvo Néproti. [REVIEW]David D. Comey & J. Barkley Rosser - 1960 - Journal of Symbolic Logic 25 (3):280-282.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  2
    Review: Stephen Cole Kleene, A. S. Esenin-Vol'pin, V. A. Uspenskij, Vvedenie v Metamatematiku. [REVIEW]David D. Comey & J. Barkley Rosser - 1960 - Journal of Symbolic Logic 25 (3):280-282.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  37
    Mass Problems and Hyperarithmeticity.Joshua A. Cole & Stephen G. Simpson - 2007 - Journal of Mathematical Logic 7 (2):125-143.
    A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if for all Y ∈ Q there exists X ∈ P such that X is Turing reducible to Y. A weak degree is an equivalence class of mass problems under mutual weak reducibility. Let [Formula: see text] be the lattice of weak degrees of mass problems associated with nonempty [Formula: see text] subsets of the Cantor (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  19.  13
    The Meaning of Life and the Great Philosophers.Stephen Leach & James Tartaglia (eds.) - 2018 - Routledge.
    The Meaning of Life and the Great Philosophers reveals how great philosophers of the past sought to answer the question of the meaning of life. This edited collection includes thirty-five chapters which each focus on a major figure, from Confucius to Rorty, and that imaginatively engage with the topic from their perspective. This volume also contains a Postscript on the historical origins and original significance of the phrase 'the meaning of life'.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  20.  17
    Making Science: Between Nature and Society.Stephen Cole - 1992 - Harvard University Press.
    In Making Science, Cole shows how social variables and cognitive variables interact in the evaluation of frontier knowledge.
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  21.  11
    Making Science: Between Nature and Society. Stephen Cole.Michael Lynch - 1994 - Philosophy of Science 61 (4):675-677.
  22. Logic and Foundations of Mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra - 1968 - Wolters-Noordhoff.
  23.  14
    N. A. Šanin. On the Constructive Interpretation of Mathematical Judgments. English Translation of XXXI 255 by Elliott Mendelson. American Mathematical Society Translations, Ser. 2 Vol. 23 , Pp. 109–189. - A. A. Markov. On Constructive Functions. English Translation of XXXI 258 by Moshe Machover. American Mathematical Society Translations, Vol. 29 , Pp. 163–195. - S. C. Kleene. A Formal System of Intuitionistic Analysis. The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1965, Pp. 1–89. - S. C. Kleene. Various Notions of Realizability:The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1965, Pp. 90–132. - Richard E. Ve. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  11
    General Social Stratification in Science. By Jonathan R. Cole and Stephen Cole. Chicago and London: University of Chicago Press, 1973. Pp. Xiv+283. £6.25. [REVIEW]J. B. Morrell - 1975 - British Journal for the History of Science 8 (3):250-250.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  32
    L. S. Klejn and R. G. Collingwood on History, Archaeology, and Detection.Stephen Leach - 2017 - Journal of the Philosophy of History 11 (3):391-407.
  26.  5
    Consciousness and the Great Philosophers: What Would They Have Said About Our Mind-Body Problem?Stephen Leach & James Tartaglia (eds.) - 2016 - Routledge.
    _Consciousness and the Great Philosophers_ addresses the question of how the great philosophers of the past might have reacted to the contemporary problem of consciousness. Each of the thirty-two chapters within this edited collection focuses on a major philosophical figure from the history of philosophy, from Anscombe to Xuanzang, and imaginatively engages with the problem from their perspective. _ _ Written by leading experts in the field, this exciting and engaging book explores the relevance of the history of philosophy to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  32
    Philosophy in a Meaningless Life: A System of Nihilism, Consciousness and Reality.Stephen Leach - 2016 - International Journal of Philosophical Studies 24 (2):280-283.
    Against Tartaglia, I argue (1) that life is not necessarily meaningless but it is absurd. It is absurd because our possible disappointment at death is not a disappointment we shall ever actually experience but it is a disappointment we yet fear, now, in life. (2) Tartaglia's idea is that life is meaningless whether we realise it or not but we are better able to realise it when we are bored. Against Tartaglia, it might be argued that the idea is itself (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  33
    Patenting Medical and Surgical Techniques: An Ethical-Legal Analysis.Stephen E. Wear, William H. Coles, Anthony H. Szczygiel, Adrianne McEvoy & Carl C. Pegels - 1998 - Journal of Medicine and Philosophy 23 (1):75 – 97.
    Considerable controversy has recently arisen regarding the patenting of medical and surgical processes in the United States. One such patent, viz. for a "chevron" incision used in ophthalmologic surgery, has especially occasioned heated response including a major, condemnatory ethics policy statement from the American Medical Association as well as federal legislation denying patent protection for most uses of a patented medical or surgical procedure. This article identifies and discusses the major legal, ethical and public policy considerations offered by proponents and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  5
    Another Appraisal of Ortega, the Coles, and Science Policy: The Ecclesiastes Hypothesis.Stephen P. Turner & Daryl E. Chubin - 1976 - Social Science Information 15 (4-5):657-662.
  30.  3
    Introduction: The Armchair and the Pickaxe.Karim Dharamsi, Giuseppina D'Oro & Stephen Leach - 2018 - In Karim Dharamsi, Giuseppina D’Oro & Stephen Leach (eds.), Collingwood on Philosophical Methodology. Palgrave. pp. 1-14.
    Is philosophy continuous with science or does it have a distinctive domain of inquiry that differs from that of the special sciences? Collingwood claimed that philosophy has a distinctive subject matter and a distinctive method. Its distinctive subject matter is what he called the “absolute presuppositions” that govern the special sciences and its method consists in making these presuppositions explicit by showing that they are entailed by the questions asked in the special sciences. In this chapter the editors seek to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  18
    The Scientific Productivity of Nations.Stephen Cole & Thomas J. Phelan - 1999 - Minerva 37 (1):1-23.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  14
    Collingwood Corner.Stephen Leach - 2012 - Collingwood and British Idealism Studies 18 (1):81-99.
    'Roman England': R.G. Collingwood's Correspondence with Harold Bruff, compiled and introduced by Stephen Leach.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  7
    How Does Peer Review Work and Can It Be Improved?Stephen Cole - 1998 - Minerva 36 (2):179-189.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  2
    Collingwood and Archaeological Theory.Stephen Leach - 2018 - In Karim Dharamsi, Giuseppina D’Oro & Stephen Leach (eds.), Collingwood on Philosophical Methodology. Springer Verlag. pp. 249-264.
    Leach asks, what would Collingwood have thought of archaeological theory, a sub-discipline of archaeology that has developed since the 1960s? He argues that Collingwood would have welcomed it for it has developed out of respect for the principle that in any investigation, in examining the evidence, one must always have some question in mind. Nonetheless, although Collingwood would have welcomed recent developments in archaeological theory, and would have urged metaphysicians to take notice of such developments, he is not himself (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  11
    Anthony Brueckner , Essays on Skepticism . Reviewed By.Stephen Leach - 2012 - Philosophy in Review 32 (3):161-163.
  36.  13
    A.W. Moore , The Evolution of Modern Metaphysics: Making Sense of Things . Reviewed By.Stephen Leach - 2014 - Philosophy in Review 34 (3-4):129-131.
    Moore argues as follows: (1) "Metaphysics is the most general attempt to make sense of things." (1) (2) "Because of its generality, metaphysics is the one branch of philosophy that is not the philosophy of this or that specific area of human thought or experience. It is 'pure' philosophy." (8) (3) It is "a fundamentally creative exercise." (17) Against Moore, I argue that it is rather philosophy that is the most general attempt to make sense of things. Alternatively, and in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  1
    Bertrand Russell & Common Sense for Savages.Stephen Leach - 2019 - Philosophy Now 135:32-33.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  11
    Buried Romance: Articles and Letters by R.G. Collingwood in the National Press.Stephen Leach - 2011 - Collingwood and British Idealism Studies 17 (2):151-188.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  4
    Chadbourne Gilpatric and Ludwig Wittgenstein: A Fateful Meeting.Stephen Leach - 2020 - Nordic Wittgenstein Review 9.
    On January 11 1951 Chadbourne Gilpatric met with Wittgenstein to offer him, on behalf of the Rockefeller Foundation, funding for any forthcoming publications. Wittgenstein politely declined the offer as he did not believe his health would permit him to bring any projects to completion. The meeting is referred to in a letter from Wittgenstein to Norman Malcolm and is also recalled by O.K. Bouwsma. Bouwsma learned of it from conversations with Wittgenstein and by Gilpatric. However, it is also recounted in (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  71
    History, Ethics and Philosophy: Bernard Williams Appraisal of R. G. Collingwood.Stephen Leach - 2011 - Journal of the Philosophy of History 5 (1):36-53.
    The author examines Williams' appraisal of Collingwood both in his eponymous essay on Collingwood, in the posthumously published Sense of the Past , and elsewhere in his work. The similarities and differences between their philosophies are explored: in particular, with regard to the relationship between philosophy and history and the relationship between the study of history and our present-day moral attitudes. It is argued that, despite Williams usually being classified as an analytic philosopher and Collingwood being classified as an idealist, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  41.  3
    Henrik Lagerlund, "Skepticism in Philosophy: A Comprehensive, Historical Introduction.".Stephen Leach - 2021 - Philosophy in Review 41 (2):77-79.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  3
    Introduction: Life’s Meaning.Stephen Leach & James Tartaglia - 2019 - Human Affairs 29 (4):359-362.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  1
    Introduction: Philosophical Reflection and Technological Change.Stephen Leach & James Tartaglia - 2020 - Human Affairs 30 (4):495-498.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  9
    John Greco, Ed. , The Oxford Handbook of Skepticism . Reviewed By.Stephen Leach - 2012 - Philosophy in Review 32 (6):471-474.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  3
    Mark Johnson, "Embodied Mind, Meaning, and Reason: How Our Bodies Give Rise to Understanding.".Stephen Leach - 2020 - Philosophy in Review 40 (3):120-122.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  2
    Mind, Language, and Metaphilosophy: Early Philosophical Papers.Stephen Leach & James Tartaglia (eds.) - 2014 - Cambridge University Press.
    This volume presents a selection of the philosophical essays which Richard Rorty wrote during the first decade of his career, and complements four previous volumes of his papers published by Cambridge University Press. In this long neglected body of work, which many leading philosophers still consider to be his best, Rorty develops his views on the nature and scope of philosophy in a manner which supplements and elucidates his definitive statement on these matters in Philosophy and the Mirror of Nature. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  14
    Philosophy in a Technological World: Gods and Titans: By James Tartaglia, London, Bloomsbury, 2020, 209 Pp., £59.50 ($106.00) (Hardback), ISBN 978-1-3500-7010-3.Stephen Leach - 2021 - International Journal of Philosophical Studies 29 (1):130-133.
    In Philosophy in a Technological World Tartaglia argues that humanity can decide its own future, or at least try to, but that this distinctive...
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  4
    Philosophy in a Technological World: Gods and Titans: By James Tartaglia, London, Bloomsbury, 2020, 209 Pp., £59.50 ($106.00) (Hardback), ISBN 978-1-3500-7010-3. [REVIEW]Stephen Leach - 2021 - International Journal of Philosophical Studies 29 (1):130-133.
    In Philosophy in a Technological World Tartaglia argues that humanity can decide its own future, or at least try to, but that this distinctive...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  18
    Pyrrhonian Skepticism and the Mirror of Nature.Stephen Leach - 2013 - Journal of Speculative Philosophy 27 (4):388-401.
    For Richard Rorty the autonomy of philosophy and the idea of an ahistorical criterion of truth are ideas that stand or fall together. This article challenges that assumption. However, before proceeding to this criticism, it is necessary in this section of the article to provide some rudimentary exposition of Rorty's position.Richard Rorty wished to subjugate philosophy to history. He announced this position in Philosophy and the Mirror of Nature (1979), and his opinion on this matter did not change substantially in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  2
    Russell on Technology and Common Sense.Stephen Leach - 2020 - Human Affairs 30 (4):518-525.
    This article examines the distinction that Russell drew between his work as a philosopher and his work as a journalist. It explains why, when warning against the threat posed by a nuclear arms race, Russell thought it better to write as a journalist rather than as a philosopher. It is argued that to put aside philosophy in favour of common sense is, in this instance, a mistake.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000