The first proposition tests the blackness of ravens. The second proposition tests the non-raven-ness of non-black things. When abbreviated, it sure looks like a paradox.