Моррис Коэн - Введение в логику и научный метод стр 12.

Пожалуй, наиболее значимое различие между логикой и той частью лингвистики, которая именуется грамматикой, можно сформулировать следующим образом: норма или корректность, с которой имеет дело грамматика, заключается в согласованности с определенным реальным употреблением, тогда как норма или корректность логики базируется на возможностях, присутствующих в природе вещей, которые являются объектами нашей речи. Грамматика является главным образом дескриптивной социальной наукой, описывающей в систематическом виде способы употребления слов разными народами. Ее нормативный характер является случайным, подобно нормативному характеру, присущему описанию стилей одежды. Определенные стили употребления языка (английский язык королей [7] или язык шафера, произносящего речь на свадьбе) считаются предпочтительными. Многим различиям в лингвистических формах может не соответствовать никакое различие в значении. Примером тому является различие между отделительным и дательным падежами в латыни или же различия между такими словами, как «proved» и «proven», «got» и «gotten», в английском языке. Однако поскольку язык иногда используется для передачи важной информации, равно как и для выражения эмоций, грамматисты не могут игнорировать логические различия. Поскольку обыденный опыт не требует большой точности и тонкой проницательности в понимании природы вещей, обыденный язык не является точным. Логика же необходима для того, чтобы исправить эту туманность и двусмысленность.

Несмотря на то что слова являются одним из наиболее важных объектов для исследования, в целом нельзя сказать, что во всех суждениях речь идет о словах. В большинстве суждений подразумеваются объекты, такие как Солнце и звезды, Земля и ее составные части, наши собратья и их занятия и т. п., и импликация между суждениями, являющаяся предметом изучения логики, имеет дело с возможными отношениями между такими объектами. Логика критически рассматривает слова лишь как необходимые инструменты в наших утверждениях и выражениях, с тем чтобы указывать на их точную функцию и определять ошибки в умозаключениях.

Традиционно логика определялась как наука о законах мышления. Это определение восходит к временам, когда логика и психология еще не были вполне развитыми дисциплинами, четко отделенными от других ветвей философии. Однако сегодня не возникает сомнений в том, что любое исследование законов или способов нашего мышления относится к области психологии. Логическое различие между обоснованным и необоснованным умозаключением не указывает на то, как мы думаем, т. е. на процесс, происходящий в сознании человека. Доказательная сила оснований сама по себе является не временным явлением, а отношением импликации между определенными классами или типами суждений. Так, например, вопрос о том, следует ли с необходимостью из аксиом и постулатов Евклида утверждение, что площадь квадрата и площадь круга никогда не могут быть в точности равными, является вопросом о необходимых следствиях из утверждаемых нами суждений. При этом способ, по которому в действительности осуществляется мышление, здесь ни при чем. Разумеется, для осознания импликаций необходимо мышление (а не только чувственное восприятие).

Однако мышление точно так же необходимо и для осознания того, что любые научные суждения являются истинными. Это, однако, не делает физику областью психологии, если, конечно, не утверждать, что у этих дисциплин общий предмет, т. е. что физические объекты и их осознание – одно и то же. Сходным образом можно изучать и логическую импликацию, на которой базируются наши умозаключения, как психологическое событие, однако само отношение, которое непосредственно осознается, совсем не является психологическим событием. Это отношение присутствует между двумя типами суждений, а также в опосредованном виде между классами возможных объектов, о которых в суждениях нечто утверждается.

