Re: Fitch's paradox and OWA

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