Благодаря этому ранее установленные законы обобщаются и модифицируются. Элементарной теорией, или теорией первого порядка, что такое разворотный паттерн в логике называется теория такая, что её языком является язык первого порядка, аксиомами формальной системы являются логические аксиомы и некоторые другие аксиомы, называемые нелогическими аксиомами, призванные описать специфические свойства объектов предметной области. Класс всех элементарных теорий, сформулированных в одном и том же языке, образует своеобразную алгебру относительно операций, сформулированных на основе теоретико-множественных операций. Тарский в 1936 году, класс элементарных теорий, сформулированных на одном и том же языке на базе классической логики, образует относительно этих операций брауэрову алгебру.
- Более «синтаксическая» версия категорного подхода (теория институций Фадейро — Сернадаса) заменяет функцию выполнимости на категорный аналог операции присоединения следствий, ассоциирующей с каждым словарём бинарное отношение логического замыкания между подмножествами предложений и предложениями, сформулированными на основе этих словарей.
- Первичные (частные) схемы играют важную роль.
- Степина, является двухслойная конструкция – теоретическая модель и формулируемый относительно нее теоретический закон.
- Построение идеализированного объекта теории — необходимый этап создания любой теории, осуществляемый в специфических для разных областей знания формах.
- Следует отметить, что чёткая фиксация правил логического вывода и доказательства осуществляется далеко не во всех теориях, а только в тех, что соответствуют идеалу их дедуктивного построения.
- Термин «выбор теории» (англ. theory-choice) был введён в философию науки для обозначения познавательных ситуаций, возникающих в периоды смены научных парадигм и характеризующихся конкуренцией между последовательно сменяющими друг друга фундаментальными научными теориями.
В этом случае эксперимент не проверяет теорию, а уточняет или расширяет положения этой теории. 1) Логико-лингвистическая подсистема Т. Она включает алфавиты и словари, совокупность понятий (терминосистему), семейство языков данной Т. Указанные компоненты содержат правила синтаксиса (нормы построения правильных языковых выражений), правила вывода и интерпретации и др.
Смотреть что такое “теория” в других словарях:
Однако она не отбрасывает идею оценки теории по её объяснительно-предсказательным возможностям по отношению к эмпирии. Как подтверждение теории отдельными эмпирическими примерами не может служить безоговорочным свидетельством в её пользу, так и противоречие теории отдельным фактам не есть достаточное основание для отказа от неё. И подобное противоречие служит мощным стимулом совершенствования теории вплоть до пересмотра и уточнения её исходных принципов. Решение же об окончательном отказе от теории обычно связано с общей дискредитацией фактически лежащей в её основе программы исследования и появлением новой программы, выявляющей более широкие объяснительно-предсказательные возможности по отношению к сфере реальности, изучаемой данной теорией.
Теория в науке
Это связано с включением в состав теории новых допущений, с построением более содержательных идеализированных объектов. В итоге конкретизация исходной теории приводит её к развитию в систему взаимосвязанных теорий, объединяемых лежащим в их основании идеализированным объектом. Именно это развитие содержания теории ставит определённые пределы возможной логической формализации процессов её построения.
Смотреть что такое “теория” в других словарях:
Из этого вытекает, в частности, что законы, формулируемые в рамках теории и относящиеся по существу не к эмпирически данной реальности, а к реальности, как она представлена идеализированным объектом, должны быть соответствующим образом конкретизированы при их применении к изучению реальной действительности. Многообразию форм идеализации (и, соответственно, типов идеализированных объектов) соответствует и многообразие видов теории. В теории описательного типа, решающей главным образом задачи описания и упорядочения обычно весьма обширного эмпирического материала, построение идеализированного объекта фактически сводится к вычленению исходной схемы понятий. В современных математизированных теориях идеализированный объект выступает обычно в виде математической модели или совокупности таких моделей. В дедуктивных теоретических системах построение идеализированного объекта по существу совпадает с построением исходного теоретического базиса. В наиболее широком контексте речь идёт о месте теорий в системе культуры в целом, об их роли в описаниях и самоописаниях последней.
- Многообразию форм идеализации (и, соответственно, типов идеализированных объектов) соответствует и многообразие видов теории.
- В дедуктивных теоретических системах построение идеализированного объекта по существу совпадает с построением исходного теоретического базиса.
- Одна из важнейших тенденций научного познания – это стремление к достижению такого единства знания, при котором максимальное число фактов можно описать, исходя из минимального числа основных понятий и принципов данной Т.
- Является совокупностью обобщенных положений, образующих науку или ее раздел.
- “Теории – это сети, предназначенные улавливать то, что мы называем “миром”, для осознания, объяснения и овладения им. Мы стремимся сделать ячейки сетей все более мелкими” (К. Поппер).
- В целом, теория должна максимально полно объяснять известные факты, подводя их под систему связей-законов, конституируемых как лежащие в их основе.
Проверка теории
Универсальность теории как высшей формы организации знания постоянно ставилась под вопрос в гуманитарном знании, начиная с неокантианства. В этой связи обсуждались такие формы его организации, как типологизация, идеальные и конструктивные типы и другие. В более мягких версиях критики предлагалось снятие наиболее строгих требований, предъявляемых к теории любого рода, а сама она фактически приобретала вид научной концепции, как задающей видение, логику и средства (концепты) описания той или иной исследуемой области. (В традиции аналитической философии близких взглядов придерживается С. Тулмин, рассматривающий науку как совокупность эволюционизирующих популяций понятий и объяснительных процедур.) Существенным в этом отношении было и формулирование тезиса о принципиальной мультипарадигмальности (плюралистичное) гуманитарных дисциплин. Не менее важным для понимания сути и природы научного знания оказались и представления о нём не только (и не столько) как о дисциплинарно-предметно организованном (а тем самым стремящимся к выражению себя в форме предельно эвристичной теории), а как о знании дискурсивном, порождающем специфические дискурсы и коммуникации особого рода.
В логике (см. Логика) под теорией понимается концептуальный класс элементарных высказываний, описывающих явления и свойства определённой исследуемой области, а также способ выбора подкласса истинных высказываний (теорем) из числа высказываний, сформулированных на языке данной теории. В самом общем виде теория рассматривается как множество утверждений, замкнутых относительно выводимости, задающей способ выбора теорем (такое понятие теории было введено А. Тарским в 30-е годы XX века). При замене выводимости на семантическое понятие логического следования получают иное понятие теории. Для первопорядковых теорий на базе классической логики эти два понятия совпадают, так как в этом случае логическое следование и выводимость совпадают по объёму. Но уже для второпорядковых теорий при такой замене получаются два разных понятия теории, причём теория в семантическом смысле будет теория в синтаксическом смысле, но не наоборот. То же самое относится к некоторым первопорядковым теориям, основанным на неклассической логике.
При всей плодотворности формализации и аксиоматизации теоретического знания нельзя не учитывать, что реальный процесс конструктивного развития теории, ориентируемый задачами охвата нового эмпирического материала, не укладывается в рамки формально-дедуктивного представления о развёртывании теории. Соответственно при таком подходе теория уже как заработать на ставках на футзал не рассматривается как «закрытая» неподвижная система. «Единицей» методологического анализа становится последовательность («серия») теория по мере их изменения, единство которых определяется лежащим в их основе «твёрдым ядром» исследовательской программы, принятие которого, в общем, соответствует понятию исходного идеализированного объекта в классическом «статуарном» подходе к теории.
Челяковский в 1983 году распространил этот результат на случай конечно-аксиоматизируемых теорий на базе широкого класса так называемых финитарно протоалгебраических логик. Класс конечно-аксиоматизируемых теорий на базе классической логики образует булеву алгебру. Термин «выбор теории» (англ. theory-choice) был введён в философию науки для обозначения познавательных ситуаций, возникающих в периоды смены научных парадигм и характеризующихся конкуренцией между последовательно сменяющими друг друга фундаментальными научными теориями. Проблема выбора теории приобрела актуальность в зарубежной философии науки в 1960-е годы, в разгар дискуссий по поводу теоретической реконструкции процесса роста научного знания. Характер этой реконструкции зависит от того, каким способом разрешается ситуация выбора, на почве каких критериев и оценок происходит отбор одной из конкурирующих теорий.
Теоретические законы в концентрированной форме выражают информацию, полученную в ходе эмпирического исследования. Не сводится ни к сумме фактов, ни к совокупности эмпирических законов, она содержит дополнительную, избыточную информацию, которая возникает благодаря творческой деятельности мышления и воображения теоретиков – очень часто “уравнения умнее их создателей”. На самом деле взаимоотношение «теория — эксперимент» более сложное. Поскольку теория уже отражает объективные явления, ранее проверенные экспериментом, то нельзя делать подобные выводы. В то же время поскольку теория строится на основе законов логики, то возможны заключения о явлениях, не вопросы на собеседованиях на позицию qa manual engineer установленных ранними экспериментами, которые и проверяются практикой. Однако, эти выводы необходимо уже называть гипотезой, объективность которой, то есть перевод этой гипотезы в ранг теории, и доказывается экспериментом.
Процесс развёртывания содержания теории предполагает максимальное выявление возможностей, заложенных в исходных посылках теории, в структуре её идеализированного объекта. В частности, в теории, использующих математический формализм, развёртывание содержания предполагает формальные операции со знаками математизированного языка, выражающего те или иные параметры объекта. В теории, в которых математический формализм не применяется или недостаточно развит, на первый план выдвигаются рассуждения, опирающиеся на анализ содержания исходных посылок теории, на мысленный эксперимент с идеализированными объектами. Наряду с этим развёртывание теории предполагает построение новых уровней и слоёв содержания теории на основе конкретизации теоретического знания о реальном предмете.
Leave a Reply