33 found
Order:
  1.  78
    Benson Mates. Elementary logic. Oxford University Press, New York1965, x + 227 pp.G. T. Kneebone & Benson Mates - 1966 - Journal of Symbolic Logic 31 (3):483-484.
  2.  44
    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  
  3. Mathematical logic and the foundations of mathematics: an introductory survey.G. T. Kneebone - 1963 - Mineola, N.Y.: 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   12 citations  
  4.  19
    (1 other version)Grundlagen der Mathematik I.G. T. Kneebone - 1970 - Journal of Symbolic Logic 35 (2):321-323.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  5.  30
    (1 other version)Concise History of Logic.G. T. Kneebone - 1961 - Journal of Symbolic Logic 36 (4):676-677.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  71
    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. [Omnibus Review].G. T. Kneebone - 1968 - Journal of Symbolic Logic 33 (2):304-305.
  8.  53
    The philosophical basis of mathematical rigour.G. T. Kneebone - 1957 - Philosophical Quarterly 7 (28):204-223.
  9.  30
    (1 other version)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   1 citation  
  10.  28
    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  
  11.  74
    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 (8 more)  
     
    Export citation  
     
    Bookmark  
  12.  42
    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.
  13.  79
    (1 other version)IV.—Induction and Probability.G. T. Kneebone - 1950 - Proceedings of the Aristotelian Society 50 (1):27-42.
  14.  51
    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  
  15.  59
    Kritik der Nicht-Euklid'schen Geometrie. By Fischer William L.. (Munich, 1959).G. T. Kneebone - 1962 - Philosophy 37 (140):177-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  7
    (1 other version)No Title available: PHILOSOPHY.G. T. Kneebone - 1951 - Philosophy 26 (97):163-164.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  21
    The Use of Formal Logic.G. T. Kneebone & A. P. Cavendish - 1971 - Aristotelian Society Supplementary Volume 45 (1):25 - 43.
  18.  59
    Symposium: Proof.J. L. Mackie & G. T. Kneebone - 1966 - Aristotelian Society Supplementary Volume 40 (1):23 - 46.
  19.  73
    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  
  20.  46
    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-.
  21.  20
    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-.
  22.  53
    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  
  23.  39
    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.  60
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  25.  25
    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.
  26.  59
    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.
  27.  49
    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.  50
    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.  32
    (1 other version)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.
  30.  56
    (1 other version)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  
  31.  22
    Reviews. [REVIEW]G. T. Kneebone - 1965 - British Journal for the Philosophy of Science 16 (61):63-64.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32.  38
    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  
  33.  40
    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.