"В.Н.Щеглов. Интерпретация некоторых основных терминов философии " - читать интересную книгу автора

позволяющую по предложениям языка выяснить, задает ли это предложение
истинное или ложное высказывание. Вычисление контекста модели, ее
интерпретация вместе с контекстом, выявление смысла новых выводов при их
сопоставлении с уже известными сходными теориями. Выявление мажоранты для
новых выводов (т. е. более общей теории).
Принцип сохранности информации, идея ее "бессмертия": согласно моделям
Бета-Крипке найденная информация со временем не теряется, а может лишь
приобретаться. Если истинность некоторого суждения обнаружена, тот этот
суждение остается истинным и в будущем. В терминах заданной семантики
принимается принцип потенциальной осуществимости: субъект отвлекается от
ограниченности своих ресурсов в пространстве и времени.
Семантические соглашения заключаются также и в особом, интуиционистском
понимании используемых логических связок "и", "или", "если, то", "нет".
Здесь из доказательства истинности суждения всегда можно указать способ
построения объектов, существование которых утверждается в этом суждении.
Так, например, после вычисления суждения, всегда можно указать заранее
существующие ситуации (строки исходного массива данных), которым
соответствует это суждение.
4. 1. Необходимость и свобода: вычисленные модели отображаются в виде
набора формул (импликаций), которые истинны ("необходимы") во всяком случае
относительно исходного массива данных. При использовании старой модели на
новом массиве данных (режим распознавания образов) часть старых формул может
оказаться ложной. Эволюция объекта во времени. Отсутствие учета неизвестных,
"скрытых" переменных. В принципе, при использовании всего громадного списка
переменных, который отображает исследуемый процесс, при наличии следящего
режима запоминания исходных данных, при большом быстродействии компьютера
кажется, что вычисляемая модель всегда должна детерминированно (совершенно
точно) отображать этот процесс.
Однако, даже в этих благоприятных условиях модель всегда оказывается
неполной обычно из-за недостатка времени , требуемого для всех вычислений.
На этот же факт с несколько иных позиций указывает и теорема Гёделя:
используя старый язык мы можем получать формулы, истинность или ложность
которых недоказуема в рамках этого языка. Необходимость постоянного
совершенствования (и усложнения) языка исследования. Возникновение понятия
свободы функционирования сложного объекта (или субъекта).
5. Аксиология (учение о ценностях): задание целевой функции по
отношению к исходному упорядоченному во времени массиву данных, т. е. к
набору состояний исследуемого объекта.
5. 1. Ценности: при практическом использовании вычисленных выводов К мы
обычно придаем большее значение тем из них, которые более устойчивы во
времени, т. е. чаще встречаются в наборе исходных состояний исследуемого
объекта. Общее число таких состояний обозначаем как оценку Г для
определенной К. Следует однако заметить, что чем сложнее объект и чем более
он "случаен", эти оценки становятся меньше и, наконец, при исследовании
"идеального" генератора случая приближаются к единице (каждому состоянию
соответствует свой вывод). В практике исследований надо иметь ввиду, что
сложные объекты часто бывают нестабильны, и при удачной интерпретации
выводы, имеющие даже малые оценки, иногда могут быть тем "жемчужным зерном",
которое ищет исследователь. Более того, обычно в начале исследования большие
оценки имеют уже известные, тривиальные выводы.