Hilbert's epsilon as an operator of indefinite committed choice

Journal of Applied Logic 6 (3):287-317 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2007.07.009

Links

PhilArchive



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

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

Term-Forming Operators in First Order Logic.David Michael Devidi - 1994 - Dissertation, The University of Western Ontario (Canada)
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
Epsilon Calculi.Barry Slater - 2006 - Logic Journal of the IGPL 14 (4):535-590.
The Epsilon-Reconstruction of Theories and Scientific Structuralism.Georg Schiemer & Norbert Gratzl - 2016 - Erkenntnis 81 (2):407-432.
Meinong's Theory Of Objects And Hilbert's $\epsilon$-symbol.N. C. A. da Costa, F. Doria & N. Papavero - 1991 - Reports on Mathematical Logic.
Constructive compact operators on a Hilbert space.Hajime Ishihara - 1991 - Annals of Pure and Applied Logic 52 (1-2):31-37.
A propositional fragment of Le'sniewski's Ontology and its formulation by the tableau method.Arata Ishimoto & M. Kobayashi - 1982 - Studia Logica 41 (2/3):181-195.
The logic of choice.Andreas Blass & Yuri Gurevich - 2000 - Journal of Symbolic Logic 65 (3):1264-1310.
The Epsilon Calculus and its Applications.B. H. Slater - 1991 - Grazer Philosophische Studien 41 (1):175-205.
The Axiom of Choice in Quantum Theory.Norbert Brunner, Karl Svozil & Matthias Baaz - 1996 - Mathematical Logic Quarterly 42 (1):319-340.
Counterfactuals and Arbitrariness.Moritz Schulz - 2014 - Mind 123 (492):1021-1055.
Epsilon-logic is more expressive than first-order logic over finite structures.Martin Otto - 2000 - Journal of Symbolic Logic 65 (4):1749-1757.
The quantum mechanical time reversal operator.Andrew Thomas Holster - unknown
(In)Definiteness, Polarity, and the Role of wh-morphology in Free Choice.Anastasia Giannakidou & Lisa Cheng - 2006 - Journal of Semantics 23 (2):135-183.

Analytics

Added to PP
2016-06-30

Downloads
24 (#657,313)

6 months
14 (#179,394)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.
Eine Termlogik mit Auswahloperator.Gert Heinz Müller - 1965 - Journal of Symbolic Logic 35 (3):440-440.

View all 6 references / Add more references