Описательная наука. Видел такое про лямбда-исчисление. Там только функции и особых выделенных значений для истины и лжи нет, никаких там true или 1. Делали истина это f(x)=x, а ложь f(x)=f, и вот такими выражениями пользовались.
10 удивительных вещей, на которые способен наш мозг
http://www.kabanik.ru/page/10-amazing-things-the-brain