Lambdia

Modal logic

3 artículos

The Announcement That Told Nobody Anything

A stranger says out loud what every islander can already see, and ten days later ten people leave. The fact was mutual knowledge all along; what the announcement supplied was the nine levels of nested knowledge above it. An explicit count over 4096 possible worlds settles the induction without trusting it.

0

Blue, and the Two Sentences That Contain No Answer

Of the eight colour triples, seven are feasible from a pool of three blue hats and two red. The first silence removes one, the second removes two more, and all four survivors put a blue hat on the third man, which is what makes his answer a deduction rather than a lucky call. A pool sweep shows three blue and two red is the only small pool where the story can happen.

0