Дмитрий Алексеевич Гусев
Логика
Введение, Или что такое логика и зачем она нужна?
Начиная знакомиться с какой-либо наукой, мы прежде всего отвечаем на вопрос о том, что она изучает, чему посвящена, чем занимается. Логика – это наука о мышлении. Но ведь мышлением занимаются и психология, и педагогика, и многие другие науки. Значит, логика занимается не всеми вопросами и проблемами, связанными с мышлением, не всеми его областями или сторонами, а только какими-то из них. Что же интересует логику в мышлении?
Каждый из нас хорошо знает, что по содержанию человеческое мышление бесконечно многообразно, ведь мыслить (думать) можно о чем угодно, например, – об устройстве мира и происхождении жизни на Земле, о прошлом человечества и его будущем, о прочитанных книгах и просмотренных фильмах, о сегодняшних занятиях и завтрашнем отдыхе и т. д. и т. п.
Но самое главное заключается в том, что наши мысли возникают и строятся по одним и тем же законам, подчиняются одним и тем же принципам, укладываются в одни и те же схемы или формы. Причем, если содержание нашего мышления, как уже было сказано, бесконечно разнообразно, то форм, в которых выражается это разнообразие совсем немного.
Для пояснения этой мысли приведем простой пример. Рассмотрим три совершенно различных по содержанию высказывания:
1. Все караси – это рыбы;
2. Все треугольники – это геометрические фигуры;
3. Все стулья – это предметы мебели.
Несмотря на различное содержание, у этих трех высказываний есть нечто общее, что-то их объединяет. Что? Их объединяет не содержание, а форма. Отличаясь по содержанию, они сходны по форме: ведь каждое из этих трех высказываний строится по схеме или по форме – «Все А – это В», где А и В – это какие-либо предметы. Понятно, что само высказывание «Все А – это В» лишено всякого содержания (О чем конкретно оно говорит? Ни о чем!). Это высказывание представляет собой чистую форму, которую, как вы догадываетесь, можно наполнить любым содержанием, например: Все сосны – это деревья; Все города – это населенные пункты; Все школы – это учебные заведения; Все тигры – это хищники и т. д. и т. п.
Приведем другой пример. Возьмем три различных по содержанию высказывания:
1. Если наступает осень, то опадают листья;
2. Если завтра будет дождь, то на улице будут стоять лужи;
3. Если вещество – металл, то оно электропроводно.
Будучи непохожими друг на друга по содержанию, эти три высказывания сходны между собой тем, что строятся по одной и той же форме: «Если А, то В». Понятно, что к этой форме можно подобрать огромное количество различных содержательных высказываний, например: Если не подготовиться к контрольной работе, то можно получить двойку; Если взлетная полоса покрыта льдом, то самолеты не могут взлетать; Если слово стоит в начале предложения, то его надо писать с большой буквы и т. д. и т. п.
Итак, мы заметили, что по содержанию наше мышление бесконечно разнообразно, но все это разнообразие укладывается всего в несколько форм. Так вот логика не интересуется содержанием мышления (им занимаются другие науки), она изучает только формы мышления, ее интересует не то, что мы мыслим, а то, как мы мыслим, поэтому она также часто называется формальной логикой. Так, например, если по содержанию высказывание Все комары – это насекомые является нормальным, понятным, осмысленным, а высказывание Все Чебурашки – это инопланетяне является бессмысленным, нелепым, абсурдным, то для логики эти два высказывания равноценны: ведь она занимается формами мышления, а форма у этих двух высказываний была одной и той же – «Все А – это В».
Таким образом, форма мышления – это способ, которым мы выражаем наши мысли, или схема, по которой они строятся. Существует три формы мышления.
1. Понятие – это форма мышления, которая обозначает какой-либо объект или признак объекта (примеры понятий: карандаш, растение, небесное тело, химический элемент, мужество, глупость, нерадивость и т. п.).
2. Суждение – это форма мышления, которая состоит из понятий, связанных между собой и что-либо утверждает или отрицает (примеры суждений: Все планеты являются небесными телами; Некоторые школьники – это двоечники; Все треугольники не являются квадратами и т. п.).
3. Умозаключение – это форма мышления, в которой из двух или нескольких исходных суждений вытекает новое суждение или вывод. Примеры умозаключений: