Re: OUTGOEDELING A HUMAN?

On Feb 23, 2:18 am, stevendaryl3...@xxxxxxxxx (Daryl McCullough)
wrote:


(*) > So Abo's sentence is interpreted to be true in some
interpretations, and false in others.

It's late here and I need to turn in, so I could well be incorrect.
But your conclusion (*) seems to imply that Abo's sentence is not true
in L (for some fixed language L). So Abo's sentence is not
universally true. So Abo's sentence is true...

Yes, but not universally true.

I think Abo is right; your response does not help.

Since you are referring to Abo's sentence, your statement is:

'Abo's sentence is not universally true'

which is Abo's sentence.

You will surely say that your claim is in turn not universally true.
Well, in what interpretations is it true and why should I believe you
are asserting it in one of those? You must be now at the level of meta-
interpretations!

Before you make any statement you should clarify in what
interpretation you claim to be true what you claim. Alas that's
impossible, for before you begin to define your interpretation you
need to define the interpretation in which you are about to define the
interpretation of ... The point is that defining an interpretation
requires asserting statements whose truth interpretation level remains
undefined!

And if it could be shown there is a fixpoint in that interpretation-
function, things would be still worse, because paradoxes would arise
again referring to that fixpoint level!

You are trying to dodge the fact that whenever you speak you
implicitly claim truth for your statements in some absolute sense and
here's the consequence.

If you deny such sense may exist, then you incur performative
contradiction.

Regards.


.

Relevant Pages

  • Re: Factoring paper is wrong
    ... > universally true and would in this sense be 'absolute', ... What about formal independency? ... Now reduce it to the Herbrand ... interpretation f', ...
    (sci.crypt)
  • Re: Factoring paper is wrong
    ... >>universally true and would in this sense be 'absolute', ... > What about formal independency? ... Now reduce it to the Herbrand ... > interpretation f', ...
    (sci.logic)
  • Re: Factoring paper is wrong
    ... >>universally true and would in this sense be 'absolute', ... > What about formal independency? ... Now reduce it to the Herbrand ... > interpretation f', ...
    (sci.crypt)
  • Re: OUTGOEDELING A HUMAN?
    ... "Universally true" involves quantification ... Since there is one interpretation in which Abo's sentence is false, ... gone through since you are quantifying over them. ... If you are claiming Abo's sentence is true in some absolute sense, ...
    (sci.logic)
  • Re: OUTGOEDELING A HUMAN?
    ... Abo's sentence is not universally true. ... exist an interpretation i such that S is interpreted ... to all noun phrases and predicate phrases and provides a domain ... It's true-in-L for some L. What does this mean (according ...
    (sci.logic)