Формально-логический парадокс — рассуждение, которое доказывает как истинность, так и ложность некоторого предложения, или как его утверждение, так и его отрицание.