Re: Fitch's paradox and OWA
Date: Wed, 30 Dec 2009 19:30:22 -0800 (PST)
Message-ID: <e3cb76b6-8d77-4a92-bd71-7cd6e163d061_at_k17g2000yqh.googlegroups.com>
On Dec 30, 6:22 pm, Nam Nguyen <namducngu..._at_shaw.ca> wrote:
>
> One of the shortcomings of modern mathematical logic is that it assumes
> every single formula written in the language of arithmetic "must be"
> arithmetically either true or false.
If it's actually the case (that every statement of basic arithmetic is either true or false) then it's not a shortcoming to say so. On the contrary, that would be a virtue.
Do you have any reason to believe that there exist statements of arithmetic that *don't* fall in to one of those two categories? Note that not being able to know which one it is is not the same thing as it actually being something other than true or false.
(I'm guessing you actually disagree with that last sentence, though.)
Marshall Received on Thu Dec 31 2009 - 04:30:22 CET