Logic of antinomies