Теоретические методы. Формализация презентация

операций, обеспечивающих отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей.

Метод формализации - это метод изучения самых разнообразных объектов путем отображения их содержания и структуры в знаковой форме, при помощи самых разнообразных «искусственных» языков (язык математики, математической логики, химии, радиотехники и ряда др. наук).

к сожалению, вплоть до середины XIX в. не получившего дальнейшего развития.

Философы схоластического направления, нанимавшиеся проблемами логики и формализации Росцелином (ок. 1050 — ок. 1120), Ансельмом Кентерберийским (1033 — 1109), Пьером Абеляром (1079 — 1142), Дунсом Скотом (ок. 1266 — 1308), Вильямом Оккамом (1285 — 1349) и другими

внес английский философ Фрэнсис Бэкон (1561 — 1626).

Позже, уже в XIX в., его соотечественник Джон Стюарт Милль (1806 — 1873) систематизировал открытые Бэконом методы выявления причинной связи между явлениями в работе «Система логики силлогистической и индуктивной» (1843)

Крупный вклад в развитие логики внес немецкий философ и математик Г. Лейбниц (1646 — 1716). Именно ему обязана логика введением в ее арсенал таких понятий, как «исчисление», «функция», «модель», «переменная», «постоянная» и др.

(1872—1970). Свои исследования в области математической логики Б. Рассел совместно с А. Уайтхедом (1861—1947) изложили в трехтомном труде, изданном в 1910—1913 гг.

Кроме названных ученых, больших успехов в развитии формальной логики в ее символическом варианте достигли А. Тарский, А. Черч, С. Клини, У. Куайн, Р. Карнап, Я. Лукасевич, Е. Пост, Л.Э. Брауэр, Г. Вейль, А. Гейтинг, А.Н. Колмогоров, А.И. Мальцев, А.А. Марков, П.С. Новиков, Н.А. Шанин, Д.А. Бочвар, В.И. Шестаков, В.А. Успенский, С.А. Яновский и др.

виде некоторого символического выражения.

Так же оно обеспечивает компактность и ясность материала.

Формализованные языки позволяют более точно и полно (по сравнению с естественными) учесть и выразить количественные аспекты изучаемых предметов.

формализованный язык; в нем используются специальные символы и формальные выражения (формулы, математические уравнения, диаграммы и т.п
Преобразование полученных формальных выражений в соответствии с определенными формальными правилами. Например, решение составленных уравнений, преобразование тригонометрических выражений
Интерпретация, или «обратный» перевод полученных в результате формальных выражений и их толкование на естественном языке
Далее следует практическая проверка полученных результатов

языке получаем (решаем, выводим, доказываем) должно на естественном языке (после интерпретации) соответствовать фактам, быть истинным.
Адекватность: то, что в представленном материале является истинным, должно и в формализованном представлении быть выводимым( доказуемым, вычислимыми т.п.)

Частично формализованные (язык и логические средства), используемые при развитии данной науки, явным образом не фиксируются (лингвистика, различные разделы биологии).

фиксации знания;
Позволяет избежать многозначности терминов, свойственной обычным языкам
Достигается упрощение объекта непосредственного исследования, что облегчает решение познавательных задач
С помощью формализации можно предугадать, как будет развиваться тот или иной процесс.
Новая форма позволяет получить новое знание за счет того, что допускаются операции, невозможные при чисто содержательном анализе.