Логика. Элементарный курс

Из невинных, казалось бы, посылок вытекает неожиданный парадоксальный результат.

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

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

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

6. Что такое логический парадокс

Никакого исчерпывающего перечня логических парадоксов не существует, да он и невозможен.

Рассмотренные парадоксы – это только часть из всех обнаруженных к настоящему времени. Вполне вероятно, что в будущем откроют и многие другие парадоксы, и даже совершенно новые их типы. Само понятие парадокса не является настолько определённым, чтобы удалось составить список хотя бы уже известных парадоксов.

«Теоретико-множественные парадоксы являются очень серьёзной проблемой, не для математики, однако, а скорее для логики и теории познания», – пишет австрийский математик и логик К.Гёдель. «Логика непротиворечива. Не существует никаких логических парадоксов», – утверждает математик Д.Бочвар. Такого рода расхождения иногда существенны, иногда словесны. Дело во многом в том, что именно понимается под логическим парадоксом.

Своеобразие логических парадоксов

Необходимым признаком логических парадоксов считается логический словарь.

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