Предикаты

Мне не нравится как интерпретируется “логика предикаций” (высказываний, первого порядка …), считаю, что как теория она не до концептуализирована, собственно, сам ее предмет - не определен как информационная структура и, как правило, все сводится, фактически, до булевой алгебры и термин “предикат“ трактуется не как композиция терминов, а как функция, отображающая, не то определения, не то силлогизмы, а не то и “саму себя“ непонятно во что, то ли представление как флаг, то ли в бит, то ли “буль” … При этом, булева алгебра, где акцентируется две операции - союзы “и” и “или”, с помощью которых можно работать с композициями высказываний для их валидации, тестирование на “смысл“ или “потерю семантики“, типа расширяется другими операциями … отрицания, кванторами существования и всеобщности, но по сути добавляя “синтаксический сахар“ и усложняя тавтологические цепочки …

Вот и в системе PicoLisp выделена целая группа функций или символов для их обозначения, обозначенные как предикаты, где, собсственно, кроме предикатов, в традиционном узком смысле, включены контексты, выражающие (символизирующие или обозначающие) компарации, “геттеры” … и просто тесты … тем не менее - atom pair circ? lst? num? sym? flg? sp? pat? fun? box? str? ext? bool not \== n== \= <> \=0 \=1 \=T n0 nT < <= > >= match full

https://picolisp.tiddlyhost.com/#Predicates

https://serj-aleks.hashnode.dev/bool

https://serj-aleks.hashnode.dev/or-and

https://serj-aleks.hashnode.dev/not-i-not1

https://serj-aleks.hashnode.dev/select