Родился 11 февраля 1951 года в городе Молотове Молотовской области СССР (ныне – город Пермь Пермского края). Отец, Лобовиков Олег Алексеевич (1916-1999), был инженером-конструктором на авиамоторном заводе; мать, Лобовикова Людмила Валентиновна (1925-2006) - бухгалтером в редакции областной газеты. В 1958 году поступил в среднюю школу № 77 города Перми с изучением ряда предметов на английском языке. После её успешного окончания в 1968 году поступил на философский факультет Уральского государственного университета, с отличием закончив его в 1973 году. С самого начала, проявив большой интерес к математической логике, стал специализироваться в ее изучении.

С 1973 года читал лекции по математической логике в должности ассистента кафедры логики, психологии и педагогики УрГУ, с 1978 года - в должности доцента, с 1991 года - профессора кафедры философии (с 1988 года по настоящее время - по совместительству). В 1977 году защитил диссертацию на соискание ученой степени кандидата философских наук на тему «Логические противоречия и проблемы (вопросы) как внутренний источник развития теоретического знания». В 1985 году в течение 10 месяцев занимался научной работой в Финляндии (Хельсинкский университет) по теме «Модальная логика оценок, норм и предпочтений с точки зрения этики и права»; проводил научные исследования в систематическом общении с Георгом Хенриком фон Вригтом – всемирно известным талантливым ученым, заложившим основы символической модальной логики норм (деонтической логики).

В 1988 году перешёл в Институт философии и права Уральского отделения АН СССР/РАН. В 1990 году защитил диссертацию на соискание ученой степени доктора философских наук на тему «Формализация деятельности: оценки и нормы». С 1991 года читает лекции по логике и логическим проблемам права на юридическом факультете Гуманитарного университета. В 1995-1996 гг. в рамках программы научных обменов J.F.D.P., поддерживавшейся U.S.I.A., учился и занимался научной работой в США в Школе Права Техасского университета (город Остин), проводя исследования на тему «Логика и право». В соответствии с указанной программой получил опыт чтения лекций по логике (на английском языке) для американских студентов философского факультета Техасского университета. В 1997 году перешел из Института философии и права УрО РАН в Уральскую государственную юридическую академию, где в течение одного года (1997-1998) работал профессором кафедры теории государства и права, а с мая 1998 по сентябрь 2001 гг. - профессором и заведующим кафедрой информационно-правовых технологий. В сентябре 2001 года возвратился в Институт философии и права УрО РАН, где по настоящее время работает главным научным сотрудником отдела права.

Предмет научных исследований - логико-математические модели в праве и их взаимосвязь с современными информационно-правовыми технологиями. Одно из направлений изучения упомянутого предмета – дискретные математические модели естественного права и политической экономии, в частности, правового регулирования экономики: монополии, собственность, сервитуты, узуфрукты и т.п. Особый профессиональный интерес представляет систематическое обнаружение логических противоречий в системах права и изобретение методов их разрешения, в частности, логические противоречия внутри системы антимонопольных законов и системы законов, определяющих право собственности. Сфера основного теоретического интереса - возрождение «старой» идеи естественного права с помощью математического аппарата современной символической логики. Построил алгебру естественного права и применил ее к некоторым важным практическим проблемам: антитрестовскому законодательству США, конституционному праву (разделение властей, разделение церкви и государства), семейному (и гендерному) праву, научным исследованиям преступности и т.д.

Наряду с научной работой читает спецкурс лекций, посвященный современной (символической) формальной логике права и математическим моделям юридических систем и процессов. В 1997 году читал лекции по философии (обзорный курс, включающий онтологию, эпистемологию, эстетику, этику, философию права и т.п.) для студентов лингвистического факультета Гуманитарного университета. С 1998 года читает спецкурс лекций для аспирантов философского факультета УрГУ/УрФУ по математическому моделированию структурно-функционального аспекта системы философских дисциплин посредством представления ее как системы необходимо связанных булевых (или близких к ним) алгебр. С 2003 года читает спецкурс лекций (для студентов философского факультета УрГУ/УрФУ, специализирующихся по философии права), посвященный математической философии правового регулирования экономики (обзор мысленных экспериментов с математическими моделями естественного права экономической деятельности). В 2002/2003 и 2003/2004 учебных годах для студентов кафедры теологии УрГУ читал лекции по использованию математического аппарата логики в целях изучения религиозных доктрин естественно-правового типа. В течение ряда лет работал (по совместительству) профессором кафедры информатики и математики Уральской академии государственной службы, читая курс лекций «Математические модели социальных и политических процессов» для студентов специальностей «Юриспруденция» и «Государственное и муниципальное управление».

Автор более 490 публикаций, в том числе 8 книг, из которых одна написана и опубликована на английском языке. Все книги посвящены логико-математическому анализу кодексов правовых норм и систем морально-правовых оценок.

