Символическая логика
Информация - Философия
Другие материалы по предмету Философия
/p>
Заключение
Современная формальная логика отличается от аристотелевской широким применением математических методов и предельной строгостью построений. В логике всегда использовалась символика (довольно простая). Но в современной логике роль символического аппарата колоссально возросла. Без него современная логика не смогла бы существовать и проводить исследования по теории вывода и доказательства, проанализировать ряд важных проблем естествознания. Без аппарата символической логики не могут работать кибернетические устройства, эти думающие автоматы, управляющие производственными процессами, регулирующие транспортные потоки, производящие самые сложные вычисления, осуществляющие учет, устанавливающие диагноз заболеваний, расшифровывающие письмена давно вымерших народов, играющие в шахматы и т.д. Все это и многое другое электронные устройства делают не потому, что они мыслят, а потому, что люди - программисты - всякий раз дают им особую программу, написанную на языке символической логики.
Список используемой литературы
1.Терлюкевич И.И., Булыго Е.К., Струтинская Н.В., - Логика. - 2010.
2.Анисомов А. Современная логика. - М., 2003.
.Ивин А.А. Логика. - М.: Гардарики, 2003.
.Кириллов В.И., Орлов Г.А., Фокин Н.И. - Логика-2003.
.Челпанов Г.И. Учебник логики. - М., 1996.
.Иванов Е.И. Логика. - М.: БЕК, 2001.