Re: Fitch's paradox and OWA
Date: Thu, 17 Dec 2009 10:55:08 -0800 (PST)
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