Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!linus!decvax!decwrl!ucbvax!brahms!weemba
From: weemba@brahms.BERKELEY.EDU (Matthew P. Wiener)
Newsgroups: net.math,net.philosophy
Subject: Re: Tarski's definition of truth
Message-ID: <12503@ucbvax.BERKELEY.EDU>
Date: Thu, 20-Mar-86 08:45:28 EST
Article-I.D.: ucbvax.12503
Posted: Thu Mar 20 08:45:28 1986
Date-Received: Sun, 30-Mar-86 07:18:53 EST
References: <12411@ucbvax.BERKELEY.EDU> <12454@ucbvax.BERKELEY.EDU> <5961@kestrel.ARPA>
Sender: usenet@ucbvax.BERKELEY.EDU
Reply-To: weemba@brahms.UUCP (Matthew P. Wiener)
Organization: University of California, Berkeley
Lines: 25
Xref: linus net.math:2594 net.philosophy:4298

In article <5961@kestrel.ARPA> ladkin@kestrel.ARPA (Peter Ladkin) writes:
>In article <12454@ucbvax.BERKELEY.EDU>, weemba@brahms.BERKELEY.EDU 
>(Matthew P. Wiener) writes [regarding Tarski's truth defn]:
>> Two points.  First truth in logic refers to truth in some model.
>> Not to any absolute truth.  Second, any logical sentence can be
>> broken down into well determined atomic formulas.  Each of these
>> atomic formulas has a definite truth value within the model.
>
>I'm not sure I agree with your first point....
>Secondly, atomic formulas do not have a definite truth value within....

Yes, Peter, your points are correct.  I was deliberately simplifying
the explanation, since otherwise the point I was trying to get through
to Tom would have been lost.  Based on his later thanks, I think I did
what he and I wanted.  You are welcome to post the full definition--I
did not think those who know better could have been confused.

I've written a few long and semi-detailed mathematical articles, and
they sure take up time.

But thanks for the clarification anyway, since I might have proven to
some people elsewhere that I don't know any logic.  :-)  As it is, I'll
try to post accuracy disclaimers when necessary.

ucbvax!brahms!weemba	Matthew P Wiener/UCB Math Dept/Berkeley CA 94720