Типы логических учений
Логика, также как и другие науки постоянно развивается. Вопросы на которые она должна давать ответы слишком сложны, чтобы смогла сформироваться только одна универсальная истинная логика на все времена и для всех случаев. История становления логики показывает, что к настоящему времени сложилось три основных логических учений в чём-то противоречащих, а в чём то дополняющих друг друга. Это традиционная, классическая и неклассическая логики. Традиционной логикой принято называть теорию силлогизмов (силлогистику), созданную Аристотелем (384-322 до н. э.). В средние века она была систематизирована схоластами и примерно в таком виде дошла до наших дней. В большей части отечественных учебников традиционная логика до сих пор излагается именно в той форме, которую ей придали средневековые логики. Силлогистика – исторически первая теория дедуктивного вывода. Кроме силлогизмов к предмету традиционной логики принято также относить суждения, из которых строятся силлогизмы, понятия, из которых образуются суждения, доказательство и опровержение как важнейшие функции силлогистических рассуждений. Силлогистика остается одной из самых точных и совершенных логических теорий. Классическая (символическая) логика (логика высказываний и предикатов) возникла на рубеже XIX-XX вв. как результат реализации Готтлобом Фреге (1848-1925), Бертраном Расселом (1872-1970), Альфредом Уайтхедом (1861-1947) программы сведения математики к логике и Давидом Гильбертом (1862-1943) и его последователями программы формализации всей математики. В новой логике ее создатели видели главное средство изгнания парадоксов из теории множеств, доказательство непротиворечивости всей классической математики и ее полной независимости от психологических и опытных допущений. Ни одна из поставленных программных целей не была достигнута, и, как позже было доказано, этого нельзя было сделать по принципиальным основаниям. Но новая логика получила право на существование и стала развиваться уже по своим законам. Основными разделами классической логики являются: 1. Синтаксис: правила построения формализованного языка. 2. Семантика: правила интерпретации выражений построенного языка как осмысленных. 3. Правила вывода: правила, позволяющие из посылок умозаключений выводить необходимые следствия. 4. Значение истинности сложных высказываний однозначно определяется значением истинности образующих их простых (атомарных) высказываний. 5. Высказывания, имеющие одно и то же расширение (один и тот же объем или одно и то же значение истинности), считаются эквивалентными. Долгое время классическая логика считалась универсальной и совершенной теорией. Но в последней трети прошлого столетия в связи с потребностями конструирования искусственного интеллекта и программирования процесс создания новых логик максимально активизировался. Слишком формальный характер классической логики, не контролирующий смысловые связи между суждениями стал серьёзной проблемой для исследователей. Наступил новый, «плюралистический» этап в развитии символической логики. Все ее новые теории в итоге объединили под общим названием «неклассическая логика». Основное отличие неклассических логик от символической состоит в отказе от 4-го и 5-го её допущений изложенных выше.
|
