ABSTRACT
Several important purposes can be achieved only by mapping the logical syntax of inductive support on to an appropriate formal system or systems. A class of generalisations of quantified S4 is described, in a syntactical metalanguage, and an interpretation is proposed for them that make the axiom-schemata represent previously discussed principles of modal or inductive logic. Monadic and dyadic inductive functors, and an inductive information-functor, are contextually defined in terms of the primitive symbolism. The principles of inductive syntax are themselves as much susceptible of mutual corroboration by consilience as are any other inductively supported generalisations. The logical syntax of inductive support for hypotheses turned out to be substantially the same as that for hypotheses that involve only second-order quantification.
