Русский ученый Семён Николаевич Корсаков в 1832 г. представил общественности своё изобретение — гомеоскоп [8], устройство для разработки систем принятия решений по набору некоторых ключевых факторов. В основе своей гомеоскоп состоит из перфорированной таблицы и цилиндра перемещаемого вдоль таблицы. В вертикальных столбцах таблицы перфорированы признаки соответствующие некоторой записи, отмеченной в нижней строке. В цилиндр на определенных расстояниях втыкаются булавки, определяющие набор признаков искомой записи. В процессе перемещения цилиндра булавки цепляются за перфорированные отверстия, и цилиндр автоматически останавливается, в случае если все булавки совпали с набором отверстий в столбце таблицы.
11
12
В 1870 г. Уильям Стэнли Джевонс сконструировал ЛМ, позволяющую механизировать простейшие силлогистические выводы. Машина Джевонса имела вид фортепиано с клавишами. Смотровой щиток над клавиатурой отображал элементы таблицы истинности. На одних клавишах буквы обозначали субъекты суждения (предметы мысли), на других — предикаты суждения (высказывания о предметах мысли). Остальные клавиши выполняли различные команды. Клавиши были соединены с помощью стержней с элементами таблицы истинности, и после нажатия на клавишу, стержни перемещали элементы таблицы. Машина Джевонса отличалась от ранее созданных ЛМ тем, что она решала задачи уже быстрее человека.
13
14
Джон Венн (1834-1923) работал в области логики классов, где создал особый графический аппарат (так называемые диаграммы Венна). В книге «Символическая логика» (Symbolic logic, 1894) он изложил свою знаменитую технику диаграмм для проверки логических выводов и описал возможность построения ЛМ на основе диаграмм.
15
16
17
В 1883 г. Аллан Маркванд (1853-1924) взял за основу логическое пианино Джевонса и расширил его. А в последующие годы Маркванд предложил версию машины, в которой механические действия заменялись электромеханическими.
18
В 1936 г. психолог Бенжамин Бурак построил первую электрическую ЛМ. Она была упакована в небольшой чемодан и питалась от батарей. Внизу чемодана содержались деревянные блоки, представляющие утверждения (посылки). Блоки держались на металлических контактах, а когда блоки перемещались на определенные позиции, схемы активировались для вывода результата: либо силлогизм верный, либо произошла ошибка.
Машина Бурака имела мало преимуществ перед ручной проверкой силлогизмов и была долгое время неизвестна, пока в 1947 г. её не описали в литературе.
20