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