Re: Is Truth Mysterious?



LauLuna wrote:

On Feb 13, 3:14 am, herbzet <herb...@xxxxxxxxx> wrote:

The major advantage of Tarski's scheme is that it is concrete
and rigorous. So we can be properly mathematical and _prove_
things about truth, or at least, about truth-as-defined-by-Tarski.

It's a pretty good scheme.

--
hz

But surely you agree that Tarski's scheme assumes that any expression
with sentential form has a truth value, and that this assumption is
untenable.

Consider sentence-token (1):

(1) '(1) expresses no true proposition'

Applying Tarski's scheme we get:

(T-1) "'(1) expresses no true proposition' is true iff (1) expresses
no true proposition"

But we can show using ordinary logic that sentence-token (1) expresses
no true proposition. (T-1) allows to deduce from this fact that (1) is
true. This is a contradiction.

But the problem is not with the concept of truth underlying Tarski's
scheme (which is quite straightforward) but in the assumption that
every token of every expression with sentential form expresses a
proposition and has a truth value.

Regards


I actually tend to agree with what you've been saying in this
thread, but I don't like to think about the Liar too much
because it just makes me want to hide under the covers and
weep quietly.

So I'm just going to back out of this one.

Thanks.

--
hz
.

Relevant Pages

  • Re: Is Truth Mysterious?
    ... It's a pretty good scheme. ... with sentential form has a truth value, ... "'expresses no true proposition' is true iff expresses ... But the problem is not with the concept of truth underlying Tarski's ...
    (sci.logic)
  • Re: Is Truth Mysterious?
    ... with sentential form has a truth value, ... no true proposition" ... allows to deduce from this fact that is ... proposition and has a truth value. ...
    (sci.logic)
  • Re: Why does the theory of Common Descent conjoined to Linnaeuss
    ... Linnaeus's classification scheme is only one of several graphical ... relationship between those populations, if any. ... That doesn't explain the nested hierarchy at all. ... The truth will set you free. ...
    (talk.origins)
  • Re: Is Truth Mysterious?
    ... I have no opinion on that whatsoever. ... attempt to define the relation between truth and sentences. ... It's a pretty good scheme. ...
    (sci.logic)
  • Truth tables
    ... Any idea if there is an existing package that i can use to make truth tables in LaTeX?A link would also be good.I could not locate anything on that.I found for K-maps but not truth tables.I want to typeset something that looks like this and encircle some elements or group of elements in the table. ... I hope the scheme comes out correctly:) ...
    (comp.text.tex)
Quantcast