Бахтияров Камиль Ибрагимович

(р. 21.06.1934) — спец. по логике; канд. техн. наук, д-р филос. наук, проф. Род. в Москве.

Окончил Моск. инж.-строительный ин-т (1957) и механико-матем. ф-т МГУ (1965). С 1971 преп., затем доц. кафедр высшей математики Военно-инж. академии и Военной академии хим. защиты.

Проф. кафедры высшей математики Моск. ин-та инж. с.-х. производства.

Докт. дисс. — "Многоаспектный подход в логике" (1989). Основным направлением иссл. Б. является разработка метода арифметиза-ции логики, позволяющего дать решение проблемы Лейбница — сведения умозаключений к вычислению.

Новым является введение логических векторов для представления булевых конституент, компоненты к-рых записываются в троичной системе счисления.

Метод арифметизации был реализован в компьютерных программах: БУЛЬ — для минимизации булевых нормальных форм, КЭРРОЛЛ — для решения аристотелевых силлогизмов и СОРИТ — для решения соритов с многими терминами.

Соч.: Об одном подходе к формализации парадоксальных ситуаций // ФИ. 1976. № 1; Многоаспектный подход в логике и теории познания // Там же. 1988. № 8; Умозаключения на персональных компьютерах.

М., 1989; Компьютеризация логики // ФИ. 1990. Т.9; Многомерность Истины.

Там же. 1991. № 4; Истинность и достоверность // Там же. 1991. № 2; Arithmetization of classical and поп-classical logic // Proceedings of conference on the fundamentals of Artificial Intelligence. Paris, 1991.