Antecedent to writing something about the Ottawa Semantics Conference, I wanted to get some opinions about a case that became relevant.

I have three coins, A, B and C in front of me. They are each fair, unbiased, coins. I am thinking about flipping some of them. Before I do, I utter each of the following sentences.

(1) No coin will land heads if I flip it.
(2) Coin A will land heads if I flip it.
(3) Coin B will land heads if I flip it.
(4) Coin C will land heads if I flip it.

I decide to flip all three coins, and A lands heads, while B and C land tails. I then look back on my four utterances. I quickly decide that (3) and (4) were not true, since if they were true by modus ponens I’d conclude B and C landed heads. But what about (1) and (2)? Some people have hazy intuitions here, so I thought I’d ask the experts, i.e. my readers. And thanks to blogpoll, I can.