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