(Latest entries) (Calendar) (Friends) (User info)Navigate: (Previous day | Next day)
Kripke reputedly invoked the law of the excluded middle in a lecture. Someone in the audience suggested dropping it, and Kripke responded, "Ok, and let's keep it too."