Comment on “the Infinitistic Thesis”

Southern Journal of Philosophy 23 (3):399-400 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

00384283

DOI

10.1111/j.2041-6962.1985.tb00408.x

Links

PhilArchive



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

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

Comment on “the infinitistic thesis”.Harold N. Lee - 1985 - Southern Journal of Philosophy 23 (3):399-400.
Infinitistic and Non-infinitistic cures for nagging hangovers.Laurence Goldstein - 2008 - The Reasoner 2 (7):5-6.
The infinitistic thesis.Michael B. Burke - 1984 - Southern Journal of Philosophy 22 (3):295-305.
Kalmár L.. A practical infinitistic computer. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 347–362. [REVIEW]William E. Gould - 1969 - Journal of Symbolic Logic 34 (3):510-510.
Ontologically neutral logic.Theodore Hailperin - 1997 - History and Philosophy of Logic 18 (4):185-200.
Heyting A.. Infinitistic methods from a finitist point of view. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 185–192. [REVIEW]G. Kreisel - 1968 - Journal of Symbolic Logic 32 (4):515-515.
Mostowski A.. A class of models for second order arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 , pp. 401–404.Mostowski A.. Formal system of analysis based on an infinitistic rule of proof. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 141–166. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):128-129.
A séance with an immortal.Roy Sorensen - 2006 - Philosophy 81 (3):395-416.
A comment on McCall.B. Garrett - 2012 - Analysis 72 (2):293-295.
An infinitistic rule of proof.H. B. Enderton - 1967 - Journal of Symbolic Logic 32 (4):447-451.
Ways of branching quantifers.Gila Sher - 1990 - Linguistics and Philosophy 13 (4):393 - 422.
Comment on Fraser I.Sheila Shaver - 1987 - Thesis Eleven 17 (1):107-110.
Comment on Fraser II.Lois Bryson - 1987 - Thesis Eleven 17 (1):110-113.
Infinitistic Methods from a Finitist Point of View.A. Heyting - 1967 - Journal of Symbolic Logic 32 (4):515-515.
Semantics of the infinitistic rules of proof.Krzysztof Rafal Apt - 1976 - Journal of Symbolic Logic 41 (1):121-138.

Analytics

Added to PP
2017-02-16

Downloads
1 (#1,898,347)

6 months
1 (#1,469,469)

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references