scholarly journals Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs

2019 ◽  
pp. 255-290
Author(s):  
Thomas Powell
Keyword(s):  
Epsilon Calculus

The Epsilon Calculus

2003 ◽  
pp. 455-455
Author(s):  
Georg Moser ◽  
Richard Zach
Keyword(s):  
Epsilon Calculus

The Fallacy in Russell's Schema

2002 ◽  
Vol 22 (2) ◽  
Author(s):  
Hartley Slater
Keyword(s):  
Bertrand Russell ◽  
Epsilon Calculus ◽  
The Common ◽  
Hilbert’S Epsilon Calculus ◽  
Self Reference

<p>An analysis of the paradoxes of self-reference, which Bertrand Russell initiated, exposes the common fallacy in them, and has consequences for some of Graham Priest's work. Notably it undermines his defence of the Domain Principle, and his consequent belief that there are true contradictions. Use of Hilbert's epsilon calculus shows, instead, that we must allow for indeterminacy of sense in connection with paradoxes of self-reference.</p>

The Epsilon Calculus and its Applications

1991 ◽  
Vol 41 (1) ◽  
pp. 175-205
Author(s):  
B.H. Slater
Keyword(s):  
Epsilon Calculus

scholarly journals The Epsilon Calculus and Herbrand Complexity

Studia Logica ◽  
2006 ◽  
Vol 82 (1) ◽  
pp. 133-155 ◽  
Author(s):  
Georg Moser ◽  
Richard Zach
Keyword(s):  
Epsilon Calculus

The Epsilon Calculus and its Applications

1991 ◽  
Vol 41 ◽  
pp. 175-205 ◽  
Author(s):  
B. H. Slater ◽  
Keyword(s):  
Epsilon Calculus
Sign in / Sign up

Export Citation Format

Share Document