Не совсем программерское, но около

В оценке возможных запросов к какой-либо напрограммированности иногда можно услышать: "Ни фига себе! Это что, ОНО поддерживает логику второго порядка?!". Пара слов о логиках всяких порядков, для не-математиков. ( Слегка упрощенно, в надежде, что кто-то не уснёт. )