Switch to: Citations

Add references

You must login to add references.
  1. Patterns of paradox.Roy T. Cook - 2004 - Journal of Symbolic Logic 69 (3):767-774.
    We begin with a prepositional languageLpcontaining conjunction (Λ), a class of sentence names {Sα}αϵA, and a falsity predicateF. We (only) allow unrestricted infinite conjunctions, i.e., given any non-empty class of sentence names {Sβ}βϵB,is a well-formed formula (we will useWFFto denote the set of well-formed formulae).The language, as it stands, is unproblematic. Whether various paradoxes are produced depends on which names are assigned to which sentences. What is needed is a denotation function:For example, theLPsentence “F(S1)” (i.e.,Λ{F(S1)}), combined with a denotation functionδsuch (...)
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.
    Download  
     
    Export citation  
     
    Bookmark   196 citations  
  • Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   478 citations  
  • Subsystems of Second Order Arithmetic.Stephen George Simpson - 1999 - Springer Verlag.
    Stephen George Simpson. with definition 1.2.3 and the discussion following it. For example, taking 90(n) to be the formula n §E Y, we have an instance of comprehension, VYEIXVn(n€X<—>n¢Y), asserting that for any given set Y there exists a ...
    Download  
     
    Export citation  
     
    Bookmark   131 citations