Logic and set