Page:Philosophical Review Volume 1.djvu/482



[ABBREVIATIONS. — ''Am. J. Ps. = American Journal of Psychology; Ar. f. G. Ph. = Archiv für Geschichte der Philosophie; Int. J. E. = International Journal of Ethics; Phil. Jahr. = Philosophisches Jahrbuch; Phil. Mon. = Philosophische Monatshefte; Phil. Stud. = Philosophische Studien; Rev. Ph. = Revue Philosophique; R. I. d. Fil. = Rivista Italiana di Filosofia; V. f. w. Ph. = Vierteljahrschrift für wissenschaftliche Philosophie; Z. f. Ph. = Zeitschrift für Philosophie und philosophische Kritik; Z. f. Ps. u. Phys. d. Sinn. = Zeitschrift für Psychologie und Physiologie der Sinnesorgane''. — Other titles are self-explanatory.]

The aim of the paper is not to add one more to the numerous systems of notation and symbolic method that have been already worked out more or less independently, but rather to bring out some underlying principles and assumptions which belong equally to the ordinary Formal Logic, to Symbolic Logic, and to the so-called Logic of Relatives. At the same time, it is hoped to present the work of different writers or different branches in a more systematic and comprehensive form than has hitherto been done. The Principle of Formal Inference. The principle of formal inference is expressed in the formula "(b and c) implies c"; i.e. a conclusion formally reached is simply a determinant of the data expressed in the premises. Notation for Propositional Synthesis. As determinative synthesis has always been represented by multiplication, we shall use the symbol a.b to stand for "a and b" The symbol a$$\cdot$$b may stand for "a or b." Notation for the Molecular Analyzed Proposition. J. adopts a notation suggested by Mr. Peirce's paper on the "Logic of Relatives " in the Johns Hopkins Studies in Logic: "We may express molecular propositions of any order as follows: px, pxy, pxyz, pxyz0, etc., — representing such propositions as 'Coal is produced,' 'Coal is produced in England,' 'Coal was produced in England in 1890, etc" Notation for the Synthesis of Molecular Propositions. px$$\cdot$$qx = (p$$\cdot$$q)x : px$$\cdot$$qx = (p$$\cdot$$q)x. Then follow symbols for The Synthesis of Singly-Quantitative Propositions, for the Transition from the Synthesis of Unanalyzed Propositions to Multiple Quantification, for Complex Combinations involving Multiple Quantifications. The final Rh