суббота, 16 октября 2010 г.

Логика (История)

Логика
(История)

Логика - наука о том, какие формы рассуждений правильны. Возникла более 2000 лет назад.

Возникла логика, как считают историки, в 4 в. до н.э.
Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, так как полагается, что он вывел первую логическую теорию.

К 16 веку была создана буквенная символика, позволяющая выполнять алгебраические преобразования по строго определенным правилам, а чтобы облегчить проверку и преобразование сложных цепочек рассуждений было создано специальное буквенное исчисление. Оно получило название "алгебры логики"  или "математической логики". "Основы математической логики" были заложены в 17 веке немецким математиком Г.Лейбницем, а как научная дисциплина  сформиловалась в трудах ирландского математика 19 века Джорджа Буля.