Institutiones philosophicae, Logica