Re: My talk about Godel to the post-grads.

On Jul 3, 4:36 am, John Jones <jonescard...@xxxxxxx> wrote:

For example, I made no mention of the use of "+" in 'PA + "PA is
inconsistent' which looks idiosyncratic: statements are hardly arraigned
to display consistency by being added.

You ignoramus, '+' in that context is informal shorthand for the
binary union operation.

But if the sign is 'technically'
employed, to mean "inclusion" perhaps, then it seems that by taking it
for granted we can include pretty well anything we want, whether it
makes sense or no.

No, it is understood informally as standing not for inclusion but for
union.

And it does not make sense in the instance you presented, for how would
one 'include' in a consistent system an inconsistent statement?

No one did.

Any
formal statement that tries to represent that is, as another author put
it, unsound.

Yes, the theory is unsound, but not inconsistent.

You are not looking closely enough. The only way we can include the
statement is to propose 1) that something is at the same time something
else. OR 2) we are referring to sign strings.

No, we don't play your gibberish games. Rather, what is designated by
'PA+"PA is inconsistent'" is precisely defined.

Now answer that. For it looks as though the statement 'PA + "PA is
inconsistent"

It's not a single statement. It's a theory.

obviously proves "PA is inconsistent"' doesn't get out the
starting gate.

No, it's you, bloated with a couple hundred pounds of confusions, who
doesn't even get entered into the race.

MoeBlee

.

Relevant Pages

  • Re: My talk about Godel to the post-grads.
    ... inconsistent' which looks idiosyncratic: statements are hardly arraigned ... '+' in that context is informal shorthand for the ... tell me that "binary union operation" is formal longhand for +. ... Yes, the theory is unsound, but not inconsistent. ...
    (sci.logic)
  • Re: My talk about Godel to the post-grads.
    ... inconsistent' which looks idiosyncratic: statements are hardly arraigned ... to display consistency by being added. ... tell me that "binary union operation" is formal longhand for +. ... Ux is the set of all members of members of x and ...
    (sci.logic)
  • Re: My talk about Godel to the post-grads.
    ... inconsistent' which looks idiosyncratic: statements are hardly arraigned ... to display consistency by being added. ... binary union operation. ... Yes, the theory is unsound, but not inconsistent. ...
    (sci.logic)