Введение в логику и научный метод

История человеческих заблуждений показывает, что такие утверждения, как «я абсолютно уверен» или «я не могу не верить», не являются адекватным основанием для истинности каких бы то ни было суждений.

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

Логика и физика

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

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

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

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

Логика и метафизика знания

Главная цель логики – получить систематический способ различения обоснованных видов умозаключений и необоснованных. Однако исследователи логики не ограничивались только этой задачей.