Логические парадоксы

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

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

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

Но если в логике нет экспериментов, нет фактов и нет самого наблюдения, то чем сдерживается логическая фантазия? Какие если не факты, то факторы принимаются во внимание при создании новых логических теорий?

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