In the paper I prove that there are two squares of opposition. The
unconventional one is built up for synthetic propositions. There a, i are
contrary, a, o (resp. e, i) are contradictory, e, o are subcontrary, a, e
(resp. i, o) are said to stand in the subalternation