Logical frameworks, Aristotle and soft systems: a note on the origins, values and uses of logical frameworks, in reply to Gasper · Study