Logic and Stars