Логический парадокс – ситуация, когда в теории доказываются два взаимно исключающие друг друга суждения, причем каждое из них выведено убедительными средствами. = Противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Высказывание, состоящее из двух суждений, которые взаимно отрицают друг друга, но которые равнодоказуемы и равновероятны.
- В деревне только один парикмахер, но он бреет только тех жителей своей деревни, которые не бреются сами. Должен ли он брить самого себя?
- Если он себя не бреет, то он относится к тем жителям деревни, которых он должен брить. Значит, он должен себя брить. Если же он себя бреет, то он не относится к тем жителям своей деревни, которых он должен брить. Значит, он не должен себя брить.
Софизм (= логическая уловка) – преднамеренные нарушения логических правил с целью ввести в заблуждение слушателей или оппонента (противника в споре) или создать видимость победы в дискуссии. Софизмами намеренно запутывают, уводят от истины.
Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя есть рога.