Тема Общенаучные и конкретно-предметные методы в исследовании процессов



бет2/10
Дата31.03.2022
өлшемі267,25 Kb.
#29372
түріЗакон
1   2   3   4   5   6   7   8   9   10
Байланысты:
c912abf3-2883-42aa-b76f-d056b56cc10b

Формализация в математике

Пионером в этом процессе выступила математика, заменяя разговорный язык математическими символами.

Формализованный образ высказывания в математике называют формулой.

(а=в)  (в=а)

Формализация в логике

В логике процесс формализации начал уже Аристотель

(древнегреческий философ и логик, III в. до н.э.).


Новым шагом по пути формализации логики явилось логическое исчисление, начало которому было положено Лейбницем

(немецкий философ и логик (1646-1716)).


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

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


Если …, то …

Так как …, то …

… или …

… либо …

и др.

Если а=в, с=а, то с=в

Преимущества метода: четкость и точность в выражении мыслей с использованием формальной логики.

Недостатки: ограниченность метода, не все можно выразить в буквенной или символьной форме




Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9   10




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет