B
Тут не интересно, поскольку это просто расширение модельной
Size: a a a
2019 November 26
B
В этой семантике мы используем минимальные элементы топологии просто, если очень коротко (если мне не изменяет память)
B
А вот здесь этому отведено много времени. Это топологическая семантика, которая, правда, в этом случае ещё базируется на модельной.
B
Это просто введение. Этим вещам уделяется обычно отдельное время в каких-нибудь отдельных главах или книгах.
B
Если я правильно понимаю, топологическая семантика является идеальной для построения так называемых геометрических логик, и отношения выполнения, которые тут остаются, здесь тоже можно заменить на что-то в топологических терминах.
B
Увы, в этой книжке нет введения по категорным семантикам, но вы и так прекрасно знаете, как это выглядит.
NI
Brenoritvrezorkre
Если я правильно понимаю, топологическая семантика является идеальной для построения так называемых геометрических логик, и отношения выполнения, которые тут остаются, здесь тоже можно заменить на что-то в топологических терминах.
Геометрические логики довольно простые, их почти куда угодно можно воткнуть.
Можно и реляционную семантику для них.
Впрочем, реляционной описываются даже и линейные логики.
Можно и реляционную семантику для них.
Впрочем, реляционной описываются даже и линейные логики.
B
Для геометрических логик очевидно, что наиболее интуитивной для них семантикой будет геометрическая
B
А единственная известная мне вот именно геометрическая, во всей своей полноте, семантика (точнее, направление в семантике) — это топологическая.
NI
Brenoritvrezorkre
Для геометрических логик очевидно, что наиболее интуитивной для них семантикой будет геометрическая
Мне не очевидно...
B
Что это единственная известная мне?
NI
Да и топология, это совсем не геометрия...
B
Ну, субфилд
B
Ну ладно, либо категорная, либо топологическая.
B
Просто я говорю, чтобы передать именно геометрический смысл геометрической логике (которая появилась всё-таки немного не оттуда), лучше брать семантику, которая является геометрической, а категорная семантика ей не является.
B
Впрочем, это, конечно, уже метасемантические вопросы интерпретации семантик, но всё-таки что в первую очередь приходит в голову, когда ты занимаешься топологической семантикой? Топология. Что приходит в голову, когда занимаешься топологией?
NI
Brenoritvrezorkre
Впрочем, это, конечно, уже метасемантические вопросы интерпретации семантик, но всё-таки что в первую очередь приходит в голову, когда ты занимаешься топологической семантикой? Топология. Что приходит в голову, когда занимаешься топологией?
Топология бывает оочень разной ;-)
Какая топология имеется в виду?
Какая топология имеется в виду?
B
Ну, зависит от того, что мы надобавляли в свою топологическую семантику
CE
Brenoritvrezorkre
Просто я говорю, чтобы передать именно геометрический смысл геометрической логике (которая появилась всё-таки немного не оттуда), лучше брать семантику, которая является геометрической, а категорная семантика ей не является.
А если категория геометрическая?
B
Речь про семантику, т.е. как набор каких-то там объектных значений (индивидов) соотносится с формулами и прочими выражениями при их использовании.