Subject-Predicate Structures

Abstract

There are terms which are formed as follows:

• 1) one selects some object Π¹;

• 2) in the thus limited range of selection one selects some Π¹ different from Π¹; selection of Π² is impossible without that of Π¹; if the selection of Π² is carried out this means that the selection of Π¹ is carried out; which Π¹ is selected is of no importance for the selection of Π²; the very selection of Π¹ provides the possibility of that of Π²; this dependence of the selection of Π² on that of Π¹ occurs irrespective of assumptions on possibilities of the investigator (the dependence is assumed);

• 3) the Π² chosen in this way is designated by the term t² (we agree to consider an object of the type t² a term for Π²).