Abstract

Elaborates a system of logic designed to provide an adequate framework for the extreme empiricist principles of Logical Positivism--a task which, the author argues, klassische Logistik is incapable of fulfilling. Interesting features of this system include its lack of type distinctions and its departure from the usual theory of propositional functions and quantifiers--there is, in particular, no negation, and no analogue either of material implication or of universal quantification, though, in certain cases, the effect of the universal quantification of an implication can be obtained.--W. T.