Date: Jan 29, 2013 5:46 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 203
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.

May I know your opinions about C1, C2, and in particular about C3?

Regards, WM