формальная теория


формальная теория
теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система явным образом включается в теорию. Поэтому более точно Ф. т. можно определить как упорядоченную тройку (L, A, C), где L представляет формализованный язык, A - множество аксиом и С - множество правил вывода.
Ф. т. обычно строится следующим образом. Вначале задается алфавит языка - набор исходных символов, включающий в себя символы для индивидных констант и переменных, для предикатов и функций, для логических связок и кванторов. Затем определяется понятие правильно построенной формулы. Это определение должно быть эффективным, т. е. должна существовать эффективная процедура, позволяющая для произвольной последовательности символов решить, является ли она правильно построенной формулой. Из множества формул выбирается некоторое подмножество аксиом. Определение аксиомы также должно быть эффективным. Наконец формулируются правила вывода, позволяющие получать из одних формул другие.
Добавляя к алфавиту языка новые математические, физические и др. символы и присоединяя к аксиомам дополнительные математи-
ческие или конкретно-научные принципы, получают формальную конкретно-научную теорию. Примерами Ф. т. являются: пропозициональное исчисление, исчисление предикатов, теория порядка, теория групп, теория решеток, теория множеств и т. п.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "формальная теория" в других словарях:

  • Формальная теория — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… …   Википедия

  • Формальная теория доказательств — Формальная теория доказательств  один из вариантов устройства норм об оценке доказательств в судебном процессе. В уголовном процессе его сущность состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд… …   Википедия

  • Формальная теория судебных доказательств — см. Доказательства …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • ФОРМАЛЬНАЯ ТЕОРИЯ И ФОРМАЛИЗАЦИЯ ТЕОРИИ — (formal theory and formalization of theory) представление теоретических суждений в отношении специфического явления с точки зрения совокупности логических и дедуктивно взаимосвязанных пропорций, причем некоторые из суждений рассматриваются как… …   Большой толковый социологический словарь

  • Формальная сила доказательств — Формальная теория доказательств  один из вариантов положения о применении доказательств в уголовном процессе. Сущность его состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд должен убедиться в наличии… …   Википедия

  • Формальная система — (формальная теория, аксиоматическая теория)  результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… …   Википедия

  • ФОРМАЛЬНАЯ ФИЛОСОФИЯ — существующая в течение тысячелетий тенденция философии к фундаментальному обобщению понятий и законов, присущих формальным аспектам частных философских наук: формальной логики, формальной онтологии, формальной этики (см. в наст. словаре ст. с… …   Современный философский словарь

  • Формальная система —         неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул… …   Большая советская энциклопедия

  • ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) к рого задается обычно индуктивно – посредством задания исходных ( элементарных , или атомарных ) формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) –… …   Философская энциклопедия

  • ТЕОРИЯ — (theory) 1. (В физической и социальной науках) совокупность гипотез или суждений, связанных логическими либо математическими аргументами; для объяснения эмпирической действительности или типа явления. См. также Формальная теория; Модель. 2. (В… …   Большой толковый социологический словарь

Книги

Другие книги по запросу «формальная теория» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.