Re: Fitch's paradox and OWA

From: Daryl McCullough <stevendaryl3016_at_yahoo.com>
Date: 2 Jan 2010 13:57:40 -0800
Message-ID: <hhofgk010vk_at_drn.newsguy.com>



In article <46afa0f9-e70d-4d21-bf67-7f49cd16bf32_at_21g2000yqj.googlegroups.com>, vldm10 says...
>
>On Jan 2, 4:14=A0pm, stevendaryl3..._at_yahoo.com (Daryl McCullough) wrote:
>
>> W = the type of possible worlds
>> A = the type of atomic propositions
>> P = the type of all propositions
>
>
>I am not sure that propositions are types???
>Let me give you the following example:
>
>This sentence is false.

In the higher-order type theories that I know of, the liar is not expressible (which is good, since it would lead to a contradiction).

--
Daryl McCullough
Ithaca, NY
Received on Sat Jan 02 2010 - 15:57:40 CST

Original text of this message