photon писал(а):
ПАКЕТ писал(а):
входит в противоречие с законом непротиворечия
А Вы не приведете формулировку этого закона?
Без проблем, ловите.
НЕПРОТИВОРЕЧИЯ ЗАКОН
— логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истинными. Закон говорит о противоречащих друг другу высказываниях, т. е. высказываниях, одно из которых является отрицанием другого. Отсюда иное название закона — законпротиворечия, подчеркивающее, что закон отрицает противоречие, объявляет его ошибкой и тем самым требует непротиворечивости.
Противоречат друг другу, напр., высказывания: «Фобос — спутник Марса» и «Фобос не является спутником Марса», «Кентавры существуют» и «Кентавры не существуют» и т. п. Большинство неверных толкований Н. з. и большая часть попыток оспорить его приложимость если не во всех, то хотя бы в отдельных областях связаны с неправильным пониманием логического отрицания, а значит, и логического противоречия.
Нет, в частности, противоречия в утверждении «Листва опала и не опала», подразумевающем, что некоторые деревья уже сбросили листву, а другие нет, в утверждении «Человек и ребенок, и старик», выражающем идею, что один и тот же человек в начале своей жизни — ребенок, а в конце ее - старик, и т. п.
Введя понятия истины и лжи, Н. з. можно сформулировать так: никакое высказывание не является одновременно истинным и ложным. Истина и ложь - две несовместимые характеристики высказывания. Истинное высказывание соответствует действительности, ложное не соответствует ей. Закон отрицает, что одно и то же высказывание может соответствовать реальному положению вещей и одновременно не соответствовать ему.
Иногда Н. з. формулируют таким образом: из двух противоречащих друг другу высказываний одно является ложным. Эта формулировка подчеркивает опасность, связанную с противоречием. Тот, кто допускает противоречие, вводит в свои рассуждения или в свою теорию заведомо ложное положение, что, разумеется, недопустимо.
С использованием символики логической (р — некоторое высказывание; & — конъюнкция, «и»; ~ — отрицание, «неверно, что») Н. з. выражается формулой:
~(р&~р), неверно, что р и не-р. Напр.: «Неверно, что глина металл и что она не металл», «Неверно, что птицы летают и что они не летают» и т. п.
Логические противоречия — противоречия непоследовательного, путаного рассуждения - принципиально отличны от противоречий диалектических. Н. з. запрещает первые, но он не распространяется на вторые. О диалектике развития и борьбе противоположных сторон, определяющей развитие, нужно рассуждать последовательно и непротиворечиво, как и обо всем другом.
http://culture.niv.ru/doc/logic/dictionary/186.htm
27.01.2008, 23:02 
, я бы привел такой пример. Силлогистику определенно лучше изучать по какому-нибудь учебнику логики для юристов, а не по «Первой аналитике».
, 
. В современной теории можно строить множества не абы как, а только согласно строго определённым правилам. Следуя этим правилам, невозможно построить множество, содержащее само себя.