В мышлении жизни сила,
Дыхание и свет.
Без мысли – мрак могилы,
И жизни нет. (В.Блейк)
Логика – наука, изучающая формы и законы мышления. (греч. "logos" - мысль, разум).
Историческая справка. Этапы развития логики.
1 этап - формальная логика. Основатель – Аристотель (384-322 гг.до н.э.), ввел основные формы абстрактного мышления.
2 этап – математическая логика. Основатель – немецкий ученый и философ Лейбниц (1642-1716), предпринял попытку логических вычислений.
3 этап – математическая логика (булева алгебра). Основатель – английский математик Джордж Буль (1815-1864), ввел алфавит, орфографию и грамматику для математической логики.
До 20-х годов ХХ века логика развивалась в направлении формализации и каталогизации правильных способов рассуждений.
Классическая (двузначная) логика – это первая ступень развития формальной логики.
Вторая ступень – символическая (математическая) систематизирует формы мышления, применяя математические методы и специальный аппарат символов. Исследует содержательное мышление с помощью исчислений.
Алгебра логики (булева алгебра, алгебра высказываний)– это математический аппарат, с помощью которого записывают (кодируют), упрощают, вычисляют и преобразовывают логические высказывания.
Математическая логика - система обозначений и правил, применимая ко всевозможным объектам, от чисел до предложений, и позволяющая закодировать высказывания с помощью символов своего языка, а затем манипулировать ими.
