Мышление тоже имеет содержание и формы. Но есть и принципиальное отличие. Если содержание предметов и явлений действительности находится в них самих, то наиболее глубокое своеобразие мышления заключается именно в том, что у него нет собственного, порождаемого самопроизвольно содержания. Будучи отражательной системой, оно черпает свое содержание из внешнего мира. Этим содержанием является отраженная, как в зеркале, действительность.
Следовательно, содержание мышления есть все богатство наших мыслей об окружающем мире, конкретные знания о нем. Из этих знаний состоит и обыденное мышление людей, то, что принято называть «здравым смыслом», и теоретическое мышление — наука как орудие высшей ориентировки человека в мире.
Форма мышления, или, иначе, логическая форма, — это структура мысли, способ связи ее элементов. Это то, в чем сходны мысли при всем различии их конкретного содержания. В процессе общения, при чтении книг, газет, журналов мы обычно следим за содержанием сказанного или написанного. Но часто ли мы обращаем внимание на логическую форму мыслей? Да это и не так просто. Один из чеховских героев никак не мог уловить ничего общего в таких действительно различных по содержанию высказываниях, как «Все лошади едят овес» и «Волга впадает в Каспийское море». А общее в них есть, и оно не сводится лишь к их банальности или тривиальности. Общее здесь носит глубинный характер. Они построены по единому образцу: в них налицо утверждение чего-то о чем-то. Это и есть их единая логическая структура. Раскрыть структуру мысли — значит, выяснить, из каких элементов она слагается и какова связь между ними.
Наиболее широкими и общими формами мышления, которые исследует логика, являются понятие, суждение, умозаключение, доказательство, теория. Как и содержание, эти формы не самопроизвольны, т.е. не порождены самим мышлением, а представляют собой отражение наиболее общих структурных связей и отношений между предметами и явлениями самой действительности.
Для того чтобы получить хотя бы общее предварительное представление о логических формах, приведем в качестве примеров несколько групп мыслей.
Начнем с наиболее простых мыслей, выраженных словами «планета», «дерево», «адвокат». Нетрудно установить, что они весьма различны по содержанию: одна отражает предметы неживой природы, другая — живой, третья — общественной жизни. Но в них заключено и нечто общее: каждый раз мыслится группа предметов, причем в их общих и существенных признаках. Это и есть их специфическая структура, или логическая форма. Так, говоря «планета», мы имеем в виду не Землю, Венеру или Марс во всей их неповторимости и конкретности, а все планеты вообще, притом мыслим то, что объединяет их в одну группу и в то же время отличает от других групп — звезд, астероидов, спутников планет. Под «деревом» разумеем не данное дерево и не дуб, сосну или березу, а всякое дерево вообще в его наиболее общих и характерных чертах. Наконец, «адвокат» — это не конкретный индивид: Иванов, Петров или Сидоров, а адвокат вообще, нечто общее и типичное для всех адвокатов. Такая структура мысли, или логическая форма, называется понятием.
Приведем для примера еще несколько мыслей, но более сложных, чем предыдущие: «Все планеты вращаются с запада на восток»; «Всякое дерево — растение»; «Все адвокаты — юристы».
Эти мысли более различны по содержанию. Но и здесь налицо нечто общее: в каждой из них есть то, о чем высказана мысль, и то, что именно высказано. Подобное строение мысли, ее логическая форма именуется суждением.
Рассмотрим далее примеры еще более сложных мыслей. В логике для наглядности и удобства анализа они располагаются следующим образом:
Приведенные мысли еще более разнообразны и богаты по содержанию. Тем не менее это также не исключает единства их строения. А состоит оно в том, что из двух высказываний, определенным образом связанных между собой, выводится новая мысль. Подобное строение, или логическая форма, мысли есть умозаключение.
Можно было бы, наконец, привести примеры доказательств и теорий, используемых в различных науках, и показать, что при всем их содержательном различии они тоже имеют общность строения, т.е. логическую форму. Но это заняло бы здесь слишком много места.