The Logic of Conceivability Project