B
Да, он по этому в том числе, но он МАТлогик
Size: a a a
2021 April 28
B
Он пишет статьи по математическим аспектам разных модальных логик, ещё вот у него связь с теорией ЯП, например, было по ламбек-исчислению какая-то статья, точно не помню название
B
Мне интересно в логиках несколько иное
B
И по математическим аспектам, как у него, я нисколько не силён, да и честно скажу: не только неверно, что это мне интересно, но и верно, что мне это неинтересно.
B
Логики он рассматривает в том числе интересные
o⭐
Однако, в заголовке своего чата Вы упортебили именно "МАТ", видимо для маскировки и дезориентации?
B
Это немного разные вещи, могу объяснить
o⭐
внемлю
B
Символьная / формальная (в фрегеанском и далее смысле) — это всегда логика, выраженная математически
B
Также многие логики интересны для разной общезначимой математики, не только классическая с интуиционистской
B
И мне это тоже вполне интересно
o⭐
ну это вообще всей логики касается, наверное. а специфика чата?..
B
math я выделил потому, что чат по философской логике у меня уже был, а компьютерные логики обсуждаются скорее в уже существующих чатах вашей тусовки
DF
А чат по философской логике доступен ?
B
Но теперь расскажу об отличии
B
Как вдруг выходит, что мне интересна логика в том числе для математики, но не интересна МАТлогика
B
Для этого нужно прояснить то, что я назвал МАТлогикой, кроме того, что этим в том числе занимается Рогозин
B
Логика как область разделяется разными группами сообществ
B
Разделяется в смысле overlapping
B
Не существует просто логиков