I will talk here about three problems that have bothered me for a number of years, during which time I have experimented with a variety of solutions and encouraged others to work on them. I have raised each of them separately both in full and in passing in various contexts, but thought it would be worthwhile on this occasion to bring them to your attention side by side. In this talk I will explain the problems, together with some things that have been tried in the past and some new ideas for their solution.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,617
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Proof Theory.K. Schütte - 1977 - Springer Verlag.
Describing Ordinals Using Functionals of Transfinite Type.Peter Aczel - 1972 - Journal of Symbolic Logic 37 (1):35-47.
Regular Ordinals and Normal Forms.David Isles, A. Kino, J. Myhill & R. E. Vesley - 1973 - Journal of Symbolic Logic 38 (2):334-335.

Add more references

Citations of this work BETA

Accessible Recursive Functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.

Add more citations

Similar books and articles

My Route to Arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.
Ideas in Politics.Jeremy Shearmur - 2001 - Teaching Co..
Proceedings of the Second Scandinavian Logic Symposium.Jens Erik Fenstad (ed.) - 1971 - Amsterdam: North-Holland Pub. Co..
The Big Bad Bug: What Are the Humean's Chances?John Bigelow, John Collins & Robert Pargetter - 1993 - British Journal for the Philosophy of Science 44 (3):443-462.
Probability Semantics for Quantifier Logic.Theodore Hailperin - 2000 - Journal of Philosophical Logic 29 (2):207-239.
Scientific Problems and Constraints.Thomas Nickles - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:134 - 148.


Added to PP index

Total views
30 ( #330,529 of 2,348,795 )

Recent downloads (6 months)
1 ( #512,546 of 2,348,795 )

How can I increase my downloads?


My notes