Article View: sci.logic
Article #1040Re: Why Some Sentences Lack Truth Values
From: MoeBlee
Date: Tue, 27 May 2008 21:13
Date: Tue, 27 May 2008 21:13
22 lines
2441 bytes
2441 bytes
On May 25, 12:44 am, "R. Srinivasan" <sradh...@in.ibm.com> wrote: > E.g consider the NAFL version of Peano Arithmetic, call this > NPA. What exactly is NPA? For that matter, what exactly is an NAFL theory? > It is true that NPA has infinitely many axioms, which may be > generated by some rule. Here is a proposition about NPA: > > NPA is consistent if and only if its axioms are pairwise consistent > (1) How do you infer that? > Now (1) will go through in NAFL, but not in classical logic. To see > that (1) is true, we only need to know the rules by which the > infinitely many axioms of NPA are generated. What are those rules? MoeBlee
Technical Details
Message-ID:
<6e0af53c-8106-44e1-8ebf-03753c6744b8@p25g2000pri.googlegroups.com>Path:
arc1-ca.pugleaf.net!g2news1.google.com!postnews.google.com!p25g2000pri.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> <b35ba30e-a2bf-40b2-b5b5-90a8773f3166@b5g2000pri.googlegroups.com> <a42e85a9-0663-43d4-bee4-9e5ca622680f@g16g2000pri.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!postnews.google.com!p25g2000pri.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: Tue, 27 May 2008 14:13:25 -0700 (PDT) Organization: http://groups.google.com Lines: 22 Message-ID: <6e0af53c-8106-44e1-8ebf-03753c6744b8@p25g2000pri.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> <b35ba30e-a2bf-40b2-b5b5-90a8773f3166@b5g2000pri.googlegroups.com> <a42e85a9-0663-43d4-bee4-9e5ca622680f@g16g2000pri.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 1211922806 3199 127.0.0.1 (27 May 2008 21:13:26 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 27 May 2008 21:13:26 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: p25g2000pri.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)