Мир, в котором мы живем, подчас кажется нелогичным. Люди говорят странные вещи, а иногда и странно ведут себя — нам приходится делать сложный выбор. Стоит ли доверять другим людям? Сложный процесс понимания истины и бессмыслицы зависит от одного из самых простых и мощных инструментов, когда-либо созданных людьми, — логики! В логике есть красота. Философия, математика, наука и язык — везде нужна логика. Она управляет фундаментальным процессом рассуждения. Именно она заставила нас задуматься "что значит быть человеком?". Может ли сегодняшнее поколение логических вычислительных машин быть умнее нас? Что мы знаем о собственном мозге, и насколько мы "логичны" на самом деле?