Важную роль в распространении идей математической логики у нас в стране сыграли также работы профессоров Одесского университета начала этого века Е. Буницкого и И. Слешинского. Они исследовали проблемы применимости результатов математической логики к арифметике и подчеркнули единство старой и новой (математической) логики.
Известный русский физик П. Эренфест первым высказал гипотезу о возможности применения современной ему логики в технике. В 1910 году он писал: «Символическая формулировка дает возможность «вычислять» следствия из таких сложных систем посылок, в которых при словесном изложении почти или совершенно невозможно разобраться. Дело в том, что в физике и технике действительно существуют такие сложные системы посылок. Пример: пусть имеется проект схемы проводов автоматической телефонной станции. Надо определить: 1) будет ли она правильно функционировать при любой комбинации, могущей встретиться в ходе деятельности станции; 2) не содержит ли она излишних усложнений. Каждая такая комбинация является посылкой, каждый маленький коммутатор есть логическое «или — или», воплощенное в эбоните и латуни; все вместе — система чисто качественных (сети слабого тока, поэтому не количественных) «посылок», ничего не оставляющая желать в отношении сложности и запутанности. Следует ли при решении этих вопросов раз и навсегда удовлетвориться… рутинным способом преобразования на графике? Правда ли, что, несмотря на существование уже разработанной алгебры логики, своего рода «алгебра распределительных схем» должна считаться утопией?»
В дальнейшем гипотеза П. Эренфеста получила прекрасное воплощение в теории релейно-контактных систем. Многие интересные и важные детали ее были развиты в работах советских логиков В. Шестакова, Е. Войшвилло и др.
В общем, оглядываясь назад на историю распространения математической логики, можно сказать, что лучшие русские логики всегда стремились стоять на уровне современных им мировых теорий и концепций, органически чуждаясь всякого рода логического сектантства и сепаратизма.
МОГУЩЕСТВО ИСКУССТВЕННОГО ЯЗЫКА
Старая логика пользовалась для описания мышления обычным языком, на котором повседневно общаются люди. Но он имеет целый ряд особенностей, мешающих ему, к сожалению, успешно справляться с этой задачей.
Его правила, касающиеся построения сложных выражений из простых, расплывчаты. Интуитивные критерии осмысленности утверждений ненадежны. Структура фраз скрывает реальную логическую форму. Большинство выражений многозначно.
