Нет, пожалуй, такого раздела логики, в котором не было бы своих собственных парадоксов.
В индуктивной логике есть свои парадоксы, с которыми активно, но пока без особого успеха борются уже почти полвека. Особенно интересен парадокс подтверждения, открытый американским философом К.Гемпелем. Естественно считать, что общие положения, в частности научные законы, подтверждаются своими положительными примерами. Если рассматривается, скажем, высказывание «Все А есть В», то положительными его примерами будут объекты, обладающие свойствами А и В. В частности, подтверждающие примеры для высказывания «Все вороны черные» — это объекты, являющиеся и воронами, и черными. Данное высказывание равносильно, однако, высказыванию «Все предметы, не являющиеся черными, не вороны», и подтверждение последнего должно быть также подтверждением первого. Но «Все не черное не ворона» подтверждается каждым случаем не черного предмета,
не являющегося вороной. Выходит, таким образом, что наблюдения «Корова белая», «Ботинки коричневые» и т.п. подтверждают высказывание «Все вороны черные».
Из невинных, казалось бы, посылок вытекает неожиданный парадоксальный результат.
В логике норм беспокойство вызывает целый ряд ее законов. Когда они формулируются в содержательных терминах, несоответствие их обычным представлениям о должном и запрещенном становится очевидным. Например, один из законов говорит, что из распоряжения «Отправьте письмо!» вытекает распоряжение «Отправьте письмо или сожгите его!».
Другой закон утверждает, что, если человек нарушил одну из своих обязанностей, он получает право делать все, что угодно. С такого рода «законами долженствования» наша логическая интуиция никак не хочет мириться.
В логике знания усиленно обсуждается парадокс логического всеведения. Он утверждает, что человек знает все логические следствия, вытекающие из принимаемых им положений. Например, если человеку известны пять постулатов геометрии Евклида, то, значит, он знает и всю эту геометрию, поскольку она вытекает из них. Но это не так. Человек может соглашаться с постулатами и вместе с тем не уметь доказать теорему Пифагора и потому сомневаться, что она вообще верна.