Author Retains CopyrightCresswell, Maxwell John2011-07-132022-10-272011-07-132022-10-2719601960https://ir.wgtn.ac.nz/handle/123456789/25333I have used, where available the standard Russellian symbolism and unless otherwise stated I intend it to have its normal interpretation. The following symbols require explanation; '@' is to be interpreted as a symbol for any number of any propositional variables.It is not a metasymbol however and is uninterpreted in a pure calculus. '(@)' is a symbol for a string of universal quantifiers. 'f'' is to be interpreted as a variable for a truth functor of n argument places. When followed by a string of variables, n is equal to the number of distict variables.When followed by @ the number of argument places is left indeterminate.pdfen-NZhttps://www.wgtn.ac.nz/library/about-us/policies-and-strategies/copyright-for-the-researcharchiveSymbolic logicMathematical logicPhilosophyTextAll rights, except those explicitly waived, are held by the Author