Brenoritvrezorkre

Интересно, как можно определить ограничения на количество истинностных значений той или иной логики. Дело в том, что валентность определяется семантикой. И оказывается, что у ...

Оно всюду плотно или нет?

Континуальное множество является несчётным и всюду плотным. А какое третье условие? Я помню, что их три. Если же говорить о всюду плотных множествах просто, то континуальное м...

Если мы не можем эксплицитно указать все (различные) T-функции, то каким образом мы вообще можем создать таблицы в обычном их значении?

🐱: Существуют чистые системы типов (pure type systems, PTS), которые можно увидеть, в частности, в так называемом лямбда-кубе (lambda cube). От обычных теорий типов отличаются...

+ вот что ещё. Логические константы, как указано в https://plato.stanford.edu/entries/logical-constants/, полагаются нейтральными к тому или иному предмету (topic neutral). ...

Вот Куайн пишет о классической логике предикатов второго порядка как о теории множеств в овечьей шкуре. Интересно, а кто-то писал обратное с отсылкой к этой характеристике Куа...

Вот такой вопрос есть: Если считать порядок объектов, представленный некоторым числом, то это называется ординальное число. Для конечных случаев это натуральное число, т.е. ...

Интуиционистская логика вот имеет, например, семантику Крипке. Есть семантика Бета. В целом очень понятные там семантики, стандартные. Релевантные логики (очень похожи на лин...

Тип-произведение и тип-сумма могут быть бесконечной длины? В смысле того, что произведение и сумма производится по актуально бесконечному числу термов

А кроме Теннанта кто-нибудь занимался интуиционистской релевантной логикой?

Но в целом: что говорили они о самом Зиновьеве?

А что вы выясняете-то, когда предикатные логики со свободными переменными и кванторами как способами их привязки стали появляться? Пеано, Фреге и Пирс это независимо вводили. ...

Итак. Если универсальный квантор в нестандартной интерпретации раскладывается на возможно бесконечную конъюнкцию, а это возможно бесконечная формула, то будет ли верно, что ...

Короче, не суть. Саша говорит, что в теориях типов строго конечный язык. Я в это верю, иначе как мы будем использовать это в компьютерных науках? Ну, может, и можем где-то. Н...

В каком смысле вычислима pi?

Кроме того, в логике есть XOR, а в материальных множествах — symmetric difference. Теоркат хуже, что ли?

А что насчёт линейной? p par q истинна тогда и только тогда, когда?

А самый первый из людей по теме интенсиональной конъюнкции оказался, Орлов (?). @massimonova поправит, если что