On the various notations adopted for expressing the common propositions of logic. (Q5914542)

Der Verfasser stellt eine Liste auf über die verschiedenen symbolischen Formen, welche im Laufe der Zeit für denselben Satz gebraucht worden sind. Er wählt die universelle Negation (nicht \(S\) ist \(P\)) als diejenige aus, welche am einfachsten und wenigsten zweifelhaft unter allen Formen ist. Das Verzeichnis besteht aus 26 Bezeichnungen, welche in 6 Klassen geteilt sind. 1) ``Existential'': Boole, Macfarlane. 2) ``Identity'': Boole, Wundt, Jevons, Delboeuf, Murphy, Halland, Drobisch, Segner. 3) ``Implication''. Darjes, Grassmann, MacColl, Peirce, Frege. 4) ``Common form convertible'': De Morgan, Wundt, Ploncquet, Bentham, Hamilton. 5) ``Notional'': Leibniz, Lambert. 6) ``Non descript and arbitrary'': Maimon, Ploncquet, Chase. Jede Bezeichnung wird genau beschrieben.