Логика или грамматика?

[serj_aleks]

Задача - найти отличия. Например, на примере концепта причинности. Пример навеян этим постом.

«Причинная связь не является логическим отношением ... », Логика причинности, Парафальцифицирующая логика, Многообразие логик (ПОРТАЛ В ЛОГИКУ), К вопросу о реформе логики, Теория категорий и универсальный язык, ГРАММАТИКА (СЕМИОТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И

Comments

[deep_econom]

мне рассудительность bluxer нравится, но этот его пост плохой и неправильный, хотя он правильно отдельные 1-2 аспекта случайности затрагивает

[serj_aleks]

можно ли алгоритмически организовать непредсказуемость для второго компа/игрока, если он знает полную информацию об алгоритме и исходных данных первого компа/игрока?
https://deep-econom.livejournal.com/440352.html
можно ли алгоритмически превратить детерминированный автомат в недетерминированный?
https://deep-econom.livejournal.com/441178.html

[serj_aleks]

Эпистемическая управляемость теории

Логика - это аппарат синтаксического уровня. Синтаксическая управляемость - это сводимость высказываний теории к некоторому синтаксису, группе знаков и операций над ними. В общем случае и в практике не весь корпус высказываний в каком-то дискурсе может быть приведён к какому-то синтаксису. Наличие огромного количества логик как раз ярко об этом свидетельствует. Логическая или синтаксическая непротиворечивость некоторой группы синтаксически корректных формул - это когда из неё не могут быть корректно выведены несовместные в рамках опорной логики иные формулы. Сам факт наличия требования непротиворечивости - не является логическим, он вне логики. Это параметр практики логического вычисления, встроенной в иную практику, и его я и определяю, как «эпистемический». Такая развитая дисциплина, как «металогика», занимается анализом логических/формальных систем, а не их вычислительным использованием, но опирается на те же параметры, поэтому эти параметры нельзя отнести даже к «металогическим».Reply