21 found
Order:
  1.  26
    Richard L. Epstein (1979). Relatedness and Implication. Philosophical Studies 36 (2):137 - 173.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  2.  1
    Richard L. Epstein & Walter A. Carnielli (1989). Computability Computable Functions, Logic, and the Foundations of Mathematics. Monograph Collection (Matt - Pseudo).
    This book is dedicated to a classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal (...)
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  3. Richard L. Epstein (1994). The Semantic Foundations of Logic. Oxford University Press.
    This book presents modern logic as the formalization of reasoning that needs and deserves a semantic foundation. Chapters on propositional logic; parsing propositions; and meaning, truth and reference give the reader a basis for establishing criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, and functions. The chapter on second-order logic shows how different conceptions of predicates (...)
     
    Export citation  
     
    My bibliography   3 citations  
  4.  9
    Richard L. Epstein (1992). A Theory of Truth Based on a Medieval Solution to the Liar Paradox. History and Philosophy of Logic 13 (2):149-177.
  5.  6
    Richard L. Epstein (1979). Degrees of Unsolvability: Structure and Theory. Springer-Verlag.
    The contributions in the book examine the historical and contemporary manifestations of organized crime, the symbiotic relationship between legitimate and ...
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  6.  3
    S. Barry Cooper & Richard L. Epstein (1987). Complementing Below Recursively Enumerable Degrees. Annals of Pure and Applied Logic 34 (1):15-32.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  7.  3
    Richard L. Epstein (2014). Reflections on Temporal and Modal Logic. Logic and Logical Philosophy.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Richard L. Epstein (2005). Paraconsistent Logics with Simple Semantics. Logique Et Analyse 48 (192):71-86.
     
    Export citation  
     
    My bibliography   1 citation  
  9.  20
    Richard L. Epstein (1979). Relatedness and Interpretability. Philosophical Studies 36 (2):225 - 231.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10.  2
    Richard L. Epstein (1981). Initial Segments of Degrees Below 0'. American Mathematical Society.
    MOTIVATION The constructivization of ; => D(_£^') poses several problems. For some of these the tools of MD can be modified; for others new methods will need to be established. What must we do to make a full approximation to ; * D? We ...
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  11. Richard L. Epstein (1975). Minimal Degrees of Unsolvability and the Full Approximation Construction. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  12.  1
    Richard L. Epstein & Esperanza Buitrago-Díaz (2014). A Propositional Logic of Temporal Connectives. Logic and Logical Philosophy.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  2
    Richard L. Epstein (2004). Logic Made Easy: How to Know When Language Deceives You. Bulletin of Symbolic Logic 10 (4):577-578.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  1
    Richard L. Epstein (2006). Nolt John. Logics. Wadsworth, 1997, Xii+ 468 Pp. [REVIEW] Bulletin of Symbolic Logic 12 (2):290-291.
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  1
    Richard L. Epstein (1985). Essay Review. History and Philosophy of Logic 6 (1):117-125.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. Richard L. Epstein (2005). Classical Logic with Non-Referring Names. Logique Et Analyse 48 (192):189-207.
     
    Export citation  
     
    My bibliography  
  17. Richard L. Epstein (2007). Classical Mathematical Logic. The Semantic Foundations of Logic. Bulletin of Symbolic Logic 13 (4):540-541.
     
    Export citation  
     
    My bibliography  
  18. Richard L. Epstein (2013). Mathematics as the Art of Abstraction. In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Springer 257--289.
    Direct download  
     
    Export citation  
     
    My bibliography  
  19. Richard L. Epstein & Szczerba (1979). Relatedness and Interpretability. Philosophical Studies 36 (2):225-231.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. J. Nolt & Richard L. Epstein (2006). REVIEWS-Logics. Bulletin of Symbolic Logic 12 (2):290-290.
     
    Export citation  
     
    My bibliography  
  21. Carlos Augusto Di Prisco, Richard L. Epstein & Walter A. Carnielli (2002). Computability. Computable Functions, Logic, and the Foundations of MathematicsComputability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding. [REVIEW] Bulletin of Symbolic Logic 8 (1):101.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography