Date: Jan 29, 2013 5:43 PM
Author: Virgil
Subject: Re: Matheology � 203
In article

<1ccff11f-1015-449d-bd13-84feaae17444@u7g2000yqg.googlegroups.com>,

WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 29 Jan., 11:07, William Hughes <wpihug...@gmail.com> wrote:

> > On Jan 29, 11:04 am, WM <mueck...@rz.fh-augsburg.de> wrote:

> >

> > > On 29 Jan., 10:53, William Hughes <wpihug...@gmail.com> wrote:

> >

> > > > B correct does not mean "C is incorrect"

> >

> > > We know of cases where B is correct and C is incorrect.

> >

> > And we know of cases where B is correct and C is correct.

>

> For example: Every natural number is an integer and all natural

> numbers are integers (in case "all" is a meaningful quantification for

> infinite collections).

> >

> > So knowing B is correct does not mean either

> > "C is correct" or "C is incorrect"

>

> For example: Every natural number exists and all natural numbers do

> not exist.

If all naturals did not exist then no naturals would exist.

--