🐱: Существуют чистые системы типов (pure type systems, PTS), которые можно увидеть, в частности, в так называемом лямбда-кубе (lambda cube). От обычных теорий типов отличаются...
+ вот что ещё. Логические константы, как указано в https://plato.stanford.edu/entries/logical-constants/, полагаются нейтральными к тому или иному предмету (topic neutral). ...
Вот Куайн пишет о классической логике предикатов второго порядка как о теории множеств в овечьей шкуре. Интересно, а кто-то писал обратное с отсылкой к этой характеристике Куа...
Вот такой вопрос есть: Если считать порядок объектов, представленный некоторым числом, то это называется ординальное число. Для конечных случаев это натуральное число, т.е. ...
Интуиционистская логика вот имеет, например, семантику Крипке. Есть семантика Бета. В целом очень понятные там семантики, стандартные. Релевантные логики (очень похожи на лин...
Тип-произведение и тип-сумма могут быть бесконечной длины? В смысле того, что произведение и сумма производится по актуально бесконечному числу термов
А кроме Теннанта кто-нибудь занимался интуиционистской релевантной логикой?
Но в целом: что говорили они о самом Зиновьеве?
А что вы выясняете-то, когда предикатные логики со свободными переменными и кванторами как способами их привязки стали появляться? Пеано, Фреге и Пирс это независимо вводили. ...
Итак. Если универсальный квантор в нестандартной интерпретации раскладывается на возможно бесконечную конъюнкцию, а это возможно бесконечная формула, то будет ли верно, что ...
Короче, не суть. Саша говорит, что в теориях типов строго конечный язык. Я в это верю, иначе как мы будем использовать это в компьютерных науках? Ну, может, и можем где-то. Н...
В каком смысле вычислима pi?
А что насчёт линейной? p par q истинна тогда и только тогда, когда?
Кроме того, в логике есть XOR, а в материальных множествах — symmetric difference. Теоркат хуже, что ли?
А самый первый из людей по теме интенсиональной конъюнкции оказался, Орлов (?). @massimonova поправит, если что
@amaka_hahina привет. А что Вы думаете об игровых семантиках логики? В последнее время часто наталкиваюсь на статьи о них в контексте параллельных (concurrent) языков.
Кто-нибудь знает про теоретико-модельную семантику линейных логик, где значение логических констант (например, связок), а также экспоненциалов (не все считают, что это genuine...
Существует ли мера (в смысле теории меры), которая позволяет различать множества разного объëма, которая бы работала как на конечных множествах, так на бесконечных счëтных?
Я спросил ещё нейронку, и она сказала, что можно ещё использовать ультрафильтры. Я не разбираюсь в тематике, @boringnickname2 разбирается. Типа можно ли посредством ультрафиль...
Что из этого выходит, по Куайну? Что логика второго порядка онтологически не нейтральна сама по себе: она утверждает, без какой-либо теории поверх неё, что существуют значения...