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

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

ТЕОРЕТИЧЕСКИЕ МЕТОДЫ.
ФОРМАЛИЗАЦИЯ
Выполнила: Чепанова А.А
Аспирант 1 купса ИХБФМ

2. Определение формализации

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

3.

4. История формализации

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

5.

На стыке XVI — XVII вв. свой вклад в развитие логики внес
английский философ Фрэнсис Бэкон (1561 — 1626).
Позже, уже в XIX в., его соотечественник Джон Стюарт Милль
(1806 — 1873) систематизировал открытые Бэконом методы
выявления причинной связи между явлениями в работе
«Система логики силлогистической и индуктивной» (1843)
Крупный вклад в развитие логики внес немецкий философ и
математик Г. Лейбниц (1646 — 1716). Именно ему обязана
логика введением в ее арсенал таких понятий, как «исчисление»,
«функция», «модель», «переменная», «постоянная» и др.

6.

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

7.

ИСПОЛЬЗОВАНИЕ СПЕЦИАЛЬНОЙ СИМВОЛИКИ.
Введение символов обеспечивает однозначность выражения
мысли в виде некоторого символического выражения.
Так же оно обеспечивает компактность и ясность материала.
Формализованные языки позволяют более точно и полно (по
сравнению с естественными) учесть и выразить
количественные аспекты изучаемых предметов.

8. Этапы формализации

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

9. Стандарты формализации

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

10. Типы формализированных теорий

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

11. Достоинства формализации

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

12. Спасибо за внимание 

Спасибо за внимание