Dwayne

“ Let us recall that a propositional function is defined as an infinite-valued statement, containing one or more variables, such that when single values are assigned to these variables the expression becomes a one-valued proposition. A manifold of interrelated propositional functions, usually called postulates, with all the consequences following from them, usually called theorems, has been termed by [Cassius J. Keyser] a doctrinal function. A doctrinal function, thus, has no specific content, as it deals with variables, but establishes definite relations between these variables. In principle, we can assign many single values to the variable terms and so generate many doctrines from one doctrinal function.