64 found
Order:
  1.  9
    Abhandlungen zur Philosophie der Mathematik.G. T. Kneebone & Paul Bernays - 1977 - Philosophical Quarterly 27 (106):72.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   26 citations  
  2.  8
    Elementary Logic.G. T. Kneebone & Benson Mates - 1966 - Journal of Symbolic Logic 31 (3):483.
  3. Mathematical Logic and the Foundations of Mathematics: An Introductory Survey.G. T. Kneebone - 1963 - Dover Publications.
    Graduate-level historical study is ideal for students intending to specialize in the topic, as well as those who only need a general treatment. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics, emphasizing Hilbert’s metamathematics. Part III focuses on the philosophy of mathematics. Each chapter has extensive supplementary notes; a detailed appendix charts modern developments.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  9
    Grundlagen der Mathematik I.G. T. Kneebone - 1970 - Journal of Symbolic Logic 35 (2):321-323.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  5.  5
    Set Theory and Logic.G. T. Kneebone - 1964 - Journal of Symbolic Logic 29 (1):40-41.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  15
    Szabó Árpád. Anfänge des Euklidischen Axiomensystems. Archive for History of Exact Sciences, Vol. 1 No. 1 , Pp. 37–106.G. T. Kneebone - 1971 - Journal of Symbolic Logic 36 (1):154-155.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  8
    Dear Russell-Dear Jourdain. A Commentary on Russell's Logic, Based on His Correspondence with Philip Jourdain.G. T. Kneebone - 1979 - Journal of Symbolic Logic 44 (2):277-278.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  2
    Concise History of Logic.G. T. Kneebone - 1961 - Journal of Symbolic Logic 36 (4):676-677.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  10
    Proof.J. L. Mackie & G. T. Kneebone - 1966 - Aristotelian Society Supplementary Volume 40 (1):23-46.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  7
    The Language of Logic.G. T. Kneebone - 1968 - Journal of Symbolic Logic 33 (4):603-603.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  25
    Induction and Probability.G. T. Kneebone - 1950 - Proceedings of the Aristotelian Society 50:27 - 42.
  12.  11
    Mathematical Formalisms and Their Realizations.G. T. Kneebone - 1952 - Philosophy 27 (101):138 - 147.
    In a short article, published in an earlier volume of Philosophy 1 under the title “Philosophy and Mathematics,” I tried to explain the current conception of pure mathematics as the study of abstract structure by construction and elaboration of appropriate axiomatic formalisms. In the present paper I propose to consider certain philosophical problems, of interest to philosophers and mathematicians alike, which have their origin in the relation between such formalisms and any applications to experience that they may possess. Consideration of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  13
    Philosophy and Mathematics.G. T. Kneebone - 1947 - Philosophy 22 (83):231 - 239.
    This essay is an attempt to take stock of what has been done by those who have worked on the foundations of mathematics and to suggest, very inadequately in so short a space, what may be a satisfactory approach to this subject for one who is not an expert in it. The subject is one that neither mathematicians nor philosophers can any longer afford to ignore, but in the technicalities of which they may not be very interested.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  50
    Probability and the Weighing of Evidence. By I. J. Good. (London: Charles Griffin and Company. 1950. Pp. Viii + 119. Price 16s.). [REVIEW]G. T. Kneebone - 1951 - Philosophy 26 (97):163-.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    Principles of Mathematical Logic. By D. Hilbert and W. Ackermann. Translated From the German, and Edited with Notes by Robert E. Luce. (New York: Chelsea Publishing Company. 1950. Price $3.50.). [REVIEW]G. T. Kneebone - 1952 - Philosophy 27 (103):375-.
  16.  9
    Philosophical Problems of Many-Valued Logic. By A. A. Zinov'ev. A Revised Edition, Edited and Translated by Guido Küng and David Dinsmore Gomey. (Dordrecht, Holland: D. Reidel Publishing Company, 1963, Pp. Xiv + 155, F. 23; 46s.). [REVIEW]G. T. Kneebone - 1965 - Philosophy 40 (152):171-.
  17.  30
    Space, Time, and Creation. Philosophical Aspects of Scientific Cosmology. By Milton K. Munitz. (The Free Press, Glencoe, Illinois. 1957. Pp. X + 182. Price $3.75.).Theories of the Universe. From Babylonian Myth to Modern Science. Edited by Milton K. Munitz. (The Free Press, Glencoe, Illinois. 1957. Pp. X + 437. Price $6.50). [REVIEW]G. T. Kneebone - 1959 - Philosophy 34 (128):62-.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  19
    The Natural Philosophy of Time. By G. J. Whitrow. (Thomas Nelson & Sons, 1961. Pp. Xi + 324. Price 42s.).G. T. Kneebone - 1964 - Philosophy 39 (147):86-.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  14
    Arthur Smullyan. Fundamentals of Logic. Prentice-Hall, Inc., Englewood Cliffs, N. J., 1962, 131 Pp. [REVIEW]G. T. Kneebone - 1964 - Journal of Symbolic Logic 29 (1):41-43.
  20.  18
    Benson Mates. Elementary Logic. Oxford University Press, New York1965, X + 227 Pp.G. T. Kneebone - 1966 - Journal of Symbolic Logic 31 (3):483-484.
  21.  23
    Bernays Paul. Die Manningfaltigketi der Direktiven Für Die Gestaltung Geometrischer Axiomensysteme. The Axiomatic Method, with Special Reference to Geometry and Physics, Proceedings of an International Symposium Held at the University of California, Berkeley, December 26, 1957-January 4, 1958, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 1–15. [REVIEW]G. T. Kneebone - 1969 - Journal of Symbolic Logic 34 (2):310-310.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  13
    Charles Parsons. A Note on Quine's Treatment of Transfinite Recursion. The Journal of Symbolic Logic, Vol. 29 No. 4 , Pp. 179–182.G. T. Kneebone - 1972 - Journal of Symbolic Logic 37 (4):769.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  17
    FISCHER, WILLIAM L.-"Kritik der Nicht-Euclid'schen Geometrie". [REVIEW]G. T. Kneebone - 1962 - Philosophy 37:177.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  9
    Greniewski Henryk. Functors of the Propositional Calculus. VI Zjazd Matematyków Polskich, Warszawa 20–23 IX 1948, Supplement to Annales de la Société Polonaise de Mathématique, Vol. 22, Cracow 1950, Pp. 78–86.Greniewski Henryk. Certain Notions of the Theory of Numbers as Applied to the Propositional Calculus. English with Brief Polish Summary. Časopis Pro Pěstováni Matematiky a Fysiky, Vol. 74 , Pp. 132–136.Greniewski Henryk. Groups and Fields Definable in the Propositional Calculus. Towarzystwo Naukowe Warszawskie, Sprawozdania Z Posiedzé Wydzialu III Nauk Matematyczno Fizycznych , Vol. 43 , Pp. 53–48.Greniewski H.. Arithmetics of Natural Numbers as Part of the Bi-Valued Propositional Calculus. Colloquium Matkematicum, Vol. 2 No. 3–4 , Pp. 291–297. [REVIEW]G. T. Kneebone - 1968 - Journal of Symbolic Logic 33 (2):304-305.
  25.  17
    Grattan-Guinness I.. Dear Russell—Dear Jourdain. A Commentary on Russell's Logic, Based on His Correspondence with Philip Jourdain. Columbia University Press, New York, and Duckworth, London, 1977, Vi + 234 Pp.Russell Bertrand. On the Axioms of the Infinite and of the Transfinite. Therein, Pp. 162–174. , Pp. 22–35.). [REVIEW]G. T. Kneebone - 1979 - Journal of Symbolic Logic 44 (2):277-278.
  26.  17
    Hilbert D. And Bernays P.. Grundlagen der Mathematik I. Second Edition of 5071. Springer-Verlag, Berlin, Heidelberg, New York, 1968, XV + 473 Pp. [REVIEW]G. T. Kneebone - 1970 - Journal of Symbolic Logic 35 (2):321-323.
  27.  25
    Hilbert D. And Bernays P.. Grundlagen der Mathematik II. Second Edition of V 16. Springer-Verlag, Berlin, Heidelberg, and New York, 1970, XIV + 561 Pp. [REVIEW]G. T. Kneebone - 1974 - Journal of Symbolic Logic 39 (2):357-357.
  28.  25
    Hans Freudenthal. The Language of Logic. Elsevier Publishing Company, Amsterdam, London, New York, 1966, Vi + 105 Pp. [REVIEW]G. T. Kneebone - 1969 - Journal of Symbolic Logic 33 (4):603.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  17
    Scholz Heinrich. Concise History of Logic. English Translation of XXXVI 351 by Leidecker Kurt F.. Philosophical Library, New York 1961, Xiv + 140 Pp.Leidecker Kurt F.. Introduction. Therein, Pp. Ix–X. [REVIEW]G. T. Kneebone - 1971 - Journal of Symbolic Logic 36 (4):676-677.
  30.  4
    Induction And Probability.G. T. Kneebone - 1951 - Philosophy 26 (98):261.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  11
    IV.—Induction and Probability.G. T. Kneebone - 1950 - Proceedings of the Aristotelian Society 50 (1):27-42.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  30
    II.—Abstract Logic and Concrete Thought.G. T. Kneebone - 1956 - Proceedings of the Aristotelian Society 56 (1):25-44.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  7
    Kritik der Nicht-Euklid'schen Geometrie. By Fischer William L.. (Munich, 1959).G. T. Kneebone - 1962 - Philosophy 37 (140):177-.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  10
    Logic: Depth Grammar of Rationality. A Textbook on the Science and History of Logic.G. T. Kneebone & Patrick K. Bastable - 1976 - Journal of Symbolic Logic 41 (3):700.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Mathematical Formalisms and Their Realizations.G. T. Kneebone - 1953 - Journal of Symbolic Logic 18 (3):270-270.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  4
    No Title Available: PHILOSOPHY.G. T. Kneebone - 1962 - Philosophy 37 (140):177-178.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  5
    No Title Available: PHILOSOPHY.G. T. Kneebone - 1965 - Philosophy 40 (152):171-173.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  1
    No Title Available: PHILOSOPHY.G. T. Kneebone - 1951 - Philosophy 26 (97):163-164.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  2
    No Title Available: PHILOSOPHY.G. T. Kneebone - 1959 - Philosophy 34 (128):62-64.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. No Title Available.G. T. Kneebone - 1952 - Philosophy 27 (103):375-376.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. No Title Available: PHILOSOPHY.G. T. Kneebone - 1964 - Philosophy 39 (147):86-88.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. [Omnibus Review].G. T. Kneebone - 1968 - Journal of Symbolic Logic 33 (2):304-305.
  43.  9
    Patrick K. Bastable. Logic: Depth Grammar of Rationality. A Textbook on the Science and History of Logic. Gill and Macmillan, Dublin1975, Vii + 429 Pp. [REVIEW]G. T. Kneebone - 1976 - Journal of Symbolic Logic 41 (3):700.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  19
    Quine Willard Van Orman. Set Theory and its Logic. The Belknap Press of Harvard University Press, Cambridge, Mass., 1963, Xv + 359 Pp.; Also Revised Edition, Ibid., 1969, Xvii + 361 Pp. [REVIEW]G. T. Kneebone - 1972 - Journal of Symbolic Logic 37 (4):768-769.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  6
    Reviews. [REVIEW]G. T. Kneebone - 1965 - British Journal for the Philosophy of Science 16 (61):63-64.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  9
    Review: Arpad Szabo, Anfange des Euklidischen Axiomensystems. [REVIEW]G. T. Kneebone - 1971 - Journal of Symbolic Logic 36 (1):154-155.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Review: Arthur Smullyan, Fundamentals of Logic. [REVIEW]G. T. Kneebone - 1964 - Journal of Symbolic Logic 29 (1):41-43.
     
    Export citation  
     
    Bookmark  
  48.  15
    Review: Benson Mates, Elementary Logic. [REVIEW]G. T. Kneebone - 1966 - Journal of Symbolic Logic 31 (3):483-484.
  49.  3
    Review: Charles Parsons, A Note on Quine's Treatment of Transfinite Recursion. [REVIEW]G. T. Kneebone - 1972 - Journal of Symbolic Logic 37 (4):769-769.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  8
    Review: Hans Freudenthal, The Language of Logic. [REVIEW]G. T. Kneebone - 1968 - Journal of Symbolic Logic 33 (4):603-603.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 64