Re: Jan Burse gives support that godels use of impredicative s

Why do you think it does not fit?
dont ask a question with a question

tell us how does it fit

and tell us godel says independent things avoid the VC
so if independent things are constructed impredicatively syntactically do
they avoid the VC

if independent things are constructed impredicatively semantically do
they avoid the VC

WAN LAAN, AND ROB NEDERPELT
tell us We consider the impredicative de�nition of f as a matter of
syntax,whilst the existence of the object f has to do with semantics.


so by WAN LAAN, AND ROB NEDERPELT

if independent things are constructed impredicatively syntactically it
would involve being VC

but then according to godel they would not
and we have this
dependent things constructed impredicatively according to godel result in
VC
but only if they are syntactically impredicatively constructed accoring to
WAN LAAN, AND ROB NEDERPELT

thus we have WAN LAAN, AND ROB NEDERPELT saying one thing and godel
another
so who is correct-please tell us


--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html

.

Relevant Pages