Path: news.cambrium.nl!textnews.cambrium.nl!feeder3.cambriumusenet.nl!feed.tweaknews.nl!postnews.google.com!e27g2000yqd.googlegroups.com!not-for-mail
From: Marshall <marshall.spight@gmail.com>
Newsgroups: comp.databases.theory,sci.logic,sci.philosophy.tech
Subject: Re: Fitch's paradox and OWA
Date: Thu, 31 Dec 2009 15:58:41 -0800 (PST)
Organization: http://groups.google.com
Lines: 23
Message-ID: <17e8ec70-caf8-4177-8e04-da413070d540@e27g2000yqd.googlegroups.com>
References: <4919dc70-6375-432e-b2aa-2f7c1b3c15ba@n31g2000vbt.googlegroups.com> 
 <793ea30a-d7e3-40f3-b0c4-8a42a80be283@h9g2000yqa.googlegroups.com> 
 <hhgqsq0dn5@drn.newsguy.com> <UVT_m.1$dj1.0@newsfe07.iad> 
 <e3cb76b6-8d77-4a92-bd71-7cd6e163d061@k17g2000yqh.googlegroups.com> 
 <see-2FC5E8.17163231122009@mail.eternal-september.org> <a3f061ed-3838-4be9-b73a-836141dc640f@u7g2000yqm.googlegroups.com> 
 <Barbara-893E3F.10082301012010@mail.eternal-september.org> 
 <aEa%m.273$Mv3.262@newsfe05.iad>
NNTP-Posting-Host: 24.4.91.50
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1262303921 7066 127.0.0.1 (31 Dec 2009 23:58:41 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 31 Dec 2009 23:58:41 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: e27g2000yqd.googlegroups.com; posting-host=24.4.91.50; 
 posting-account=Rqa4sAoAAAC88UYanCtJRUF4S6TUauGA
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.1.6) 
 Gecko/20091201 Firefox/3.5.6,gzip(gfe),gzip(gfe)
Xref:  news.cambrium.nl sci.logic:158575 comp.databases.theory:38082

On Dec 31, 3:40=A0pm, Nam Nguyen <namducngu...@shaw.ca> wrote:
> Barb Knox wrote:
>
> > They are true or false in any *particular* model. =A0Since we apparentl=
y
> > cannot formally pin down arithmetic to have just one particular model
> > (the Standard one) then there will always be some arithmetic statements=
,
> > the undecidable ones, which are true in some models and false in others=
. =A0
>
> Agree. The question - and the heart of my argument - is whether or not th=
ere
> exists a formula F such that it's impossible to know/assert a truth value
> in the collection K of _all_ arithmetic models: K =3D {the standard one, =
the
> non-standard ones}? I've argued that there exist such statements.

Why would the existence of such statements imply that there
are truth values other than true or false?


Marshall