Родился в 1949 г. в селе на
Слободской Украине (ныне Россия, Белгородщина). Род берёт начало от знаменитого русского (запорожского) казацкого полковника. Закончил сельскую школу, затем
мехмат МГУ. Специализировался по
логике. Затем стал заниматься
программированием, философией,
лингвистикой и общим системным и логическим анализом. Является одним из основателей теории неформализуемых понятий и теории логического синтеза программ на базе конструктивных логик, создал две из четырёх известных классов конструктивных логик, разработал методику логического подхода, ставшего естественной альтернативой системному подходу.