Summa logicaeOpera philosophica 1. 1974