Re: Fitch's paradox and OWA
Date: Thu, 17 Dec 2009 06:51:36 -0800 (PST)
Message-ID: <2808c56d-9e50-4467-b3be-f6c909ff5cc7_at_l13g2000yqb.googlegroups.com>
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