Re: Godel's comments about the "true reason" for incompleteness

On 2008-03-22, in sci.logic, R. Srinivasan wrote:
I do not agree that this is a straghtforard process.

You're of course free to disagree with anything you like, but unless
you provide some specific reason for your disagreement it remains
entirely arbitrary and uninteresting. Do you, in fact, envisage some
specific difficulty in formalising talk about formal sentences?

Obviously you are now claiming that a single sentence in the
language of theory can say something about all sentences in the
language.

That is, in fact, just what I am claiming.

In first order logic, sentential variables are not part of sentences
and there is a valid reason for that as far as I am concerned.

In the straightforward formalisation of talk about formal sentences I
alluded to there is no need to involve sentential variables.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages

  • Re: Appeal to Abstract Authority - a never ending fallacy by materialists
    ... that it is fundamentally not language. ... I see no reason to disagree with that. ... yourself wether I come across as hysterical or not. ...
    (talk.origins)
  • Re: role of language in human though process
    ... People disagree about this. ... My opinion is that thinking does not require language, ... language can enhance thought. ... Does a newborn infant "reason out ...
    (comp.ai.philosophy)
  • Re: How It Works: ed senters Might Makes Right philosophy
    ... will not conform to the dictates of reason and justice without ... justice without constraint. ... I disagree WITH YOU that YOU SHOULD put guns, tanks, and nuclear ...
    (misc.taxes)
  • Re: Possible bug in Calendar
    ... fact that no reasonable person would disagree with. ... If you intend to be taken seriously, you need to act less like a third-tier goon that doesn't even rate "henchman" from some bad mobster movie and more like a Harvard graduate with some skill in a complex and intelligence-demanding field, preferably Java programming given the group topic. ... "Culture" in academia these days tends to mean Shakespeare, Conrad, Twain, Milton, and the like -- not Latin. ... I'm glad you've finally decided to come around to my point of view, and that you've finally seen reason. ...
    (comp.lang.java.programmer)
  • Re: How It Works: ed senters Might Makes Right philosophy
    ... will not conform to the dictates of reason and justice without ... justice without constraint. ... I disagree WITH YOU that YOU SHOULD put guns, tanks, and nuclear ...
    (misc.taxes)