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