Парадоксы логики

Парадоксы логики или семантические парадоксы - это «правдоподобные» рассуждения, приводящие к противоречивым результатам.

Хотя логика и является основой всех остальных наук, тем не менее, присущее ей, наряду с фундаментальностью, свойство самоочевидности привело к отсутствию глубоких исследований вплоть до XIX столетия, когда интерес к логике оживился под влиянием неевклидовых геометрий (геометрии Лобачевского), а также необходимости строгого обоснования математического анализа. Особый же всплеск внимания к логике возник на исходе XIX века: мир был поражён открытием парадоксов логики, то есть рассуждений, приводящих к противоречиям. Эти парадоксы обычно называют семантическими парадоксами.

Парадокс лжеца.Некто утверждает: «Я лгу». Если утверждение «я лгу» истинно («я лгу» = «истина»), то это означает, что он действительно лжёт о том, что лжёт, т.е. утверждение «я лгу» – ложно. Получается, что высказывание «я лгу» и истинно, и ложно одновременно.

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