Hilbert's ɛ-operator and classical logic

Journal of Philosophical Logic 22 (1):1 - 18 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01049178

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,951

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

Natural deduction and Hilbert's ɛ-operator.Allen Hazen - 1987 - Journal of Philosophical Logic 16 (4):411 - 421.
Hilbert's epsilon as an operator of indefinite committed choice.Claus-Peter Wirth - 2008 - Journal of Applied Logic 6 (3):287-317.
Bell J. L.. Boolean-valued models and independence proofs in set theory. Oxford logic guides. Clarendon Press, Oxford 1977, xviii + 126 pp. [REVIEW]Thomas Jech - 1981 - Journal of Symbolic Logic 46 (1):165-165.
Bell J. L. and Machover M.. A course in mathematical logic. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1977, xix + 599 pp. [REVIEW]Perry Smith - 1980 - Journal of Symbolic Logic 45 (2):378-379.
Carnap Rudolf. On the use of Hilbert's ε-operator in scientific theories. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 156–164. [REVIEW]Herbert G. Bohnert - 1971 - Journal of Symbolic Logic 36 (2):320-321.
Bell J. L.. Toposes and local set theories. An introduction. Oxford logic guides, no. 14. Clarendon Press, Oxford University Press, Oxford and New York 1988, xii + 267 pp. [REVIEW]G. C. Wraith - 1990 - Journal of Symbolic Logic 55 (2):886-887.
The effect of intuitionism on classical algebra of logic.L. E. J. Brouwer - 1975 - In A. Heyting, L. E. J. Brouwer Collected Works Vol. I: Philosophy and Foundations of Mathematics. North-Holland Publishing. pp. 551–554.
J. L. Bell and A. B. Slomson. Models and ultraproducts: An introduction. North-Holland Publishing Company, Amsterdam and London1969, IX + 322 pp. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (4):763-764.
McCluskey E. J. Jr. Minimization of Boolean functions. The Bell System technical journal, vol. 35 , pp. 1417–1444.Robert McNaughton - 1958 - Journal of Symbolic Logic 23 (2):235-235.

Analytics

Added to PP
2009-01-28

Downloads
79 (#288,541)

6 months
8 (#540,103)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

Studies in logical theory.John Dewey - 1903 - New York: AMS Press.
Ramsification and Semantic Indeterminacy.Hannes Leitgeb - 2022 - Review of Symbolic Logic 16 (3):900-950.
Epsilon theorems in intermediate logics.Matthias Baaz & Richard Zach - 2022 - Journal of Symbolic Logic 87 (2):682-720.

View all 12 citations / Add more citations

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Passion and Value in Hume's Treatise.D. G. C. Macnabb - 1968 - Philosophical Books 9 (1):2-4.
Mathematical logic and Hilbert's & symbol.A. C. Leisenring - 1969 - London,: Macdonald Technical & Scientific.
Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.

Add more references