64 found
Order:
  1.  12
    Abhandlungen zur Philosophie der Mathematik.G. T. Kneebone & Paul Bernays - 1977 - Philosophical Quarterly 27 (106):72.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 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 - New York, NY, USA: 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   9 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. [Omnibus Review].G. T. Kneebone - 1968 - Journal of Symbolic Logic 33 (2):304-305.
  10.  26
    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  
  11.  12
    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  
  12. Mathematical Formalisms and Their Realizations.G. T. Kneebone - 1953 - Journal of Symbolic Logic 18 (3):270-270.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. No Title available.G. T. Kneebone - 1952 - Philosophy 27 (103):375-376.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. No Title available: PHILOSOPHY.G. T. Kneebone - 1964 - Philosophy 39 (147):86-88.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. The Use of Formal Logic.G. T. Kneebone - 1971 - Aristotelian Society Supplementary Volume 45:25-43.
    No categories
     
    Export citation  
     
    Bookmark  
  16. ZINOV'EV, A. A.-"Philosophical Problems of Many-Valued Logic". [REVIEW]G. T. Kneebone - 1965 - Philosophy 40:171.
     
    Export citation  
     
    Bookmark  
  17. Symposium: Proof.J. L. Mackie & G. T. Kneebone - 1966 - Aristotelian Society Supplementary Volume 40:23-46.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  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.
  19.  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  
  20.  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.
  21.  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 (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  26
    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.
  23.  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.
  24.  14
    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.
  25.  23
    Paul Bernays. 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, Amsterdam1959, pp. 1–15. [REVIEW]G. T. Kneebone - 1969 - Journal of Symbolic Logic 34 (2):310-310.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  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  
  27.  17
    Kritik der Nicht-Euklid'schen Geometrie. By Fischer William L.. (Munich, 1959). [REVIEW]G. T. Kneebone - 1962 - Philosophy 37 (140):177-178.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  10
    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.
  29.  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.
  30.  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.
  31.  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 (6 more)  
     
    Export citation  
     
    Bookmark  
  32.  26
    Induction and Probability.G. T. Kneebone - 1950 - Proceedings of the Aristotelian Society 50:27 - 42.
  33.  16
    Review: Benson Mates, Elementary Logic. [REVIEW]G. T. Kneebone - 1966 - Journal of Symbolic Logic 31 (3):483-484.
  34.  12
    Reviews. Robert R. Stoll. Set theory and logic. W. H. Freeman and Company, San Francisco and London 1963, xiv + 474 pp. [REVIEW]G. T. Kneebone - 1964 - Journal of Symbolic Logic 29 (1):40-41.
  35.  15
    Review: Heinrich Scholz, Concise History of Logic. [REVIEW]G. T. Kneebone - 1971 - Journal of Symbolic Logic 36 (4):676-677.
  36.  20
    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 (7 more)  
     
    Export citation  
     
    Bookmark  
  37.  11
    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  
  38.  11
    IV.—Induction and Probability.G. T. Kneebone - 1950 - Proceedings of the Aristotelian Society 50 (1):27-42.
  39.  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.
  40. Review: Robert R. Stoll, Set Theory and Logic. [REVIEW]G. T. Kneebone - 1964 - Journal of Symbolic Logic 29 (1):40-41.
  41.  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-.
  42.  7
    The Language of Logic.G. T. Kneebone - 1968 - Journal of Symbolic Logic 33 (4):603-603.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  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 (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  12
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  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)  
     
    Export citation  
     
    Bookmark  
  46.  9
    Review: Paul Bernays, Die Manningfaltigkeit der Direktiven fur die Gestaltung Geometrischer Axiomensysteme. [REVIEW]G. T. Kneebone - 1969 - Journal of Symbolic Logic 34 (2):310-310.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  11
    Symposium: Proof.J. L. Mackie & G. T. Kneebone - 1966 - Aristotelian Society Supplementary Volume 40:23 - 46.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  11
    The Use of Formal Logic.G. T. Kneebone & A. P. Cavendish - 1971 - Aristotelian Society Supplementary Volume 45 (1):25 - 43.
  49.  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  
  50.  5
    No Title available: PHILOSOPHY.G. T. Kneebone - 1965 - Philosophy 40 (152):171-173.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 64