Apr. 27th, 2016
Когда преподаешь логику первого порядка, то тебе там в учебнике написано, что truth tables применить не всегда представляется возможным, потому что не все комбинации значений предикатов допустимы по жизни. Ну в смысле, p1(x)=x>1 и p2(x)=x>2, то все комбинации не перебрать.
Ага. Потому что у нас вообще-то универсум - не прямоугольник. В смысле, не декартово произведение компонент. А что-нибудь похитрее. С зависимостями. Так что вообще-то описывается или категорией, или топологией Гротендика (пофиг, что так, что так). А декартово произведение состояний получается, если мы имеем дискретную категорию. Поэтому в FOL старательно скрывают вложение дискретной в категорию общего вида, и делают такое лицо, будто у нас тут сплошь булева логика. Причем, не двузначная, потому что же если есть несколько propositions, даже если каждое имеет два значения, то комбинаций-то уже 2^n, можно же это признать.
Ну и вот. Как люди умеют скрывать произвольную интуиционистскую логику за рассуждением о компонентах, это рехнуться можно. Ведь все ж тривиально же ж.
Я потом подробности напишу, но принцип-то понятен, так? И даже тривиален. Ну берем любую теорию, берем модельный топос... 21-й век же ж.
Ага. Потому что у нас вообще-то универсум - не прямоугольник. В смысле, не декартово произведение компонент. А что-нибудь похитрее. С зависимостями. Так что вообще-то описывается или категорией, или топологией Гротендика (пофиг, что так, что так). А декартово произведение состояний получается, если мы имеем дискретную категорию. Поэтому в FOL старательно скрывают вложение дискретной в категорию общего вида, и делают такое лицо, будто у нас тут сплошь булева логика. Причем, не двузначная, потому что же если есть несколько propositions, даже если каждое имеет два значения, то комбинаций-то уже 2^n, можно же это признать.
Ну и вот. Как люди умеют скрывать произвольную интуиционистскую логику за рассуждением о компонентах, это рехнуться можно. Ведь все ж тривиально же ж.
Я потом подробности напишу, но принцип-то понятен, так? И даже тривиален. Ну берем любую теорию, берем модельный топос... 21-й век же ж.