Принимал участие в создании учебных планов и программ, научном руководстве аспирантами (А.Г. Кислов, Г.К. Ольховиков). В разное время заведовал сектором «Логика норм (деонтическая логика)» Института философии и права УрО РАН, кафедрой философии Уральского университета - Уральского института экономики, управления и права, кафедрой социально-экономических дисциплин Гуманитарного университета, кафедрой информационно-правовых технологий Уральской государственной юридической академии.

Дети: от первого брака – дочери Юлия (1974 г.р.) и Ольга (1982 г.р.); от третьего брака – Ярослав (2001 г.р.).

Полный список лекционных курсов:

1) Логика (для студентов гуманитарных факультетов УрГУ/УрФУ и Гуманитарного университета; для юридических факультетов Гуманитарного университета и Уральского университета - Уральского института экономики, управления и права);

2) Символическая (математическая) логика (для студентов философского факультета УрГУ/УрФУ);

3) Философия и неклассические формально-логические исчисления (для студентов философского факультета УрГУ/УрФУ);

4) Право естественное и право позитивное (для студентов факультета социологии и политологии УрГУ/УрФУ);

5) Математические модели философии как системы различных философских дисциплин: математическая онтология; математическая логика; математическая этика; математическая эстетика; математическая теология; математическая философия экономики; математическая философия права (для аспирантов и студентов магистратуры философского факультета УрГУ/УрФУ);

6) Философия: история философии и логико-математические модели различных философских систем (для студентов факультета иностранных языков Гуманитарного университета);

7) Логика и математическая психология (для студентов факультета психологии УрГУ/УрФУ);

8) Логико-психологические проблемы юридического процесса (для студентов Уральской государственной юридической академии);

9) Религиозная философия: история и логико-математические модели различных философско-теологических систем (для студентов кафедры теологии Российского государственного профессионально-педагогического университета);

10) Наука и религия: логико-математические модели их взаимосвязи (для студентов кафедры теологии Российского профессионально-педагогического ун-та);

11) Формальная этика и аксиология в религии (для студентов кафедры теологии Российского государственного профессионально-педагогического университета);

12) Логико-математические модели государственно-политического и морально-правового регулирования поведения (взаимосвязь позитивного права, естественного права и криминологии) [для курсантов Омской академии МВД (приглашенный профессор)];

13) Математическая философия государственно-правового регулирования экономики (для студентов философского факультета УрГУ/УрФУ);

14) Математические модели социально-политических процессов (для студентов факультета государственного управления и юридического факультета Уральской академии государственной службы);

15) Математические модели в теории управления (для аспирантов и студентов магистратуры Уральской академии государственной службы);

16) Естественное право и преступность (Логико-математические модели взаимосвязи позитивного права, естественного права и криминологии) (для студентов юридического факультета Уральского гуманитарного института);

17) Теория государства и права (для студентов Института прокуратуры и Института юстиции Уральской государственной юридической академии);

18) Логическая экспертиза нормативных правовых актов (для студентов Института юстиции Уральской государственной юридической академии);

19) Логический анализ и дискретные математические модели метафизических систем (Метафизика как формальная аксиология): на материале истории философии (для студентов философского факультета УрГУ/УрФУ);

20) Естественное право как система: ее дискретная математическая модель (для студентов философского факультета УрГУ/УрФУ);

21) Математическое правоведение (для студентов юридического факультета Гуманитарного университета).

1) Позитивное право, обычное право и естественное право как частные случаи (стороны), подсистемы системы права. Естественное право как система. Алгебра естественного права -- дискретная математическая модель системы неизменных универсальных ценностей. Гармония (соответствие) позитивного, обычного и естественного права. Морально-правовое программирование "автономных" роботов с "искусственным" интеллектом.

2) Математическое моделирование системы философских наук: математическая логика, математическая эстетика (двузначная алгебра формальной эстетики), математическая этика (двузначная алгебра формальной этики), математическая философия права (двузначная алгебра естественного права), математическая философия религии (дискретная математическая модель естественной теологии), дискретная математическая модель философской онтологии (двузначная алгебра метафизики как формальной аксиологии), математическая философия экономики, математическая философия науки, аксиоматизация философской эпистемологии.

Философское общество России

Знак "Победитель социалистического соревнования" Министерства высшего и среднего специального образования РСФСР (1977);
Почетная грамота Главы города Екатеринбурга "За многолетний плодотворный труд и в связи с 70-летием академической науки на Урале" (2002);
Диплом лауреата премии Института философии и права УрО РАН "За лучшую научную работу" (2005);
Почетная грамота Президента Российской академии наук "За многолетний добросовестный труд, практический вклад в развитие отечественной науки" (2011);
Почетная грамота Законодательного собрания Свердловской области "За большой вклад в развитие науки в Свердловской области" (2016);
Медаль ордена «За заслуги перед Отечеством» II степени (2022).