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

Before Goedel worked on the incompletness theorem.
He published his completness theorem. Which states
for certain systems of syntax and semantic, that
syntax and semantic is essentially the same

so hows that fit with

TWAN LAAN, AND ROB NEDERPELT

Nowadays* we would consider the use of the Vicious
Circle Principle too strict. 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. The fact that we are not able to give a
predicative de�nition of f does not imply that such
an object does not exist. Here we must remark that
Russell and Whitehead did not make a distinction between
syntax and semantics in the Principia. Therefore they
had to interpret the Vicious Circle Principle in
the strict way above.

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

.

Relevant Pages

  • Re: man page syntax for +script
    ... The man pages for [bind] and [comm hook] both describe how you can either replace the current script or append to it, but they give slightly different syntaxes. ... But the syntax for makes it appear that the + and the script are separate arguments, and that caused me some confusion. ... you have a distorted view of what is syntax and what is semantics in Tcl. ...
    (comp.lang.tcl)
  • Re: man page syntax for +script
    ... The man pages for and both describe how you can either replace the current script or append to it, but they give slightly different syntaxes. ... But the syntax for makes it appear that the + and the script are separate arguments, and that caused me some confusion. ... The plus is a semantic definition that these two unrelated commands put on their last argument, expr has a very different semantic definition of "+". ... you have a distorted view of what is syntax and what is semantics in Tcl. ...
    (comp.lang.tcl)
  • Re: MV Keys
    ... In *practise*, you may not need to worry ... Through creative use of syntax, ... I don't envision a separate language; ... even within the given semantics. ...
    (comp.databases.theory)
  • Re: Jan Burse gives support that godels use of impredicative s
    ... syntax and semantic is essentially the same ... Circle Principle too strict. ... syntax and semantics in the Principia. ...
    (sci.logic)
  • Re: they mention various metaphors and ramble about various concerns (Re: Kuratowski Ordered Pair)
    ... it means to call x the semantics for syntax y? ... (kind of like your archaic understanding of syntax-semantics ... and i did not see much of substance in response ...
    (sci.math)