В первой части перевода на Хабре разбирается классическая шутка: три логика заходят в «Бар логики». Официант спрашивает, хотят ли они все пива. Первый логик отвечает «не знаю», второй — «не знаю», третий — «да». Смысл шутки связан с эпистемической логикой — логикой знания: каждый ответ отражает, что участник знает о намерениях остальных. Автор перевода объясняет шутку, хотя, как он отмечает, объяснять шутки редко бывает смешно.
Материал входит в серию о проблеме общего знания — теме, которая затрагивает не только формальную логику, но и рассуждения о том, что группа может знать совместно. Официант спросил о коллективном намерении, и ответы логиков следуют из правил эпистемической логики, а не из случайности.
Если вам интересны логика, теория игр или формальные методы в ИТ, первая часть перевода даёт наглядный вход перед более строгим материалом. Следите за продолжением серии «Проблема общего знания» на Хабре.