Re: OUTGOEDELING A HUMAN?

On Feb 23, 2:30 pm, stevendaryl3...@xxxxxxxxx (Daryl McCullough)
wrote:
abo says...

stevendaryl3...@xxxxxxxxx (Daryl McCullough) wrote:
OK let me return to your argument here. Label

Abo's sentence is not universally true.

as (AS). You agree that (AS) is true.

It is true in an interpretation that "talks about" other
interpretations (including the empty interpretation, which
assigns "false" to any existentially quantified sentence).

It is false in the empty interpretation.

Now either you say that it is true-in-L for some L,

Yes, if L is able to "talk about" the empty interpretation,
then AS is true-in-L.

Option 1. It's true-in-L for some L.

Yes.

What does this mean (according to you)? Apparently it means
"For all interpretations i, Abo's sentence is interpreted to
be true."

No, that's not correct. If L is some interpretation, then
L comes equipped with a domain D_L which specifies the domain
of quantifiers (in this case, we are quantifying over interpretations).
So AS is true in L if there is an interpretation L' in D_L such
that L' interprets AS as false.

This is where I was confused. You talked about true-in-L, where for
me L was a language. Then you talked about an interpretation i for a
language L. And now you're saying L is an interpretation.


.

Relevant Pages

  • Re: OUTGOEDELING A HUMAN?
    ... of quantifiers ... truth is dependent on an *interpretation* of a language. ...
    (sci.logic)
  • Re: There is no language of arithmetic
    ... NOT ONLY does it not matter "which of the equivalent results" you state, it MOREOVER does not matter WHICH LANGUAGE ... that propositional logic with quantifiers, has totally different complexity than propositional logic without quantifiers. ... The interpretation ...
    (sci.logic)
  • Re: OUTGOEDELING A HUMAN?
    ... It is true in an interpretation that "talks about" other ... It is false in the empty interpretation. ... then AS is true-in-L. ... of quantifiers ...
    (sci.logic)
  • Re: Why an inconsistent ZF may be desirable, and should be welcome.
    ... is true under an interpretation M of L if, and only if, the interpreted ... individual, within a symbolic language (reasonably, these would include ... if we define a mathematical object and a set constructively as ... and without any loss of generality - I consider mathematics ...
    (sci.logic)
  • Re: Enderton problem
    ... So A appears to have a descending chain. ... It's also not elementarily equivalent to N, ... have language with usual truths about N expressible in this ... It depends on the interpretation of "<". ...
    (sci.logic)
Quantcast