Re: Fitch's paradox and OWA

From: Daryl McCullough <>
Date: 2 Jan 2010 13:57:40 -0800
Message-ID: <>

In article <>, vldm10 says...
>On Jan 2, 4:14=A0pm, (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 - 22:57:40 CET

Original text of this message