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