b
multiple iota = несколько йот
Size: a a a
2020 July 08
b
А как с помощью иоты различать вещи между собой?
опеределяя йоту в разных “местах”
b
по сути
Х := iota создает “возможность” чем-то заполнить пустоту в месте Хb
типа по умолчанию диалект и любой его дискурс — полностью порожний
🎄T
по сути
Х := iota создает “возможность” чем-то заполнить пустоту в месте ХТ.е. вместо iota там может быть любой терм?
b
диалект это сокращение от слова “диалектика”
b
диалект в логосе это формальное описание конечной знаково–пропозициональной диалектики
b
Т.е. вместо iota там может быть любой терм?
в смысле?
b
смотря что ты хочешь сказать
b
слева идет выражение, которое ты хочешь определить, а справа — его определение
🎄T
в смысле?
Ну типа в X может быть как булеан иота, так и что то другое или что значит “возможность” заполнить
b
это может быть знак, это может быть пропозиция
b
справа может быть еще помимо всего прочего текст
b
Ну типа в X может быть как булеан иота, так и что то другое или что значит “возможность” заполнить
ну да ты можешь дать знаку какое угодно определение, я думал это очевидно?
🎄T
ну да ты можешь дать знаку какое угодно определение, я думал это очевидно?
Я про то, что после определения Х как иота. Ты его можешь переопределить
b
Я про то, что после определения Х как иота. Ты его можешь переопределить
не можешь
b
в логосе нельзя ничего переопределять, это бы вносило очень много путаницы
b
потому что знак значил бы в разных частях текста разные вещи
b
когда ты называешь разные вещи одними именами, это создает противоречия
🎄T
не можешь
А в чем смысл иоты? Можешь пример какой-нибудь программы на логосе привести?