 The late Jan Pinborg has described the terminist logic found in Bacon and his contemporaries as “semantical analysis of a natural language, viz. Latin, built on Aristotelian logic, especially the Sophistici elenchi and the Peri hermeneias, and on the development of grammar. This analysis stressed the truth value of propositions analyzed and its conditions, and therefore displayed what can be called a contextual approach; that is, it was based on the actual function and reference of the term in the proposition to be analyzed. A given word could be used differently, or according to different suppositions, and the rules for these different uses helped to avoid ambiguities. The doctrine of supposition was intended to solve both the relatively trivial ambiguities which arose from confusion of linguistic levels (man is white, man is a species, man is a noun) and ambiguities involved in quantification (or distribution) theory. These problems were primarily solved in terms of reference, since different suppositiones picked out different ranges of individuals.”(Jan Pinborg 1979)