По законам логики

Если мы убеждены, что все металлы проводят электрический ток, мы должны признать также, что вещества, не проводящие ток, не относятся к металлам. Уверив себя, что каждая птица летает, мы вынуждены не считать птицами курицу и страуса. Из того, что все люди смертны и Иван Ильич является человеком, мы обязаны заключить, что и он смертен.

В чем источник этого постоянного принуждения? Какова его природа? Что именно следует считать несовместимым с принятыми уже утверждениями и что должно приниматься вместе с ними? Какие вообще принципы лежат в основе деятельности нашего мышления?

Над этими вопросами человек задумался очень давно. Из размышления над ними выросла особая наука о мышлении — логика.

Древнегреческий философ Платон настаивал на божественном происхождении человеческого разума. «Бог создал зрение, — писал он, — и вручил его нам, чтобы мы видели на небе движение Разума мира и использовали его для руководства движениями нашего собственного разума». Человеческий разум — это только воспроизведение той разумности, которая господствует в мире и которую мы улавливаем благодаря милости бога.

Первый развернутый и обоснованный ответ на вопрос о природе и принципах человеческого мышления дал ученик Платона Аристотель. «Принудительную силу наших речей» он объяснил существованием особых законов — логических законов мышления. Именно они заставляют принимать одни утверждения вслед за другими и отбрасывать несовместимое с принятым. «К числу необходимого, — писал Аристотель, — принадлежит доказательство, так как если что-то безусловно доказано, то иначе уже не может быть; и причина этому — исходные посылки…»

Подчеркивая безоговорочность логических законов и необходимость всегда следовать им, он заметил: «Мышление — это страдание», ибо «коль вещь необходима, в тягость она нам».

С работ Аристотеля началось систематическое изучение логики и ее законов.

Оно не прекращалось никогда, но в нашем веке были достигнуты особенно впечатляющие результаты.

Знакомство с основными принципами логики — дело интересное и важное уже потому, что каждый из нас руководствуется ими в практике своего мышления.

АНАЛИЗ И КРИТИКА МЫШЛЕНИЯ

Слово «логика» многозначно. Поэтому, прежде чем начать разговор о «логике», нужно уточнить, о чем именно пойдет речь.

Нередко говорят о логике событий, о логике характера, логике истории и т. д. В этих случаях имеется в виду определенная взаимосвязь и взаимозависимость событий или поступков, наличие в них общей линии. Такая преемственность и определение последующего предшествующим и есть «логика» в самом широком смысле.

Слово «логика» употребляется также в связи с процессами мышления. Так, мы говорим о логике мышления и логичном или нелогичном мышлении, имея в виду такие его свойства, как последовательность, доказательность и т. п. «Логика» выступает здесь как определенная характеристика человеческого мышления.

В третьем смысле «логика» является именем особой науки о мышлении. В дальнейшем это слово будет употребляться только в таком его значении.

Но и в смысле науки о мышлении слово «логика» опять-таки до крайности многозначно.

Прежде всего «логикой» называют науку, у истоков которой стоял еще Аристотель и полное имя которой — формальная логика. О ней и пойдет прежде всего речь.

В середине XVII века французские философы, последователи Р. Декарта, укрывавшиеся в монастыре в Пор-Рояле, опубликовали книгу, получившую известность под именем «Логика Пор-Рояля». Эта книга заметно отступила от круга проблем формальной логики и положила начало разным вариантам «расширенной» формальной логики, ставшим особенно популярными позднее, в XIX веке. В «Логике Пор-Рояля» подробно излагалась новая наука Р. Декарта об идеях, впервые была включена в логику методология, в которой речь идет об общих принципах и методах познания. Собственно логическое содержание оказалось в результате сведенным к минимуму.

Термин «формальная логика» был введен только в XVIII веке немецким философом И. Кантом. Этой логике И. Кант противопоставил совершенно новое понимание логики — трансцендентальную логику. Ее задачей он считал установление и обоснование категорий, то есть тех предельно общих понятий, подобных «качеству» и «величине», которые применяются в каждом акте познания.

И. Кант не только дополнил формальную логику, в общем-то высоко ценимую им, собственной версией логики, но и противопоставил вторую первой.

Эта кантовская традиция резкого противопоставления только что изобретенной «неформальной» логики логике в духе Аристотеля принесла впоследствии много вреда.