Пионером в этом процессе выступила математика, заменяя разговорный язык математическими символами. Формализованный образ высказывания в математике называют формулой. (а=в) (в=а) Формализация в логике В логике процесс формализации начал уже Аристотель (древнегреческий философ и логик, III в. до н.э.).
Новым шагом по пути формализации логики явилось логическое исчисление, начало которому было положено Лейбницем
(немецкий философ и логик (1646-1716)).
Формализация требует, чтобы одна и та же мысль всегда выражалась при помощи одних и тех же рядов слов, расположенных одним и тем же способом. Формализация требует, чтобы одна и та же мысль всегда выражалась при помощи одних и тех же рядов слов, расположенных одним и тем же способом.
Если …, то …
Так как …, то …
… или …
… либо …
и др.
|
Если а=в, с=а, то с=в
|
Преимущества метода: четкость и точность в выражении мыслей с использованием формальной логики.
Недостатки: ограниченность метода, не все можно выразить в буквенной или символьной форме
Достарыңызбен бөлісу: |
