The Logic of Conceivability