Понимание того, что логика не сводима к психологическим явлениям, поможет нам отличать ее от риторики, которая является искусством убеждения или аргументации с целью вызвать ощущение уверенности (certainty). Люди зачастую спутывают эти две дисциплины, поскольку слово «certainty» иногда используется как характеристика того, что демонстрируется [ «достоверность». – Прим. перев.], а иногда как ощущение убежденности без каких-либо сомнений [ «уверенность». – Прим. перев.]. Однако такое чувство уверенности может вообще существовать независимо от логики, а фактическая убедительность тех или иных аргументов гораздо чаще достигается не посредством логически неопровержимых доводов, а с помощью правильно подобранных слов, которые посредством ассоциаций обладают сильным эмоциональным воздействием. Это не принижает значения искусства риторики и не означает, что она всегда использует аргументы, которые лишь вводят в заблуждение. Искусством убеждения или искусством того, как заставить других с нами согласиться, в той или иной степени хотят владеть все люди. От него зависит гармония в социальных отношениях. Однако, строго говоря, логическая аргументация – это всего лишь один из способов убеждения других, отличающихся от нас людей, и не всегда самый эффективный. В силу нашей эмоциональной предрасположенности нам нелегко принять определенные суждения, безотносительно того, насколько весомы основания в их пользу. А поскольку любое доказательство зависит от принятия некоторых суждений за истинные, то человеку, в достаточной степени намеренному не принимать определенное суждение, невозможно будет доказать его истинность. Поэтому логическая необходимость, проявляющаяся в импликации, подобно логической необходимости в чистой математике, не является описанием способа, каким люди на самом деле мыслят, а скорее обозначает невозможность определенных комбинаций для утверждаемых объектов. История человеческих заблуждений показывает, что такие утверждения, как «я абсолютно уверен» или «я не могу не верить», не являются адекватным основанием для истинности каких бы то ни было суждений.

Каноны логической обоснованности в целом не зависят от исследований в рамках психологии как эмпирической науки. Психология, как и все остальные науки, может устанавливать какие-либо результаты только в согласии с правилами логического умозаключения. Однако изучение психологии существенно способствует компетентности в логике, ибо ничто кроме твердого знания психологии не может помочь нам избавить логическую теорию от ложных и неосознаваемых психологических допущений.

Помимо лингвистики и психологии, логика также не может отождествляться и с физикой, или естественной наукой. Суждения, исследуемые логикой, не сводятся к какой-либо отдельной области и могут относиться к чему угодно: искусству, делопроизводству, сказкам, теологии, политике. Таким образом, логическое отношение импликации, присутствуя в физике, не является объектом ее исследования.

В суждениях речь может идти и о несуществующих объектах, однако это не препятствует объективному статусу отношения импликации. Это отношение является объективным в том смысле, что оно не зависит от наших языковых конвенций или намерения думать неким определенным образом. Быть может, данное положение станет более понятным, если мы рассмотрим метод чистой математики. Как мы уже отмечали, в этой области нас интересует лишь импликация от наших исходных суждений, безотносительно того, истинны они или нет, и того, существуют ли описываемые в них объекты или же являются вымышленными. При этом исследования в области математики, проводящиеся на протяжении более чем двух тысячелетий, являются столь же обоснованными или детерминированными природой своего объекта (материальной импликации), как и любое географическое исследование Земли или астрономическое изучение движения звезд.

Никакое лингвистическое намерение или стремление думать иначе не способно повлиять на истины, открываемые или выводимые в таких областях, как теория простых чисел. И это распространяется на все виды строго логического вывода.

Главная цель логики – получить систематический способ различения обоснованных видов умозаключений и необоснованных. Однако исследователи логики не ограничивались только этой задачей. Со времен Локка они особенно часто вдавались в спекулятивные дискуссии относительно общей природы знания и операций, с помощью которых человеческое сознание постигает истину в отношении внешнего мира. Мы попытаемся избегать подобных тем не потому, что они неинтересны или неважны, а поскольку они не являются необходимыми для решения каких-либо строго логических задач. Ответы на вопросы, которые ставят дисциплины, носящие такие названия, как метафизика, рациональная психология или эпистемология, по всеобщему признанию являются слишком неопределенными или слишком сомнительными, чтобы служить базисом для науки о доказательстве или демонстрации. При этом нам бы хотелось избавиться от одного из таких вопросов, который, быть может, беспокоит читателя: как могут ложные суждения, или суждения о несуществующих объектах, иметь импликации, являющиеся объективно необходимыми?