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

Август 21, 2022

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

Содержание

2. Определение формализации Формализация , в философском энциклопедическом словаре, определяется как совокупность познавательных операций, обеспечивающих отвлечение от
4. История формализации Используя буквенные переменные, Аристотель положил начало разработке метода формализации, к сожалению, вплоть до середины
5. На стыке XVI — XVII вв. свой вклад в развитие логики внес английский философ Фрэнсис Бэкон
6. Современный вид математической логике придал английский философ и математик Бертран Рассел (1872—1970). Свои исследования в области
7. ИСПОЛЬЗОВАНИЕ СПЕЦИАЛЬНОЙ СИМВОЛИКИ. Введение символов обеспечивает однозначность выражения мысли в виде некоторого символического выражения. Так же
8. Этапы формализации Символизация, т.е. перевод имеющихся в наличии знаний об объекте на формализованный язык; в нем
9. Стандарты формализации Непротиворечивость формализованного представления изучаемого материала Корректность: то, что мы на формализованном языке получаем (решаем,
10. Типы формализированных теорий Полностью формализованные (построены только с использованием логических средств); Частично формализованные (язык и логические
11. Достоинства формализации Базируется на использовании специальной символики, которая обеспечивает краткость и четкость фиксации знания; Позволяет избежать
13. Скачать презентацию

Слайд 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

Стандарты формализации
Непротиворечивость формализованного представления изучаемого материала
Корректность: то, что мы на формализованном

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

Слайд 10

Типы формализированных теорий
Полностью формализованные (построены только с использованием логических средств);

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

Слайд 11

Достоинства формализации
Базируется на использовании специальной символики, которая обеспечивает краткость и четкость

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

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

Содержание

Определение формализацииФормализация , в философском энциклопедическом словаре, определяется как совокупность познавательных

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

На стыке XVI — XVII вв. свой вклад в развитие логики

Современный вид математической логике придал английский философ и математик Бертран Рассел

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

Этапы формализацииСимволизация, т.е. перевод имеющихся в наличии знаний об объекте на

Стандарты формализацииНепротиворечивость формализованного представления изучаемого материалаКорректность: то, что мы на формализованном

Типы формализированных теорий Полностью формализованные (построены только с использованием логических средств);

Достоинства формализацииБазируется на использовании специальной символики, которая обеспечивает краткость и четкость

Похожие презентации