Schlagwort: Logik

Confirmation is mere consistency.

  • 2012-12-22

I see no problem in saying that a white chair is confirming the rule that all swans are black.

Blackburn et al.

  • 2012-12-09

And there it is, a modal equivalent of the Lersch Dilemma.

Power Bisimulation.

  • 2012-12-07

The important property of a game is not how many decisions the different players can make during it, but rather which outcomes they can enforce.

Gettingusedtoitity.

  • 2012-12-06

Dear society of spellcheck programs on my devices,

please accept that

  • indistinguishability
  • precisification
  • pseudorandomness

are totally real words and allow me to use them.

Thank you.

What's wrong with some basic temporal logic?

  • 2012-12-02

I don't want to talk about time travel because if we start talking about it then we're going to be here all day talking about it, making diagrams with straws.

Old Joe