Интуитивная логика
Под интуитивной логикой обычно понимают интуитивные представления о правильности рассуждений, сложившиеся стихийно в процессе повседневной практики мышления. Интуитивная логика, как правило, успешно справляется со своими задачами в повседневной жизни, но совершенно недостаточна для критики неправильных рассуждений.
Пример. Правильно ли рассуждает человек, когда говорит: «Если бы барий был металлом, он проводил бы электрический ток; барий проводит электрический ток; следовательно, он металл?». Чаще всего на основе логической интуиции отвечают: правильно, барий металл, и он проводит ток. Этот ответ, однако, неверен. Хотя все три утверждения, входящие в рассуждение, верны, между ними нет логической связи. Рассуждение построено по неправильной схеме: «Если есть первое, то есть второе; второе есть; значит, есть и первое». Такая схема от истинных исходных положений может вести не только к истинному, но и к ложному заключению, она не гарантирует получения новых истин из имеющихся.
Пример. В рассуждении: «Если у человека повышенная температура, он болен; человек болен; следовательно, у него повышенная температура» обе посылки могут быть истинными, а заключение ложным: многие болезни протекают без повышения температуры.
Логическая правильность зависит только от способа связи утверждений. Она не зависит от того, истинны используемые в рассуждении посылки или нет.
Простые примеры показывают, что логика, усвоенная стихийно, даже в обычных ситуациях может оказаться ненадежной.
Навык правильного мышления не предполагает каких-либо теоретических знаний, умения объяснить, почему что-то делается именно так, а не иначе. К тому же сама интуитивная логика, как правило, беззащитна перед лицом критики.
Традиционная и современная логика
В истории логики отчетливо выделяются два основных этапа. Первый – от древнегреческой логики до возникновения во второй половине XIX века современной логики. Второй – с того времени до наших дней.
Первый этап обычно называется традиционной логикой. Формальная логика развивалась очень медленно. Обсуждавшиеся в ней проблемы мало чем отличались от проблем, поставленных еще Аристотелем. Это дало повод Канту прийти к выводу, что формальная логика является завершенной наукой, не продвинувшейся со времени Аристотеля ни на один шаг.
Кант не заметил, что еще с XVII века стали назревать предпосылки для научной революции в логике. Именно в это время получила ясное выражение идея представить доказательство как вычисление, подобное вычислению в математике.
Эта идея связана, главным образом, с именем Лейбница. По Лейбницу, вычисление суммы или разности чисел осуществляется на основе простых правил, принимающих во внимание только форму чисел, а не их смысл. Результат вычисления однозначно предопределяется этими, не допускающими разночтения правилами, и его нельзя оспорить. Лейбниц мечтал о времени, когда умозаключение будет преобразовано в вычисление. Когда это случится, споры между философами станут невозможны. Вместо спора они возьмут в руки перья и скажут: «Будем вычислять». Идеи Лейбница не оказали заметного влияния на его современников. Энергичное развитие логики началось лишь в XIX веке.
Немецкий математик и логик Готлоб Фреге (1848 ‒ 1925) в своих работах стал применять формальную логику для исследования оснований математики. Фреге был убежден, что «арифметика есть часть логики и не должна заимствовать ни у опыта, ни у созерцания никакого обоснования». Пытаясь свести математику к логике, он реконструировал саму логику. Логическая теория Фреге – провозвестник всех нынешних теорий правильного рассуждения.
Идея сведения всей чистой математики к логике была подхвачена английским логиком и философом Бертраном Расселом (1872 ‒ 1970). Но последующее развитие логики показало неосуществимость этой попытки. Она привела, однако, к широкому проникновению плодотворных методов математики в логику.
Современную логику нередко называют математической, подчеркивая тем самым своеобразие новых ее методов в сравнении с использовавшимися ранее в традиционной логике. Одна из характерных особенностей этих методов – широкое использование разнообразных символов вместо слов и выражений обычного языка. Символы применял в ряде случаев еще Аристотель, а затем и все последующие логики. Однако со второй половины XIX века в использовании символики был сделан качественно новый шаг. В логике стали использоваться специально построенные языки, содержащие только специальные символы и не включающие ни одного слова обычного разговорного языка.
Широкое использование символических средств послужило основанием того, что, новую логику стали называть символической. Названия «математическая логика» и «символическая логика» обозначают одно и то же – современную формальную логику. Она занимается тем же, чем всегда занималась логика, – исследованием правильных способов рассуждения.