Göodel's Theorems and the Epsilon Calculus

SOUTH AMERICAN JOURNAL OF LOGIC 2 (1):83-90 (2016)

Abstract This article has no associated abstract. (fix it)
Keywords Godel’s theorems  epsilon calculus  operators and predicates  minds and machines  liar paradox  paraconsistency
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 41,524
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Epsilon Calculi.Barry Slater - 2006 - Logic Journal of the IGPL 14 (4):535-590.
Choice and Logic.Hartley Slater - 2004 - Journal of Philosophical Logic 34 (2):207-216.
Epsilon Calculi.Hartley Slater - 2001 - Internet Encyclopedia of Philosophy.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
The Epsilon Calculus and its Applications.B. H. Slater - 1991 - Grazer Philosophische Studien 41:175-205.
Cut Elimination for a Simple Formulation of Epsilon Calculus.Grigori Mints - 2008 - Annals of Pure and Applied Logic 152 (1):148-160.
Ramseying Liars.Barry Hartley Slater - 2004 - Logic and Logical Philosophy 13:57-70.
The Grammar of Platonism.Hartley Slater - 2016 - Logica Universalis 10 (4):533-541.
Gödel's and Other Paradoxes.Hartley Slater - 2016 - Philosophical Investigations 39 (4):353-361.

Analytics

Added to PP index
2017-01-30

Total views
10 ( #703,320 of 2,248,791 )

Recent downloads (6 months)
4 ( #484,153 of 2,248,791 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature