Date: Jan 29, 2013 5:46 AM
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
> 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
May I know your opinions about C1, C2, and in particular about C3?