DV
Вобщем заявлю свою позицию: теория моделей и теория доказательств - это как раз разделы _чистой_ логики с моей точки зрения
Size: a a a
2021 April 28
o⭐
так Вы всё это пишете в ответ мне на мои вопросы. а я про логиков не спрашиваю. я про логику. можете перечитать выше.
DV
То есть это и есть логика "вообще" в математическом смысле
AG
а в чем пафос чистоты? теория моделей в БД например используется
B
Теорию множеств можно убрать
Добавить разработку и исследование конкретных логик не с точки зрения теории моделей и теории доказательств, а с точки зрения их семантики и синтаксиса, не углубляясь в теорию моделей и доказательств соответственно
Добавить алгебру логики (это не теория моделей)
Добавить разработку и исследование конкретных логик не с точки зрения теории моделей и теории доказательств, а с точки зрения их семантики и синтаксиса, не углубляясь в теорию моделей и доказательств соответственно
Добавить алгебру логики (это не теория моделей)
B
Плюс дополнительно входят некоторые вещи
DV
Использоваться может где угодно, но развивается по своим внутренним законам
B
Например, все модели лямбда-исчисления, которые не logic-free (модель — это не теория моделей, конечно, но модели такого рода можно считать тоже частью логики)
AT
Вы тут не один в чате — читают все. Мне вот интересно.
o⭐
ну вот есть какой-нибудь мех-мат или мат-мех, где люди занимаются чем-то чистым. а есть прикладники, которые сидят отдельно. мат-экономики на факультете экономики, мат-фтзики на факультете физики, и вплоть до Computer Science. хотя тут проблема с логикой в том, что факультетов логики нет, хотя сама логика, конечно, есть.
AK
Товарищи, я пытаюсь уследить за беседой и никак не понимаю, как это все относится к компиляторам. Давайте все-таки обсуждение математических дисциплин как таковых, в отрыве от компиляторостроения, вести в специализированных чатах
DF
Философская логика не тянет на ту самую Логику ?
DF
Которой 'нет'
o⭐
как связана Ваша реплика с моей?
DV
А в телеге нельзя "под"-чат открыть ??.
DV
Ну там раздел чата "логика и компиляторы"
AG
можно просто перенести дискуссию в @symboliclogic
B
То, что я назвал МАТлогикой, это не теория доказательств, не теория моделей, не конкретный класс логик, не теория рекурсии и вопросы разрешимости, не алгебра логики и даже не теория множеств, которую я бы вынес за границы логики
o⭐
ладно, уже разобрались, вопрос исчерпан :) прошу прощения за неудобство
DV
Эх, Упустится особый контекст...