Формализация

Большая Советская Энциклопедия. Статьи для написания рефератов, курсовых работ, научные статьи, биографии, очерки, аннотации, описания.


А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я 1 2 3 4 8 A L M P S T X
ФА ФБ ФЕ ФЁ ФЗ ФИ ФЛ ФО ФР ФТ ФУ ФЫ ФЬ ФЭ ФЮ
ФОБ
ФОВ
ФОГ
ФОД
ФОЙ
ФОК
ФОЛ
ФОМ
ФОН
ФОР
ФОС
ФОТ
ФОФ
ФОХ
ФОШ

Формализация, представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы, или исчисления. Формализация, осуществляемая на базе определённых абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике (см. Математический формализм), а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости. Формализация предполагает усиление роли формальной логики как основания теоретических наук, поскольку в случае формализованных теорий уже нельзя удовлетворяться интуитивным убеждением, что та или иная аргументация согласуется с логическими правилами, усвоенными благодаря так или иначе приобретённой способности к правильному мышлению. Полностью могут быть формализованы лишь элементарные теории с простой логической структурой и небольшим запасом понятий (например, исчисление высказываний и узкое исчисление предикатов – в логике, элементарная геометрия – в математике). Если же теория сложна, она принципиально не может быть полностью формализована (см. Полнота, Метатеория).

  Формализация позволяет систематизировать, уточнить и методологически прояснить содержание теории, выяснить характер взаимосвязи между собой различных её положений, выявить и сформулировать ещё не решенные проблемы. Формализация как познавательный приём – в частности Формализация в узком «математическом» смысле – носит относительный характер: одна и та же теория может быть одновременно и средством Формализация (некоторой другой теории и области явлений), и предметом Формализация (в более «формальной» теории). Так, традиционная «формальная» логика является Формализация по отношению к совокупности отражённых в ней закономерностей человеческого мышления; по отношению же к своим (аксиоматическим) Формализация она выступает в качестве содержательной теории предмета формализации

.

  Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 15; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М.. 1960, Введение.

 

Так же Вы можете узнать о...


Астматол, спазмолитическое средство, порошок (или сигареты) из 1 части листьев белены, 2 частей листьев красавки, 6 частей листьев дурмана, 1 части нитрата натрия, 3 частей воды; применяют при бронхиальной астме — вдыхают дым от сжигаемого А.
Вошерия (Vaucheria, по имени швейцарского ботаника Воше, J.
Еленя-Гура (Jelenia Gora), город в Польше, во Вроцлавском воеводстве.
Колхидская культура, археологическая культура на территории Западной Грузии, относящаяся к позднебронзовому и раннежелезному векам (13—7 вв.
Мебельная промышленность, отрасль промышленности, производящая мебель для жилых и общественных помещений.
Палеогеновая система (период), палеоген (от палео.
Рудницкий Адольф Рудницкий (Rudnicki) Адольф (р. 19.2.1912, Варшава), польский писатель.
Темуко (Теmuсо), город в Чили, в Продольной долине; административный центр провинции Каутин.
Чаморро, коренное население Марианских островов (Западная Микронезия), в значительной мере истребленное в 17 в.
Аппликатура (нем. Applikatur, от лат. applico — прикладываю, прижимаю), способ расстановки и порядок чередования пальцев при игре на музыкальном инструменте.
Вогелкоп (Vogelkop), полуостров на о. Новая Гвинея; см.
Дорошевский Витольд Ян Дорошевский (Doroszewski) Витольд Ян (р. 1.5.
Клеть (сруб) Клеть, сруб, простейшая деревянная конструкция, образованная положенными друг на друга венцами из брёвен.
Мануций Альд Старший Мануций (лат. Manutius, итал. Manuzio) Альд Старший (около 1450, Бассиано, близ Рима, — 6.