Schlagwort: Logik

Gettingusedtoitity.

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?

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

Turn it up.

This is like turning down the volume on your radio so as not to hear the bad news. You will not hear much good news either.

This is like censoring the news: you hear things loud and clear, but they may not be so interesting.

Johan van Benthem: What one may come to know

Counterfactual snackbars.

Concluding this, the theory states that both the counterfactual statements ``If A had not been open, we would not have seen the man with the hamburger'' and ``If A had not been open, B would have been open'' should not be accepted.

If after working this out I still have any such thing as intuitions or opinions about these counterfactuals, then I very much agree with this result: When constructing a possible world in which A had not been open, to keep our thoughts consistent, we do not necessarily need to remove the hamburger-man and we do not necessarily need to open the other snackbar.

All we need to do, is do at least one of these things.

Enlightening Inequalities.

Truth is not Validity.

Security is not Secrecy.

Knowledge is not justified true belief.