Финиковый накатайка

Почему базисным элементом логики служит неструктурная переменная, принимающая значение имени? Из этого не атомарного разложения возможно и рождается проблема тождества неотличимых и резкая дифференциация на семантический и структурный подходы к построению модели / системы.

С другой же стороны, оперирования классами объектов как раз и даёт возможность претендовать на полноту описания.
Логика возможно потому и является аппаратом для построения единой системы для оперирования именами и классами имён из-за их (имён) отвлечённости / не принадлежности к структуре.

А как же проблема точности приближения? Это ведь именно то, чем мы жертвуем, претендуя на полноту.

И опять же, такой способ задания базовых элементов позволяет нам избавится от многообразия, рождаемого структурой как неразложимым обозначением, ведь в ином случае даже не встаёт проблемы вычислимости, система будет чрезмерно нагружена.

Но можно ли идти от обратного, от разложения классов и правил их построения к разложению имён?
Этим занимается лингвистика, но чрезмерная грамматизация её ведущих подходов делает её слишком специфицированной, отсюда и отсутствие возможности экстраполяции результатов полученных на одной модели, а также невозможность совершить шаг индукции.

#нЛВ

www.group-telegram.com/sg/logic_sip.com/100

139 viewsedited  Oct 28, 2023 at 07:10

Почему базисным элементом логики служит неструктурная переменная, принимающая значение имени? Из этого не атомарного разложения возможно и рождается проблема тождества неотличимых и резкая дифференциация на семантический и структурный подходы к построению модели / системы.

С другой же стороны, оперирования классами объектов как раз и даёт возможность претендовать на полноту описания.
Логика возможно потому и является аппаратом для построения единой системы для оперирования именами и классами имён из-за их (имён) отвлечённости / не принадлежности к структуре.

А как же проблема точности приближения? Это ведь именно то, чем мы жертвуем, претендуя на полноту.

И опять же, такой способ задания базовых элементов позволяет нам избавится от многообразия, рождаемого структурой как неразложимым обозначением, ведь в ином случае даже не встаёт проблемы вычислимости, система будет чрезмерно нагружена.

Но можно ли идти от обратного, от разложения классов и правил их построения к разложению имён?
Этим занимается лингвистика, но чрезмерная грамматизация её ведущих подходов делает её слишком специфицированной, отсюда и отсутствие возможности экстраполяции результатов полученных на одной модели, а также невозможность совершить шаг индукции.

#нЛВ

BY Финиковый накатайка