Наименование: | Теория (образовано от греческого слова: θεωρία — рассмотрение, созерцание). |
Определение: | Теория — это внутренне непротиворечивая система представлений, идей или принципов, в обобщённой форме раскрывающая существенные свойства и закономерные связи определённой области действительности, на основе которых достигается её объяснение. |
Раздел: |
Концепты философского дискурса Концепты научного дискурса Концепты методологического дискурса |
Дискурс: |
Методология Наука Философия |
Субдискурс: |
Методы научного познания Методология науки |
Связанные концепты: |
Гипотеза Концепция |
Текст статьи: © В. С. Стёпин. B. C. Швырёв. В. Л. Абушенко. В. Л. Васюков. Е. Л. Мамчур. Ф. Н. Голдберг. Подготовка электронной публикации и общая редакция: Центр гуманитарных технологий. Ответственный редактор: А. В. Агеев. Информация на этой странице периодически обновляется. Последняя редакция: 27.02.2024. | |
Понятие теорииТеория — это внутренне непротиворечивая система представлений, идей или принципов, в обобщённой форме раскрывающая существенные свойства и закономерные связи определённой области действительности (предметного поля объяснений и интерпретаций), на основе которых достигается её объяснение. В научно-ориентированных дискурсах теория рассматривается как высшая форма организации научного знания, дающая целостное представление об определённой области действительности — объекта данной теории, а также объяснение и предсказание явлений этой области. В науке (см. Наука) теория представляет собой внутренне дифференцированную, но целостную систему знания, которую характеризуют логическая зависимость одних элементов от других, выводимость её содержания из некоторой совокупности утверждений и понятий — исходного базиса теории. Научная теория выступает как форма синтетического знания, в границах которой другие его формы — законы науки, классификации, типологии, понятия, первичные объяснительные схемы и другие — генетически могут предшествовать собственно теории, составляя базу её формирования; в то же время они нередко сосуществуют с теориями, взаимодействуя с ней в системе науки, или же входят в теорию в качестве её элементов. Научные теории формулируются, разрабатываются и проверяются в соответствии с научным методом (см. Методы научного познания). В целом, современная наука представляет собой систему различных теорий. В философии (см. Философия) и методологии науки (см. Методология науки) современный смысл термина «теория» как формы организации научного знания сложился достаточно поздно. Первоначальное значение греческого слова «теория» (θεωρία) подразумевало экстатическое, мистическое созерцание, что достаточно прозрачно свидетельствует о генетических связях формировавшегося в античной культуре концептуально-теоретического знания с дотеоретическими архаическими формами сознания. Уже пифагорейцы выдвинули идею об очищении души через чистое познание посредством созерцания. Это чистое созерцательное познание, ставшее идеалом для античной философии, вначале было весьма далеко от рационалистического стиля интеллектуальной традиции Нового времени. Такая страстная, эмоционально напряжённая работа души, проникнутая религиозно-экстатическим пафосом, была для мыслителей типа Пифагора не знанием ради знания, а, прежде всего, способом духовного совершенствования. Возрастание в процессе эволюции античной философии собственно познавательных мотивов, развитие культуры понятийного анализа и дискурса не приводило в античной культуре к логизации и рационализации теоретического сознания в стиле, характерном для Нового времени и последующего развития научного мышления. Античная «теория» всё время сохраняет свой исходный смысл мысленно-интуитивного «всматривания» в космос, восприятия идеальных сущностей «духовными очами». По мнению А. Ф. Лосева, у Платона «… термин «теория» представляет собой такое состояние сознания, которое имеет своим предметом организованную, оформленную действительность и которое аналитически-синтетически конструирует эту действительность на основе непосредственного видения или созерцания. Другими словами, в этом термине выражено типичное для Платона и для всей Античности взаимное слияние непосредственно данной и сознательно-сконструированной предметности»… (Лосев А. Ф. История античной эстетики: Софисты. Сократ. Платон. — М., 1969. С. 462). Вместе с тем, в реальной практике формирующейся в Античности теоретической науки, в частности в «Началах» Евклида, была разработана та форма организации и систематизации научного знания, которая стала на много веков образцом дедуктивно-аксиоматического построения теории. Теория в наукеНаучное знание в принципе отличалось теоретичностью с самого начала своего возникновения, так как оно связано с размышлением о содержании используемых в науке понятий и о той исследовательской деятельности, которая приводит к формированию этих понятий. При этом, однако, формы и глубина теоретического мышления могут значительно варьировать, что находит своё историческое выражение в развитии структуры теоретического знания, в формировании различных способов его внутренней организации. Если теоретическое мышление вообще, размышление над смыслом используемых понятий необходимо сопутствует всякой науке, то теория в собственном, более строгом смысле, соответствующем её пониманию в современной методологии науки, появляется на достаточно высоких этапах развития науки. В классической науке теория в идеале должна представлять собой непротиворечивую систему её законов и презентировать основной категориально-понятийный аппарат её описания (понимания, истолкования, интерпретации, объяснения и прогнозирования, при акцентуализации последних двух процедур). В научном контексте она подразумевает дедуктивно (в большинстве случаев) выстроенную систему организации знания, вводящую правила логического вывода более конкретного знания (следствий) из наиболее общих (в пределе — аксиоматических) для данной теории оснований-посылок. В идеале правильно построенная теория является открытой как в сторону исследования известных фактов, так и в сторону метатеоретических исследований, в которых она согласовывается с другими теориями, имеющими отношение к данной предметно-проблемной области (или к её фрагменту). В целом, теория должна максимально полно объяснять известные факты, подводя их под систему связей-законов, конституируемых как лежащие в их основе. В то же время эвристическая сила теории определяется её способностью предсказывать ещё неизвестные факты, расширяя сферу познанного. Таким образом, будучи построенной, теория одновременно выступает и в функции объяснения, и в функции предсказания, которые тесно связаны друг с другом. Системная природа научно-теоретического знания проявляется в тех функциях, которые реализует теория в процессе научного познания. Среди основных функций теории выделяют следующие:
В методологии науки теории принято различать по характеру решаемых задач, способам своего построения, типам реализуемых процедур. Различают следующие основные типы теорий:
В методологии науки выделяют следующие основные компоненты теории:
Поскольку теоретическое знание обладает дедуктивной структурой, в нём можно выделить некоторые общие понятия, принципы и гипотезы, составляющие теоретический базис и систему вытекающих из этого базиса следствий. Переход от эмпирической стадии науки, которая ограничивается классификацией и обобщением опытных данных, к её теоретической стадии, когда появляются и развиваются теории в собственном смысле, осуществляется через ряд промежуточных форм теоретизации, в рамках которых формируются первичные теоретически различные элементы и их конструкции (например, понятия, типологии, объяснительные схемы). Кроме этой части, теория включает в себя особую идеализированную модель действительности, оперирование которой осуществляется в форме мысленного эксперимента (см. Мысленный эксперимент). Будучи источником возникновения теории, сами эти конструкции, однако, ещё не образуют теории: её возникновение связано с возможностью построения многоуровневых конструкций, которые развиваются, конкретизируются, внутренне дифференцируются в процессе деятельности теоретического мышления, отправляющегося от некоторой совокупности исходных принципов. В этом смысле развитая теория представляет собой не просто сумму связанных между собой знаний, но и содержит определённый механизм построения знания, внутреннего развёртывания теоретического содержания, воплощает некоторую программу исследования; всё это и создаёт целостность теории как единой системы знания. Именно подобная возможность развития аппарата научных абстракций в рамках и на основе теории делает последнюю мощным средством решения фундаментальных задач познания действительности. Элементами, из которых состоит теория, являются так называемые абстрактные объекты, связи и отношения которых образуют теоретическую модель. Наличие таких объектов, замещающих в познании реальные объекты и явления их свойства и отношения, является характерной особенностью теоретического знания. Теоретический язык описывает отношения абстрактных объектов теоретической модели, которая так или иначе связана с наблюдаемой реальностью. Благодаря этой связи теоретические высказывания обретают объективный смысл. Множество элементов, которые образуют структуру теории, фиксируются в особых языковых средствах: высказывания, описывающие теоретическую схему, выражения, образующие математический аппарат; описания правил связи абстрактных объектов теоретической схемы с реальными объектами опыта и выражения, характеризующие указанные абстрактные объекты в терминах картины мира. Вся эта совокупность высказываний, связанных между собой, образует язык научной теории. Следует отметить, что чёткая фиксация правил логического вывода и доказательства осуществляется далеко не во всех теориях, а только в тех, что соответствуют идеалу их дедуктивного построения. Причём этот идеал строго реализуется, в лучшем случае, только в некоторых разделах математики и в математической логике, и практически не реализуется в гуманитарных науках. Абсолютизация данного идеала, свойственная так называемой стандартной концепции науки, отстаивавшейся сторонниками логического позитивизма, в целом не соответствует реальной практике. Однако с методологической точки зрения центральную роль в формировании теории играет лежащий в её основе идеализированный объект — теоретическая модель существенных связей реальности, представленных с помощью определённых гипотетических допущений и идеализации. Построение идеализированного объекта теории — необходимый этап создания любой теории, осуществляемый в специфических для разных областей знания формах. Например, идеализированным объектом теории в классической механике является система материальных точек, в молекулярно-кинетической теории — множество замкнутых в определённом объёме хаотически соударяющихся молекул, представляемых в виде абсолютно упругих материальных точек, и так далее. Идеализированный объект теории может выступать в разных формах, предполагать или не предполагать математического описания, содержать или не содержать того или иного момента наглядности, но при всех условиях он должен выступать как конструктивное средство развёртывания всей системы теории. Таким образом, идеализированный объект выступает не только как теоретическая схематизированная модель реальности; он вместе с тем неявно содержит в себе определённую программу исследования, которая и реализуется в построении теории. Соотношения элементов идеализированного объекта — как исходные, так и выводные — представляют собой теоретические законы, которые, в отличие от эмпирических законов, формулируются не непосредственно на основе изучения опытных данных, а путём определённых мыслительных действий с идеализированным объектом. Из этого вытекает, в частности, что законы, формулируемые в рамках теории и относящиеся по существу не к эмпирически данной реальности, а к реальности, как она представлена идеализированным объектом, должны быть соответствующим образом конкретизированы при их применении к изучению реальной действительности. Многообразию форм идеализации (и, соответственно, типов идеализированных объектов) соответствует и многообразие видов теории. В теории описательного типа, решающей главным образом задачи описания и упорядочения обычно весьма обширного эмпирического материала, построение идеализированного объекта фактически сводится к вычленению исходной схемы понятий. В современных математизированных теориях идеализированный объект выступает обычно в виде математической модели или совокупности таких моделей. В дедуктивных теоретических системах построение идеализированного объекта по существу совпадает с построением исходного теоретического базиса. Процесс развёртывания содержания теории предполагает максимальное выявление возможностей, заложенных в исходных посылках теории, в структуре её идеализированного объекта. В частности, в теории, использующих математический формализм, развёртывание содержания предполагает формальные операции со знаками математизированного языка, выражающего те или иные параметры объекта. В теории, в которых математический формализм не применяется или недостаточно развит, на первый план выдвигаются рассуждения, опирающиеся на анализ содержания исходных посылок теории, на мысленный эксперимент с идеализированными объектами. Наряду с этим развёртывание теории предполагает построение новых уровней и слоёв содержания теории на основе конкретизации теоретического знания о реальном предмете. Это связано с включением в состав теории новых допущений, с построением более содержательных идеализированных объектов. В итоге конкретизация исходной теории приводит её к развитию в систему взаимосвязанных теорий, объединяемых лежащим в их основании идеализированным объектом. Этот процесс постоянно стимулируется необходимостью охвата в рамках и на основе исходных положений теории многообразия эмпирического материала, относящегося к предмету теории; развитие теории не есть поэтому только имманентное логическое движение теоретической мысли — это, вместе с тем, и активная переработка эмпирической информации в собственное содержание теории, конкретизация и обогащение её понятийного аппарата. Именно это развитие содержания теории ставит определённые пределы возможной логической формализации процессов её построения. При всей плодотворности формализации и аксиоматизации теоретического знания нельзя не учитывать, что реальный процесс конструктивного развития теории, ориентируемый задачами охвата нового эмпирического материала, не укладывается в рамки формально-дедуктивного представления о развёртывании теории. Современные представления, в частности, о гипотетико-дедуктивной теории выходят поэтому за рамки только дедукции теорем из исходных гипотетических утверждений теории, подтверждаемых или опровергаемых в результате последующей эмпирической проверки, а предполагают обращение к процессам изменения и развития исходных теоретических гипотетически принимаемых утверждений, что стимулировало разработку методологической проблематики критериев приемлемости подобных изменений (например, критерии прогрессивного и регрессивного сдвига проблем в методологии исследовательских программ И. Лакатоса). Соответственно при таком подходе теория уже не рассматривается как «закрытая» неподвижная система. «Единицей» методологического анализа становится последовательность («серия») теория по мере их изменения, единство которых определяется лежащим в их основе «твёрдым ядром» исследовательской программы, принятие которого, в общем, соответствует понятию исходного идеализированного объекта в классическом «статуарном» подходе к теории. Теория может развиваться в относительной независимости от эмпирического исследования посредством знаково-символических операций по правилам математических или логических формализмов, посредством введения различных гипотетических допущений или теоретических моделей (особенно математических гипотез и математических моделей), а также путём мысленного эксперимента с идеализированными объектами. Подобная относительная самостоятельность теоретического исследования образует важное преимущество мышления на уровне теории, так как даёт ему богатые эвристические возможности. Но реальное функционирование и развитие теории в науке осуществляется в органическом единстве с эмпирическим исследованием. Теория выступает как реальное знание о мире только тогда, когда она получает эмпирическую интерпретацию. Современная методология науки отвергает упрощённые представления об оправдании теории в духе верификационизма или, напротив, однозначного её опровержения в духе фальсификационизма. Однако она не отбрасывает идею оценки теории по её объяснительно-предсказательным возможностям по отношению к эмпирии. Как подтверждение теории отдельными эмпирическими примерами не может служить безоговорочным свидетельством в её пользу, так и противоречие теории отдельным фактам не есть достаточное основание для отказа от неё. И подобное противоречие служит мощным стимулом совершенствования теории вплоть до пересмотра и уточнения её исходных принципов. Решение же об окончательном отказе от теории обычно связано с общей дискредитацией фактически лежащей в её основе программы исследования и появлением новой программы, выявляющей более широкие объяснительно-предсказательные возможности по отношению к сфере реальности, изучаемой данной теорией. Актуализация проблематики создания теорий сместила акценты научно-методологической рефлексии с проблем внутренней организации знания на проблемы его взаимодействия с другими знаниевыми системами, с логического и языкового анализа теории на вопросы институциональной организации знания, что было закреплено как переход от «неопозитивистской» к «постпозитивистской» фазе в развитии аналитической философии, сделавшей научное знание основным предметом своих анализов. Тем самым, в фокус внимания общеметодологической рефлексии попадают проблемы, связанные с рассмотрением вопросов идеалов и норм научного познания, научные картины мира, внутри которых формируются конкретные теории или которые формируются (изменяются) под воздействием тех или иных теорий, а также стратегии, применяемые определёнными научными сообществами для закрепления своего доминирующего положения или для достижения такового в той или иной дисциплинарной области. В наиболее широком контексте речь идёт о месте теорий в системе культуры в целом, об их роли в описаниях и самоописаниях последней. В этом русле содержание термина «теория» максимально расширяется вплоть до обсуждения теоретической компоненты и способов её оформления в познавательных практиках того или иного типа культуры. В результате понятие «теория» соподчиняется с понятиями (или даже заменяется ими) исследовательской программы (термин конституирован И. Лакатосом), как презентирующей те или иные исследовательские стратегии, или парадигмы (термин конституирован Т. Куном), как презентирующей те или иные видения исследуемой реальности. У истоков релятивизации понятия «теория» стоял К. Поппер, у которого начало и завершение определённого этапа изменения знания маркируются проблемами, а само знание трактуется как принципиально гипотетическое. Из постпозитивистских дискурсов берёт начало тенденция оспаривания понимания развития теории как куммуляционного процесса. Представления об усовершенствовании и развёртывании теории в период «нормальной науки» были дополнены представлениями: о «научной революции» и смене конкурирующих парадигм (Т. Кун); о переинтерпретации «защитного пояса» инвариантного ядра исследовательской программы (И. Лакатос); о «методологическом анархизме», то есть о равноправии различных сосуществующих теорий, что только и способно служить гарантом того, что факты будут замечены и должным образом оценены (П. Фейерабенд). В этом же ключе можно понимать и введённое М. Фуко понятие эпистемы, а также анализ «эпистемологических разрывов» Г. Башляром. Важную роль в пересмотре понятия теории сыграли также: введение Р. Мертоном понятия «теория среднего уровня», как опосредующей фундаментально-теоретическое и эмпирически-процессуальное (фактуалистическое) знания; формирование представлений о метатеоретическом уровне организации знания (метатеория и метаязык), позволивших максимально дистанцироваться от конкретно-предметных «фрагментов», описываемых той или иной теории, и выйти на уровень методологической рефлексии над научным знанием того или иного рода или над научным знанием как таковым, с одной стороны, и на «встраивание» теоретического знания в контекст культуры — с другой. С середины XX века наметилась тенденция обособления методологии от научно-теоретического (и философского) знания в особую область знаниевых практик (неорационализм, системо-мыследеятельностная методология и другие). Универсальность теории как высшей формы организации знания постоянно ставилась под вопрос в гуманитарном знании, начиная с неокантианства. В этой связи обсуждались такие формы его организации, как типологизация, идеальные и конструктивные типы и другие. В более мягких версиях критики предлагалось снятие наиболее строгих требований, предъявляемых к теории любого рода, а сама она фактически приобретала вид научной концепции, как задающей видение, логику и средства (концепты) описания той или иной исследуемой области. (В традиции аналитической философии близких взглядов придерживается С. Тулмин, рассматривающий науку как совокупность эволюционизирующих популяций понятий и объяснительных процедур.) Существенным в этом отношении было и формулирование тезиса о принципиальной мультипарадигмальности (плюралистичное) гуманитарных дисциплин. Не менее важным для понимания сути и природы научного знания оказались и представления о нём не только (и не столько) как о дисциплинарно-предметно организованном (а тем самым стремящимся к выражению себя в форме предельно эвристичной теории), а как о знании дискурсивном, порождающем специфические дискурсы и коммуникации особого рода. Проблема выбора теорииТермин «выбор теории» (англ. theory-choice) был введён в философию науки для обозначения познавательных ситуаций, возникающих в периоды смены научных парадигм и характеризующихся конкуренцией между последовательно сменяющими друг друга фундаментальными научными теориями. Проблема выбора теории приобрела актуальность в зарубежной философии науки в В ходе дискуссий сложились два направления. Представители одного из них (позднее они стали относить себя к социологам познания) — Т. Кун, П. Фейерабенд и другие — утверждали, что в научном познании отсутствуют объективные (в смысле — парадигмально независимые) критерии оценки и отбора теорий. Парадигмально зависимыми являются и эмпирические данные, призванные служить основой отбора теорий (феномен теоретической нагруженности эмпирических данных), и методологические принципы, способные послужить вспомогательными, внеэмпирическими критериями выбора теории. Сторонники рассматриваемого направления утверждали, что, в связи с отсутствием рациональных критериев отбора теорий, разрешение ситуации выбора может быть адекватно реконструировано только на почве социальных, точнее — социально-психологических, факторов. В реальном познании происходит не рациональный выбор теории, а изменение психологии научного сообщества, которое Кун охарактеризовал в терминах «переключения гештальта». Представители другого направления (И. Лакатос, К. Поппер и другие) утверждали, что парадигмально независимые критерии оценки и отбора теорий существуют. Лакатос полагал, что таким критерием является «прогрессивный сдвиг проблем», суть которого состоит в способности теории (и более широко — «исследовательской программы») делать оправдывающиеся предсказания. Исследовательская программа, которая оказывается способной лишь ассимилировать предсказания, делающиеся на основе соперничающей с ней программы, должна уступить место своей более успешной сопернице. Выдвигались и другие критерии, среди которых: способность теории решать проблемы (Л. Лаудан); увеличивающееся правдоподобие (англ.: verisimilitude) теории (У. Ньютон-Смит); успехи теории в плане её технологических приложений (М. Хессе) и другие. На современном этапе возможность разрешения ситуации выбора на когнитивной основе отрицают социальные конструктивисты (Б. Латур, С. Вулгар), утверждающие, что научные факты являются социальными конструкциями, в связи с чем выбор теории не может быть квалифицирован как рациональная процедура, а также сторонники «сильной программы» социологии познания (Д. Блур, Б. Варне, С. Шейпин), утверждающие, что оценка и выбор теории определяются социальными факторами, так что сама процедура выбора должна быть объектом не когнитивного, а социологического анализа. В российской философии науки было показано, что реализующаяся в реальном научном познании процедура выбора может быть реконструирована рационально, так как существуют парадигмально независимые критерии оценки теорий. Во-первых, в теоретически нагруженных экспериментальных результатах существует слой эмпирического знания, который, не будучи свободным от теоретических привнесений, тем не менее является теоретически нейтральным по отношению к конкурирующим теориям (первичные экспериментальные результаты). Во-вторых, несмотря на действительную историческую изменчивость методологических критериев оценки теорий, в них есть некоторое кросс-парадигмальное содержание, остающееся относительно неизменным, несмотря на смены парадигм; оно может выступать в качестве вспомогательной основы для объективной оценки теорий. В более широком смысле термин «выбор теории» обозначает любую ситуацию в научном познании, в которой необходимо отдать предпочтение одной из конкурирующих теорий. Описанная выше конкуренция старой и новой фундаментальных теорий, возникающая в процессе смены парадигм, является частным случаем этой более общей ситуации. Поскольку теории могут разниться в эмпирическом, семантическом и лингвистическом отношениях, возникают три типа ситуаций выбора:
Существуют различные подходы к реконструкции осуществляющегося в данном случае выбора между теориями. Когнитивные социологи настаивают на том, что выбор осуществляется на почве социальных факторов. Представители аналитической философии в качестве критерия выбора указывают на простоту, под которой понимается некий обобщённый внеэмпирический критерий. В российской философии науки предполагается, что оценка и отбор одной из теорий в подобном случае осуществляется на основе ряда методологических соображений, в том числе сравнительной простоты теорий, принципов соответствия, принципиальной наблюдаемости и так далее. Теория в логикеВ логике (см. Логика) под теорией понимается концептуальный класс элементарных высказываний, описывающих явления и свойства определённой исследуемой области, а также способ выбора подкласса истинных высказываний (теорем) из числа высказываний, сформулированных на языке данной теории. В самом общем виде теория рассматривается как множество утверждений, замкнутых относительно выводимости, задающей способ выбора теорем (такое понятие теории было введено А. Тарским в Для получения подкласса теорем вместо отношения выводимости часто используется оператор присоединения следствий, определяемый для некоторого счётного множества высказываний A как функция C: σ (A) → σ (A) (то есть как отображения множества подмножеств A в себя), которая для каждого подмножества X ⊆ A удовлетворяет следующим условиям:
Оператор присоединения следствий трансформируется в отношение присоединения следствий (выводимость) ⎕ C σ (A) ⊆ A между подмножествами A и элементами A, если постулировать, что для каждого подмножества X ⊆ A и для каждого утверждения A из A выполняется следующее условие: x ⎕ C a тогда и только тогда, когда аес (X) (a выводимо из X тогда и только тогда, когда a принадлежит множеству следствий из X). Условия (C1) — (C3) трансформируются при этом в условия:
Теоремы определяются относительно выводимости как утверждения φ, такие, что ∅ ⎕ c φ, а теория будет представлять собой множество утверждений ∑, замкнутых относительно отношения присоединения следствий ⎕ c, то есть таких, что если ∑ ⎕ c φ, то φ ∈ ∑. Т∑ аксиоматизируема тогда и только тогда, когда существует рекурсивное множество предложений Δ, такое, что ∑ = C(Δ), то есть каждое предложение, принадлежащее множеству ∑, выводимо из Δ. Если Δ конечно, то Т∑ называют конечно-аксиоматизируемой. Подобные теории могут быть заданы списком своих аксиом и по этой причине в литературе понятие теории часто отождествляют с понятием «аксиоматизированная теория». Т∑ непротиворечива, если, и только если, не найдётся такое предложение, чтобы оно само и его отрицание принадлежали ∑ теория полна, если, и только если для каждого предложения (сформулированного на языке теории) или оно само, или его отрицание принадлежит теории. Элементарной теорией, или теорией первого порядка, в логике называется теория такая, что её языком является язык первого порядка, аксиомами формальной системы являются логические аксиомы и некоторые другие аксиомы, называемые нелогическими аксиомами, призванные описать специфические свойства объектов предметной области. Класс всех элементарных теорий, сформулированных в одном и том же языке, образует своеобразную алгебру относительно операций, сформулированных на основе теоретико-множественных операций. Как показал А. Тарский в 1936 году, класс элементарных теорий, сформулированных на одном и том же языке на базе классической логики, образует относительно этих операций брауэрову алгебру. Я. Челяковский в 1983 году распространил этот результат на случай конечно-аксиоматизируемых теорий на базе широкого класса так называемых финитарно протоалгебраических логик. Класс конечно-аксиоматизируемых теорий на базе классической логики образует булеву алгебру. При замене выводимости на семантическое понятие логического следования получают иное понятие теории. Для первопорядковых теорий на базе классической логики эти два понятия совпадают, так как в этом случае логическое следование и выводимость совпадают по объёму. Но уже для второпорядковых теорий при такой замене получаются два разных понятия теории, причём теория в семантическом смысле будет теория в синтаксическом смысле, но не наоборот. То же самое относится к некоторым первопорядковым теориям, основанным на неклассической логике. Понятие «теории в семантическом смысле» выходит на передний план в том случае, когда учитывается, что главной задачей теории является установление закономерностей функционирования объектов предметной области, свойства которых детерминируют семантику используемого языка. В настоящее время в логике существуют два основных направления, в рамках которых систематически используется это понятие теории. Это «подход на базе семантики» (X. Андрека, И. Немети) и теоретико-категорный подход (основанный на теории институций Гогена и Берсталла). Первый поход с самого начала рассматривает теорию как детерминированную определённым классом моделей и интерпретацией на этих моделях. Второй подход рассматривает теорию как определяемую:
Более «синтаксическая» версия категорного подхода (теория институций Фадейро — Сернадаса) заменяет функцию выполнимости на категорный аналог операции присоединения следствий, ассоциирующей с каждым словарём бинарное отношение логического замыкания между подмножествами предложений и предложениями, сформулированными на основе этих словарей. |
|
Библиография |
|
---|---|
|
|