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