Stav dette: Institutiones logicae et ontologicae