De progressu et lampade venatoria logicorum (Progress and the Hunter’s Lamp of Logical Methods