Роль моделей в теории познания. Равиль Галиахметов
независимо от того, являются ли они воображаемыми или реальными.
Легко заметить, что во всех только что описанных случаях под моделью понимают нечто глубоко отличное от теории. Если под теорией в данной связи понимается совокупность утверждений об общих законах данной предметной области, связанная воедино логически так, что из исходных посылок выводятся определенные следствия, то под моделью здесь имеют в виду либо а) конкретный образ изучаемого объекта или объектов (атом, молекула, газ, электрический ток, галактика и т.п.), в котором отображаются реальные или предполагаемые свойства, строение и другие особенности этих объектов, либо б) какой-то другой объект, реально существующий наряду с изучаемым (или воображаемый) и сходный с ним в отношении некоторых определенных свойств или структурных особенностей. Но как бы ни отличались эти два смысла, общим у них является то, что здесь модель означает некоторую конечную систему, некоторый единичный объект независимо от того, существует ли он реально или же является только в воображении. В этом смысле модель не теория, а то, что описывается данной теорией – своеобразный предмет данной теории.
Третьим широко распространенным, главным образом, в логике, употреблением термина «модель» является использование его в смысле формальной или формализованной системы. Правда в логических контекстах употребляется и другое более удачное и целесообразное применение термина «модель» в связи с проблемой содержательной интерпретации формальных систем. Однако наряду с этим очень часто называют моделями формальные системы (логические формализмы) или исчисления. При этом под формальными системами имеют в виду системы, в которых исходные элементы, правила построения из них сложных совокупностей и правила преобразования точно фиксируются и ясно формулируются. Эта формализация, выражающая систему абстрактных элементов и их отношения, реализуется с помощью символизации, состоящей в том, что знаки и выражения естественных языков с присущей им неопределенностью, громоздкостью и многозначностью (полисемией) заменяются системой знаков искусственного языка, имеющих точное значение и удобных для оперирования с ними. Преимущество такого формализованного языка состоит в том, что в отличие от естественного или обычного языка логическая форма в нем совпадает с формой построения самой языковой системы. Примером такого понимания модели является точка зрения Ф. Джорджа, который называет моделью «некоторую определенную систему постулатов (типа евклидовой геометрии на плоскости)», отождествляя ее с исчислением. Уточняя свое понимание, он в качестве примера моделей приводит «синтаксис пропозиционального и другие исчисления, которые можно интерпретировать в суждениях и функциях». Очевидно, что здесь термин «модель» является синонимом формализма или исчисления, в которых выражена абстрактная логическая или математическая структура («скелет») некоторой содержательной теории.
Это