Изменение смысла основных понятий логики

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

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

Сама логическая форма сделалась относительной: она зависит не только от исследуемого языкового выражения, но и от принятой системы анализа, от того формализованного языка, на который это выражение «переводится».

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

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

«Рассуждения» имеют место в большом числе различных контекстов: в повседневной жизни, в математике и науке, в судах и, между прочим, в логике тоже, пишет финский философ и логик Г. X. фон Вригт. Нельзя считать само собою разумеющимся, что принципы, согласно которым протекают верные рассуждения, одни и те же во всех контекстах (видах контекстов). «Законы логики» не обязательно истинны semper ubique.

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

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

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