Я знаю, что ничего не знаю

«Я знаю, что ничего не знаю» The negative introspection axiom ◇p⊃□◇p

Слева изображён бюст Сократа с фразой «Я знаю, что ничего не знаю», а справа — человек с подписью «The negative introspection axiom» и формулой модальной логики. Шутка сопоставляет философское признание незнания с формальным логическим утверждением о незнании и используется как абсурдная реакция на чрезмерно сложные рассуждения. EN: On the left is a bust of Socrates with the phrase “I know that I know nothing,” while on the right is a man captioned “The negative introspection axiom” with a modal logic formula. The joke contrasts a philosophical admission of ignorance with a formal logical statement about not knowing, making it useful as an absurd reaction to overly complicated reasoning.

• @profunctor_io / 2161 2019-05-06