Новая философская энциклопедия. Том второй Е—М

КМТберет начало от работ Лёвенгейма (1915) и Скулема (1920), установивших существование моделей любой бесконечной мощности для любой непротиворечивой теории, имеющей бесконечную модель. Этот результат вначале рассматривался как парадоксальный, потому что из него следовало существование счетных моделей несчетных множеств, а мощность множества в те времена содержательно интерпретировали как число элементов, по аналогии с конечными множествами, а не как сложность его задания, как сейчас делается по аналогии с теорией алгоритмов. Фундаментальным результатом КМТ явилась теорема Геделя о полноте классической логики предикатов (первого порядка), из которой следует существование моделей у любых (основанных на этой логике) непротиворечивых теорий. В 70-е гг. выяснилось, что теорема Геделя о полноте эквивалентна аксиоме выбора множеств теории. Если задана некоторая сигнатура (перечисление констант, функциональных символов и предикатов вместе с числом аргументов у них), то (классической) интерпретацией данной сигнатуры является непустое множество объектов — универсум интерпретации, и функция вычисления значения C, сопоставляющая каждой константе — элемент универсума, n-местной функции/—функционал W—> ^л-местному предикату Р— функционал W —»{0,1}. В интерпретации естественно определяется понятие значения любого терма и любой формулы теории (точное определение истинности формулы в интерпретации было впервые дано А. Тарским). Интерпретация называется моделью теории, если в ней истинны все аксиомы теории. Еще одной формулировкой теоремы полноты Геделя является совпадение множества теорем с множеством формул, истинных в любой модели теории. По теореме Мальцева о компактности, теория имеет модель тогда, и только тогда, когда любое конечное число ее аксиом имеет модель. Эта теорема послужила основой для построения нестандартных моделей традиционных математических объектов, таких, как действительные и натуральные числа. В самом деле, взяв в качестве теории все истинные на стандартной модели формулы и добавив новое число ю и бесконечную совокупность аксиом ю > 0, со > 1, © > п, мы получаем, что любая конечная совокупность новых аксиом удовлетворяется на стандартной модели. Значит, есть и модель, где они все выполнены. Она сохраняет все выразимые на языке логики предикатов свойства стандартной модели, но пополнена новыми элементами. Позитивно использовал существование нестандартных моделей А. Робинсон (1960). Он показал, что в нестандартной модели анализа можно на строгой основе возродить методы математиков 17—18 вв., использовавших бесконечно малые и бесконечно большие величины. Основополагающим явился здесь результат, что любое конечное нестандартное число однозначно разлагается в сумму стандартного и бесконечно малого. Далее, сохранение всех выразимых свойств используется для установления принципов переноса, которые позволяют отбрасывать бесконечно малые либо доказывать общее утверждение о стандартных числах на основе рассмотрения одной бесконечно малой либо бесконечно большой величины. Но здесь приходится строго разделять формулы стандартного языка и формулы метаязыка, говорящего о нестандартной модели. В частности, утверждения, явно включающие предикат «быть (не)стандартным», уже могут нарушать все свойства стандартной модели. Дальнейшее развитие нестандартного анализа привело к теории полумножеств Г. Хаека и к альтернативной теории множеств С. Вопенки, где конечные нестандартные совокупности могут включать бесконечные подклассы. Современная КМТ развивается во многих направлениях, большинство из которых в данный момент имеют дело со сложнейшими идеальными математическими понятиями (абстрактными объектами) без выхода на общенаучные либо методологические результаты. Правда, приятным исключением является совокупность теорем, характеризующих теории частного вида через их модели. V -теория — это теория, все аксиомы которой имеют вид \/хА(х), где х — совокупность переменных, и А не содержит кванторов. Теорема Лося. Теория представима как V -теория тогда, и только тогда, когда каждая подсистема ее модели также является ее моделью. Эта теорема при внешней простоте формулировки требует использования абстрактных и сложных конструкций КМТ Таковы же и другие теоремы характеризации. В частности, совокупность систем называется многообразием, если она является множеством моделей теории с аксиомами вида \/xP(t(x) , где Р—предикат. Многообразия — это V -теории, модели которых сохраняются при гомоморфизмах. Теоремы характеризации используются в современной информатике для описания абстрактных типов данных. ATM началась с предложенной Линденбаумом и Тарским концепции, согласно которой любая теория может рассматриваться как алгебра, операциями которой являются логические связки, а объектами — классы формул, для которых доказуема эквивалентность. Такая алгебра называется алгеброй Линденбаума-Тарского (ЛТ-алгеброй) теории. ЛТ-алгебра классической теории—булева алгебра. ЛТ-алгебра интуиционистской — псевдобулева, теории в модальной логике S4 — булева алгебра с замыканиями. Данный подход был вторым основанием и инструментом для построения альтернативной теории множеств. Для неклассических логик он математически эквивалентен СВМ и поэтому в последнее время употребляется менее интенсивно. Трудностью в ATM является интерпретация кванторов. Для данной цели была развита теория цилиндрических алгебр. Семантика возможных миров (СВМ) предлагалась уже Аристотелем, который рассматривал теорию модальных суждений. Ее предшественником можно считать Г. Лейбница, который явно ввел понятие возможного мира. В современном виде она впервые была предложена для частного случая интуиционистской логики Э. Бетом (1954) и последовательно развита для целого ряда логик С. Крипке, имя которого она и получила. При СВМ интерпретациях имеется некоторая алгебраическая система классических (либо, в более тонких случаях, алгебраических) моделей, называемых мирами, связанных отноше-