Apr. 27th, 2016

FOL

Apr. 27th, 2016 10:26 pm
juan_gandhi: (VP)
Когда преподаешь логику первого порядка, то тебе там в учебнике написано, что truth tables применить не всегда представляется возможным, потому что не все комбинации значений предикатов допустимы по жизни. Ну в смысле, p1(x)=x>1 и p2(x)=x>2, то все комбинации не перебрать.

Ага. Потому что у нас вообще-то универсум - не прямоугольник. В смысле, не декартово произведение компонент. А что-нибудь похитрее. С зависимостями. Так что вообще-то описывается или категорией, или топологией Гротендика (пофиг, что так, что так). А декартово произведение состояний получается, если мы имеем дискретную категорию. Поэтому в FOL старательно скрывают вложение дискретной в категорию общего вида, и делают такое лицо, будто у нас тут сплошь булева логика. Причем, не двузначная, потому что же если есть несколько propositions, даже если каждое имеет два значения, то комбинаций-то уже 2^n, можно же это признать.

Ну и вот. Как люди умеют скрывать произвольную интуиционистскую логику за рассуждением о компонентах, это рехнуться можно. Ведь все ж тривиально же ж.

Я потом подробности напишу, но принцип-то понятен, так? И даже тривиален. Ну берем любую теорию, берем модельный топос... 21-й век же ж.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 2345 6
78 9 10 111213
14 151617 181920
212223 24252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 27th, 2025 04:17 pm
Powered by Dreamwidth Studios