Re: OUTGOEDELING A HUMAN?

abo says...

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.

...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.

No, truth is dependent on an *interpretation* of a language.
My original discussion used "truth in interpretation i" rather
than "truth in L". That's clearer. There is no truth in L.

And now you're saying L is an interpretation.

Sorry, I was getting your terminology confused with my own.
I'm suggesting that truth is relative to an *interpretation*
rather than relative to a *language*. An interpretation specifies
a language, but not the other way around.

--
Daryl McCullough
Ithaca, NY



--
Daryl McCullough
Ithaca, NY

.

Relevant Pages

  • Re: Semantics of First-Order Languages
    ... to an first-order language. ... That's what interpretation does: making a sentence true or false. ... basis of truth. ...      formula. ...
    (sci.logic)
  • Re: Semantics of First-Order Languages
    ... to an first-order language. ... But that's also why interpretation is subjective - and relative: ... no absolute rule why a sentence is interpreted as true or false, ... basis of truth. ...
    (sci.logic)
  • Re: DRM+DAB Receivers Have HE AAC Decoders in Them!
    ... The truth is that nobody knows *exactly* what these people mean ... fact do not), but language is flexible. ... no room for doubt and no room for ambiguous interpretation, ...
    (alt.radio.digital)
  • Re: Which theories hold a true but unprovable statement?
    ... "truth in a language". ... what you need is an interpretation of the language. ... language of set theory, for example, there is no "intended model", but the ...
    (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)