Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 9/5/84; site umich.UUCP Path: utzoo!watmath!clyde!burl!ulysses!gamma!epsilon!mb2c!umich!torek From: torek@umich.UUCP (Paul V. Torek ) Newsgroups: net.math,net.philosophy Subject: Re: Tarski's definition of truth Message-ID: <518@umich.UUCP> Date: Sun, 16-Mar-86 16:14:30 EST Article-I.D.: umich.518 Posted: Sun Mar 16 16:14:30 1986 Date-Received: Mon, 17-Mar-86 04:01:44 EST References: <12411@ucbvax.BERKELEY.EDU> Reply-To: torek@umich.UUCP (Paul V. Torek ) Organization: University of Michigan, EECS Dept., Ann Arbor, MI Lines: 6 Xref: watmath net.math:2972 net.philosophy:4484 Summary: That's about all there is to it, Tom -- Tarski's theory of truth isn't much of a "theory". `"Grass is green" is true iff grass is green' about sums it up. On Tarski's view, saying `"S" is true' is redundant; one can say the same thing by saying `S' (where S is a proposition). --Paul Torek torek@umich