In essence, Taylor was treating two types of propositions as if they were the same, when in fact they needed to be distinguished and treated differently.
Clearly, the first two types of propositions do not provide us with absolute certainty.
The three-step proposal he advocates distinguishes between three types of propositions: evidence, beliefs and judgments.
Each category of knowledge comprises several different types of propositions, each of which has a different informational purpose.
In previous research studying imagery, Lang's (1977, 1979) Information-Processing Theory states two types of propositions: stimulus propositions (SP) and response propositions (RP).
He reduces all types of propositions to necessary affirmative propositions and discusses some of the differences between the Peripatetics and the Illuminationists regarding a number of sophisms.
This notion of truth serves as the ground for a hierarchy of different notions of truth applicable to different types of propositions depending on their complexity.
I will take such types of propositions to contain tokens some of which are generally thought to be known given what we ordinarily take knowledge to be.
In the Introduction to Principia Mathematica, as part of his explanation of ramified type-theory, Russell described various notions of truth applicable to different types of propositions of different complexity.
Sophismata and insolubilia can refer either to the propositions that might be discussed in a debate or treatise or other form, or a form of argument for discussing these types of propositions.
