Article View: sci.logic
Article #1035Re: Why Some Sentences Lack Truth Values
From: MoeBlee
Date: Mon, 19 May 2008 20:16
Date: Mon, 19 May 2008 20:16
31 lines
2775 bytes
2775 bytes
On May 17, 8:08 am, "R. Srinivasan" <sradh...@in.ibm.com> wrote: > The basic philosophical ideas behind NAFL can be understood without > delving into details. That's not adequate when NAFL is being used in a technical sense to comment on details in other systems. > a NAFL theory cannot > be defined as a mathematical object. Then I'm not very interested in NAFL. > You can only make the definition > precise enough to be able to work within NAFL theories. There are > solid reasons for this requirement. One of these is that Godel's > incompleteness theorems cannot go through in NAFL, NAFL or NAFL theories are not even not just a formal theories, not a theories even as ones not formally axiomatized; not theories, as you say, as mathematical objects. Saying that incompleteness doesn't go through for NAFL is like saying incompleteness doesn't go through for my grandmother's diary. > Pathetic that nobody in IBM Research is > even willing to discuss NAFL with me. Have you ever considered looking at that fact from outside your own urgent emotional agenda? MoeBlee
Technical Details
Message-ID:
<b35ba30e-a2bf-40b2-b5b5-90a8773f3166@b5g2000pri.googlegroups.com>Path:
arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!news2.google.com!postnews.google.com!b5g2000pri.googlegroups.com!not-for-mailReferences:
<026f9bc3-c984-42e0-b4d0-8a109f4a36b4@k10g2000prm.googlegroups.com> <51aaf6a5-b6f6-49c2-8a4e-edfa4623b17a@i36g2000prf.googlegroups.com> <slrng2ou8a.8c4.cmenzel@philebus.tamu.edu> <167fb5fc-2bec-4a2b-bc61-803d48d9bb48@j33g2000pri.googlegroups.com> <f3c50e25-a16e-4125-b438-36127193a4dd@w1g2000prd.googlegroups.com> <179cef7d-fa73-4c01-a92a-0592a729ea7e@b5g2000pri.googlegroups.com>Show Full Headers
Complete Article Headers
X-Google-Thread: 10cc56,aa4b149b167b8a82 X-Google-Thread: 10ecd1,aa4b149b167b8a82 X-Google-Attributes: gid10cc56,gid10ecd1,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!news2.google.com!postnews.google.com!b5g2000pri.googlegroups.com!not-for-mail From: MoeBlee <jazzmobe@hotmail.com> Newsgroups: sci.logic,fa.analytic-philosophy Subject: Re: Why Some Sentences Lack Truth Values Date: Mon, 19 May 2008 13:16:49 -0700 (PDT) Organization: http://groups.google.com Lines: 31 Message-ID: <b35ba30e-a2bf-40b2-b5b5-90a8773f3166@b5g2000pri.googlegroups.com> References: <026f9bc3-c984-42e0-b4d0-8a109f4a36b4@k10g2000prm.googlegroups.com> <51aaf6a5-b6f6-49c2-8a4e-edfa4623b17a@i36g2000prf.googlegroups.com> <slrng2ou8a.8c4.cmenzel@philebus.tamu.edu> <167fb5fc-2bec-4a2b-bc61-803d48d9bb48@j33g2000pri.googlegroups.com> <f3c50e25-a16e-4125-b438-36127193a4dd@w1g2000prd.googlegroups.com> <179cef7d-fa73-4c01-a92a-0592a729ea7e@b5g2000pri.googlegroups.com> NNTP-Posting-Host: 66.151.55.218 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1211228209 16917 127.0.0.1 (19 May 2008 20:16:49 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Mon, 19 May 2008 20:16:49 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: b5g2000pri.googlegroups.com; posting-host=66.151.55.218; posting-account=EL3hgwoAAABtyRFrR2z7EBO1tnJeMiO7 User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1; .NET CLR 1.1.4322; InfoPath.1),gzip(gfe),gzip(gfe)