Основоположником формальной логики считают древнегреческого ученого, философа Аристотеля (384-322 гг. до н. э.).
Если в «Диалогах» Платона (427-347 гг. до н. э.) логика просматривалась в содержательных рассуждениях Сократа (ок. 469-399 гг. до н. э.), то Аристотель вместо конкретных высказываний вводит переменные, отделяет логические правила от содержания, делает первый шаг к математически строгому, формализованному подходу в изучении логики.
Уже у Аристотеля была идея составлять более сложные высказывания из простых высказываний. Дальнейшее развитие эта идея получила в трудах немецкого математика, физика, философа Лейбница (1646-1716 гг.). Он работал над приданием аристотелевой логике алгебраической формы. Но лишь в середине прошлого века эта идея в работах английского математика и логика Джорджа Буля (1815-1864 гг.) воплотилась в законченную форму. Он построил алгебру на системе аксиом, которая описывает свойства высказываний и назвал свою алгебру алгеброй логики.
Комментариев нет:
Отправить комментарий