Symposium: Why Are the Calculuses of Logic and Arithmetic Applicable to Reality?

, &
Aristotelian Society Supplementary Volume 20:20-60 (1946)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: G. Ryle, Why are the Calculuses of Logic and Arithmetic Applicable to Reality?; C. Lewy, Why are the Calculuses of Logic and Arithmetic Applicable to Reality?; K. R. Popper, Why are the Calculuses of Logic and Arithmetic Applicable to Reality? [REVIEW]Albert A. Bennett - 1949 - Journal of Symbolic Logic 14 (2):135-135.
Symposium: Why Are the Calculuses of Logic and Arithmetic Applicable to Reality?G. Ryle, C. Lewy & K. R. Popper - 1946 - Aristotelian Society Supplementary Volume 20 (1):20 - 60.
Ryle G.. Why are the calculuses of logic and arithmetic applicable to reality? Aristotelian Society, supplementary volume XX, London 1946, pp. 20–29.Lewy C.. Why are the calculuses of logic and arithmetic applicable to reality? Aristotelian Society, supplementary volume XX, London 1946, pp. 30–39.Popper K. R.. Why are the calculuses of logic and arithmetic applicable to reality? Aristotelian Society, supplementary volume XX, London 1946, pp. 40–60. [REVIEW]Albert A. Bennett - 1949 - Journal of Symbolic Logic 14 (2):135-135.
An Introduction to Basic Arithmetic.Mohammad Ardeshir & Bardyaa Hesaam - 2008 - Logic Journal of the IGPL 16 (1):1-13.
Troelstra A. S.. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., North-Holland Publishing Company, Amsterdam and London 1971, pp. 369–405. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (4):625-625.
The Logicism of Frege, Dedekind, and Russell.William Demopoulos & Peter Clark - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 129--165.
Propositional and predicate calculuses based on combinatory logic.M. W. Bunder - 1974 - Notre Dame Journal of Formal Logic 15 (1):25-34.
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.L. Pacholski, Jędrzej Wierzejewski, J. Wierzejewski & A. J. Wilkie - 1980 - Lecture Notes in Mathematics.
Some remarks concerning languages, calculuses, and logic.Jørgen Jørgensen - 1960 - Synthese 12 (4):338 - 349.
Calculuses and Formaly Systems.G. Hasenjaeger & Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4).
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
The arithmetic of cuts in models of arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.
Book Symposium: The Reason's Proper Study: Essays towards a Neo-Fregean Philosophy of Mathematics by Bob Hale and Crispin Wright: On the Philosophical Interest of Frege Arithmetic.William Demopoulos - 2003 - Philosophical Books 44 (3):220-228.
Arithmetic and Logic Incompleteness: the Link.Laureano Luna & Alex Blum - 2008 - The Reasoner 2 (3):6.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.

Analytics

Added to PP
2017-02-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Karl Popper’s Philosophical Breakthrough.Stefano Gattei - 2004 - Philosophy of Science 71 (4):448-466.
Habit: A Rylean Conception.Cheng-Hung Tsai - 2022 - Philosophies 7 (2):45.

Add more citations

References found in this work

No references found.

Add more references