(Систематическое изложение новой аналитики было впервые дано учеником Гамильтона, Томасом Спенсером Бейнсом, в его удостоенной премии работе: «An Essay on the New Analytic of Logical Forms», Эдинб., 1850 (Очерк новой аналитики логических форм). Но уже в 1827 году Джордж Бентам (племянник упомянутого ниже Иеремии Бентама) в некотором смысле проложил путь своим трудом: «An Outline of a New System of Logic» (Очерк новой системы логики), который Гамильтон рецензировал в «Edinburgh Review» (Эдинбургское обозрение) в связи с «Elements of Logic» Уэтли, 1825 (см. «Discussions etc.» (Дискуссии и пр.)). Однако ни Бентама, ни Гамильтона нельзя назвать основателями символической логики. Основателем ее в собственном смысле следует считать Джорджа Буля: «The Mathematical Analysis of Logic», Кембр., 1847 (Математический анализ логики); «An Analysis of the Laws of Thought on which are founded the mathematical theories of Logic and Probabilities», Лонд., 1854 (Анализ законов мышления, на которых основаны математические теории логики и вероятностей). Буль рассматривал суждение как выражение отношения равенства между субъектом и предикатом и стремился на этой основе представить для логики исчисление, подобное математическому. Согласно Булю, закон противоречия составляет основной принцип логики, и он может быть выражен уравнением x=x² или x (1-x) =0, где x обозначает класс объектов, а 1-x – все те объекты, которые не включены в x. Ученик Буля, У. Стэнли Джевонс, стремился упростить метод своего учителя. Главные работы Джевонса по логике: «Pure Logic, or the science of Quality apart from Quantity», 1864 (Чистая логика, или наука о качестве в отрыве от количества); «The Substitution of Similars», 1869 (Подобие подстановок) (обе вошли в «Pure Logic and other Minor Works» by W. S. Jevons, изданные Адамсоном и Х. А. Джевонсом, Лонд., 1890); «The Principles of Science», 1874, 2-е изд. 1877 (Принципы науки); «Studies in Deductive Logic», 1880 (Исследования по дедуктивной логике). Основным принципом умозаключения, по Джевонсу, является подстановка подобного (the Substitution of Similars), и нет больше необходимости различать в суждении два понятия, которые совершенно обратимы, как субъект и предикат. Две работы Джевонса, «Elementary Lessons in Logic», Лонд., 1870 и след. изд. (Начальные уроки логики), и «Primer of Logic», Лонд., 1878 и след. изд. (Букварь логики), широко используются в качестве учебников. Другую позицию занимает Джон Венн, который оспаривает, что система Буля состоит в каком-либо внутреннем родстве с гамильтоновским учением о квантификации предиката, см. его «Symbolic Logic», Лонд., 1881 (Символическая логика), которая также содержит богатые библиографические указания. В этой области следует упомянуть еще следующие сочинения: А. Де Морган, «Formal Logic», 1847 (Формальная логика); «Syllabus of a proposed System of Logic», 1860 (Программа предлагаемой системы логики); Ст. «Логика» в «Eng. Encyclopaedia»; У. Сполдинг, «Introduction to Logical Science», 1857 (Введение в логическую науку); К. М. Ингельби, «Outlines of Theoretical Logic», 1856 (Очерки теоретической логики); Дж. П. Хьюлингс, «The Logic of Names, an Introduction to Booles Laws of Thought», 1869 (Логика имен, введение в законы мышления Буля); А. Дж. Эллис, «Algebraical Analogies of Logical Relations» (Алгебраические аналогии логических отношений) («Proc. of R. Society», vol. XXI); Уильям Томсон, «Outline of the Laws of Thought», 1875 (Очерк законов мышления); Дж. Венн, «Logic of Chance», 2-е изд. 1876 (Логика случая); Дж. Н. Кейнс, «Studies and Exercises in Formal Logic», Лонд., 1884 (Исследования и упражнения по формальной логике); У. Э. Джонсон, «The Logical Calculus», «Mind», N. S. II, S. 3, 235, и 340 (Логическое исчисление); Э. Э. Констанс Джонс, «Elements of Logic as a science of Propositions», Лонд., 1890 (Элементы логики как науки о суждениях).)
