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

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/aristoteliansupp/20.1.20

Links

PhilArchive



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

External links

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

Propositional and predicate calculuses based on combinatory logic.M. W. Bunder - 1974 - Notre Dame Journal of Formal Logic 15 (1):25-34.
Some remarks concerning languages, calculuses, and logic.Jørgen Jørgensen - 1960 - Synthese 12 (4):338 - 349.
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.
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
Regularity in models of arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
Logic and arithmetic.Hartley Slater - manuscript
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic.Nicolas D. Goodman - 1984 - Journal of Symbolic Logic 49 (1):192-203.
On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.
Notes on polynomially bounded arithmetic.Domenico Zambella - 1996 - Journal of Symbolic Logic 61 (3):942-966.
Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.

Analytics

Added to PP
2011-05-29

Downloads
34 (#459,882)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

XIII—Knowing How to Reason Logically.Corine Besson - 2021 - Proceedings of the Aristotelian Society 121 (3):327-353.
The unity of knowledge.John Hyman - forthcoming - Philosophy and Phenomenological Research.
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.
Forms of Carroll’s Paradox in Post-Classical Arabic Logic.Dustin D. Klinger - forthcoming - History and Philosophy of Logic:1-16.

Add more citations

References found in this work

No references found.

Add more references