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

August 2025

S M T W T F S
      12
3456789
10 11 12 13141516
171819 20212223
2425 26272829 30
31      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 2nd, 2025 07:15 am
Powered by Dreamwidth Studios