Рациональность. Что это, почему нам ее не хватает и чем она важна

Кстати, если вы обращали внимание на выбор слов в этих примерах, вы могли заметить, что я не всегда одинаково определяю мои Р и Q, как должен был бы, если принять, что логика — это манипулирование символами, и ничего более. Я иногда изменяю подлежащее, время, число или глагол. «Некто — женщина» превращается в «Ксантиппа — женщина», «вы предлагаете» чередуется с «Оливер предлагает», а «вы должны надеть шлем» превращается в «на ребенка надет шлем». Это важно: строго говоря, слова «вы должны надеть шлем» при такой подаче не противоречат словам «ребенок без шлема». Именно поэтому ученые-логики разработали более мощные логические системы, позволяющие разбивать Р и Q пропозиционального исчисления на составляющие. Это исчисление предикатов, различающее субъекты и предикаты, а также операторы все и некоторые; модальная логика, которая различает утверждения, истинные — так уж случилось — в нашем мире, вроде «Париж — столица Франции», и те, что будут истинными во всех мирах, вроде «2+2=4»; темпоральная логика, различающая прошлое, настоящее и будущее; и деонтическая логика, оперирующая понятиями «обязательство», «разрешение» и «норма»[120].

Формальная реконструкция

Какую практическую пользу можно извлечь из умения идентифицировать различные виды валидных и невалидных рассуждений? Зачастую оно помогает выявлять ошибочные умозаключения в повседневной жизни. Рациональная аргументация — это, во-первых, определение точек соприкосновения, то есть посылок, истинных по мнению всех участников дискуссии, во-вторых, формулирование условных суждений, в которых, согласно общему мнению, одно неизбежно вытекает из другого, и, в-третьих, применение надежных правил вывода, позволяющих получить логичные, и только логичные, заключения из согласованных посылок. Не всякий спор дотягивает до такого идеала — виной тому могут быть неверные правила вывода, наподобие подтверждения консеквента, или же несформулированная явным образом посылка, что превращает силлогизм в так называемую энтимему. Признаю, ни один смертный не располагает достаточным временем и вниманием, чтобы изложить все до одной посылки и заключения в рассуждении, поэтому в реальной жизни практически любое рассуждение представляет собой энтимему. Тем не менее, чтобы заметить ошибки и потерянные допущения, аргументацию бывает полезно разложить на посылки и условные суждения. Это называется формальной реконструкцией, и преподаватели философии дают подобные задания студентам, чтобы те могли отточить свои мыслительные навыки.

Возьмем пример: в ходе праймериз 2020 г. один из претендентов на роль кандидата в президенты от Демократической партии Эндрю Янг ратовал за введение безусловного базового дохода. Вот цитата с его сайта с обоснованием целесообразности этой стратегии (я пронумеровал утверждения):

(1) Умнейшие в мире люди предрекают, что в ближайшие 12 лет треть американцев лишится работы из-за автоматизации производства.

(2) Принимаемые нынешними властями меры не способны помочь преодолеть этот кризис.

(3) Если американцы не будут иметь источников дохода, будущее может стать весьма мрачным.

(4) Базовый доход в размере 1000 долларов в месяц, выплачиваемый за счет налога на добавленную стоимость, гарантирует, что автоматизация производства будет выгодна всем американцам[121].