From: Ian Goddard (igoddard@netkonnect.net)
Date: Fri May 22 1998 - 10:32:13 MDT
Tony Hollick (anduril@cix.compulink.co.uk)
>(Apologies to Susan Masterman for 'borrowing' her title).
>
>I'm mildly surprised that more readers of this list are not fully
>familiar with logician Alfred Tarski's reconstruction of a commonsense
>Correspondence Theory of Objective Truth, utilizing a metalanguage,
>whereby we evaluate the truth content of formal statements concerning
>objective reality.
IAN: Thanks for the pointer, I found a
few pages on Alfred, this one is the best:
http://people.delphi.com/gkemerling/dy/t.htm#tars
in finding it I found a fantastic
philosophy dictionary on the web:
http://people.delphi.com/gkemerling/dy/index.htm
>This following example is a bit more complex than first appears -- it's
>deceptively simple -- sometimes there is more to the obvious than is
>obvious... >:-} ).
>
>Following Tarski, we may say:
>
>'The statement "le ciel est bleu" is true if --
>
>and only if --
>
>the sky is, in fact, blue.'
>
>Thus, we can examine and test the correspondence of statements with
>objective reality, with the metalanguage serving to avoid tautology,
>among other things.
IAN: "Tarskian truth" seems to be exactly
the case for a definable truth I was making.
Physical reality is true, and words are true
to the extent they map onto reality one-one.
This is also the natural notion of truth,
since a lie is a report about events in
the physical world that do/did not exist,
and thus do not map onto the physical world.
********************************************************
IAN Williams Goddard ------> http://Ian.Goddard.net
________________________________________________________
Statements T r u t h A defines -A
a -A defines A
A: x is A b A -A
l T F A set is defined
-A: x is -A e F T by its members, thus
? ? A & -A contain each other.
--------------------------------------------------------
H O L I S M ---> http://www.erols.com/igoddard/meta.htm
________________________________________________________
This archive was generated by hypermail 2.1.5 : Fri Nov 01 2002 - 14:49:07 MST