Logic in systematics