Re: Fitch's paradox and OWA

From: Nilone <reaanb_at_gmail.com>
Date: Thu, 17 Dec 2009 10:55:08 -0800 (PST)
Message-ID: <7af1bd53-6344-476b-8e5b-4c51c0dc844c_at_g7g2000yqa.googlegroups.com>


On Dec 17, 4:51 pm, Jan Hidders <hidd..._at_gmail.com> wrote:
> On 17 dec, 03:56, Nilone <rea..._at_gmail.com> wrote:
>
> > On Dec 16, 11:09 pm, Jan Hidders <hidd..._at_gmail.com> wrote:
>
> > > On 16 dec, 12:07, Nilone <rea..._at_gmail.com> wrote:
>
> > > > Does Fitch's paradox prove an inherent contradiction in the open-world
> > > > assumption?
>
> > > Only if you assume that the database contains everything that is
> > > known. It rarely does. :-)
>
> > > Besides, do you really believe that everything that is true can be
> > > known? ;-)
>
> > "All truths are known" is only problematic if you assume that truth
> > exists independent of cognition.
>
> Which in my world view it is. It's positively weird to say that
> Fermat's last theorem was not true until a proof was found. If you
> want to do so, be my guest, but I'd argue you would be using another
> definition of truth than I am.
>
> -- Jan Hidders

Good point. I'm not sure that's what I want to say, either. I'll give it some more thought. Received on Thu Dec 17 2009 - 19:55:08 CET

Original text of this message