Словарь по логике

ФОРМАЛЬНАЯ ТЕОРИЯ

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


  1. формальная теория—thorie formelle...Политехнический русско-французский словарь
  2. формальная теория—formal theory...Русско-английский психологический словарь
  3. формальная теория—formal theory...Русско-английский словарь по физике
  4. формальная теория—formal theory...Русско-английский технический словарь
  5. формальная теория—formal theory...Русско-английский толковый словарь терминов по информатике
  6. формальная теория—phenomenological theory...Русско-английский химический словарь
  7. формальная теория—теория в формализованном языке. Важной особенностью Ф. т. является то что содержательные утверждения заменены в них последовательностями символов манипуляции с которыми о...Словарь логики