Краткий справочник по русской логике

Варианты частноутвердительного силлогистического функтора Ixy.

1. Ixy = Ixy || Ayx || Axy = xy+x'y'+i(xy'+x'y) (Ixy)' = j(xy'+x'y)2. Ixy = Ixy || Ax'y = x+y+ix'y' (Ixy)' = jx'y'3. Ixy = Ixy || Axy || Ayx || Ax'y || (x=y) = xy+i(x'+y') (Ixy)' = j(x'+y')4. Ixy = Ixy || Ayx = x+y'+ix'y (Ixy)' = jx'y5. Ixy = Ixy || Ayx || Ax'y = x+ix' (Ixy)' = jx'6. Ixy = Ax'y = Ay'x = Ex'y' = x+y (Ixy)' = x'y'7. Ixy = Ixy || Axy || Ax'y = y+iy' Oxy = jy'8. Функтор Васильева представлен диаграммами Лобанова. x ======---- y --======-- Ixy = 1

Любой базис может быть представлен с помощью атомарного базиса,состоящего всего из двух функторов: Axy = x'+y, Ixy = x+y+x'y' = 1

Русский базис

Axy(2) = Axy = x'+yExy(2) = Axy' = x'+y'Ixy(2) = Ixy || Ax'y = x+y+ix'y'

Базис Васильева.

Axy(8) = Axy = x'+y = Exy'Exy(8) = Axy' = x'+y' = Axy' = Ayx' = EyxIxy(8) = Ixy = x+y+x'y' = 1 = Ix'y' = Ix'y = Ixy' = Iyx = Iyx' = Iy'x = Iy'x'

Базис Аристотеля-Жергонна.

Axy(3) = Axy || (x=y) = xy+x'y'+ix'yExy(3) = Axy' = x'+y'Ixy(3) = Ixy || Ax'y || Axy || Ayx || (x=y) = xy+i(x'+y')Oxy(3) = Ixy || Ax'y || Axy' || Ayx = xy'+i(x'+y) = Ixy'(3)

Алгоритмы.

"Импульс" - анализ законов логики суждений."Импульс-С" - синтез законов логики суждений."ИЭИ" - аналитический синтез силлогизмов. "НИИРТА" - минимизация логических функций по картам Карно."Осташ" - универсальный синтез силлогизмов."Осташков" - синтез полисиллогизмов."РЕДАН" - графический синтез недостающей посылки."Селигер" - решение логических уравнений."Суздаль" - графический синтез соритов."ТВАТ" - графический синтез силлогизмов.

 

Список публикаций

1. Лобанов В. И. Инженерные методы разработки цифровых устройств. - М:НИИРТА, 1977(шифр Центр. Политехн. Библиотеки - W145 4/231)(шифр библ. НИИРТА –-507/Л68).

2. Лобанов В. И., Федулов А. И., Иванов Л. Н. Применение микропроцессоров в бытовой радиоприемной аппаратуре. //Радиотехника, 1983, N1.

3. Иванов В. И., Лобанов В. И., Митрофанов А. В. Отладочные средства для малоразрядных однокристальных микро-ЭВМ. //Микропроцессорные средства и системы, 1984, N2, с. 42_46.

4. Лобанов В. И., Мальков В. А. Аппаратное отладочное устройство для малоразрядной микро-ЭВМ. //Электронная промышленность, 1986, вып. 2, с. 52_53.

5. Лобанов В. И. Архитектура некоторых типов отладочных средств для микроконтроллера. //Микропроцессорные средства и системы, 1986, N3, с. 30_31.

6. Лобанов В. И. Метод минимизации булевых функций от большого числа переменных с помощью карт Карно. // Инф. листок №54_87, МособлЦНТИ, 1987.

7. Лобанов В. И. Отладочные устройства для микропроцессоров и микро-ЭВМ. //Микроэлектроника, 1986, сер. 3, вып. 1(226), с. 56_57.

8. Лобанов В. И., Митрофанов А. В. Применение микропроцессоров серии К580 в бытовой радиоприемной аппаратуре. //Тезисы докладов Всесоюзного совещания ?Повышение качества БРЭА на основе широкого внедрения микроэлектроники? _ М. : Радио и связь, 1982, с. 13_14.

9. Лобанов В. И. Электронный регулятор на базе микро-ЭВМ //Микропроцессоры в системах контроля и управления(тезисы докладов) _ Пенза:1986, с. 67_68.

10. Лобанов В. И. Об одном методе синтеза распределителей импульсов //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве. - М. :1987, вып. 4, уч. N60

11. Лобанов В. И. Синтез делителей частоты с дробным коэффициентом деления. //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве. - М. :1987, вып. 4, уч. N60, с28_29.

12. Лобанов В. И. Синтез делителей частоты со скважностью 2. //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве. М. :1987, вып. 4, уч. N60, с29_30.

13. Лобанов В. И. Отладочные средства для микропроцессоров и микро-ЭВМ. //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве., 1986, вып. 1, уч. N72, с. 56_57.

14. Гутовец Н. И., Жданов В. И., Колодяжный В. Н., Лобанов В. И., Митрофанов А. В. Автономные обучающие устройства для отладки микроконтроллеров. //Электронная промышленность, 1986, вып. 9(157), с. 8_10.

15. Айзман М. И., Лобанов В. И., Митрофанов А. В., Черняков М. С., Широков А. Н. Микропроцессорная система контроля таксофонов. //Микропроцессорные средства и системы, 1988, N2, с. 91_93.

16. Дербунович Л. В., Лобанов В. И. Диагностические процессоры в системах управления технологическим оборудованием. //Энергетика. Известия вузов, 1988, N9, с. 87_88.

17. А. с. №1242910(СССР). Импульсное регулирующее устройство/Коровин Н. И., Лобанов В. И. _ Открытия, изобретения, 1986, N20.

18. А. с. №758105(СССР). Устройство контроля и защиты источников питания/Лобанов В. И. _ Открытия, изобретения, 1980, N31.

19. А. с. №746942(СССР). Делитель частоты/Лобанов В. И. _ Открытия, изобретения, 1980, N25.

20. А. с. №744973(СССР). Преобразователь код-фаза/Лобанов В. И., Столяров А. М. _ Открытия, изобретения, 1980, N24.

21. А. с. №1434439(СССР). Устройство для контроля выполнения программ // Антосик В. В., . . ., Лобанов В. И., . . . _ Открытия, изобретения, 1988, N40.

22. Лобанов В. И. Отказоустойчивый микроконтроллерный регулятор с программируемой структурой обработки данных/Автореферат диссертации на соискание ученой степени кандидата технических наук _ Харьков, 1989.

23. А. с. №523(Роспатент) на полезную модель ”Адаптируемое устройство для отладки микроконтроллеров” от 16. 06. 1995 //Держатель патента Лобанов В. И.

24. Лобанов В. И. Кризис логики суждений и некоторые пути выхода из него. //Современная логика: проблемы теории, истории и применения в науке(Материалы V Общероссийской научной конференции)-Санкт-Петербург, 1998, стр. 190 - 193.

25. Лобанов В. И. Решение логических уравнений. //Научно-техническая информация, сер. 2, Информационные процессы и системы, N9, 1998, с. 34-40.

26. Лобанов В. И. Адаптируемая отладочная система для проектирования микроконтроллеров. //Приборы и системы управления, N7, 1998, с. 60-62

27. Лобанов В. И. Многозначная силлогистика без кванторов. //НТИ, сер. 2, Информ. процессы и системы, N10, 1998, с. 27-36.

28. Лобанов В. И. Силлогистика Аристотеля-Жергонна. //НТИ, сер. 2, Информационные процессы и системы, N9, 1999, с. 11-27.

29. Лобанов В. И. Фундамент искусственного интеллекта. // НТИ, сер. 2, Информационные процессы и системы, №5, 2000, с. 6 - 18.

30. Лобанов В. И. Базовые проблемы классической логики. //Современная логика: Проблемы теории, истории и применения в науке(Материалы VI Общероссийской научной конференции) — СПб. : 2000, с. 499 — 504.

31. Лобанов В. И. Синтез и минимизация комбинационных схем //Информатика и образование, N5, 2000 , с. 60 –63.

32. V. I. Lobanov. The solution of logical equations. // Documentation and Mathematical Linguistics, vol. 32, №5, 1998, p. 16 – 27 .

33. V. I. Lobanov. Many-valued quantifier-free syllogism (second basis). // Documentation and Mathematical Linguistics, vol. 32, №5, 1998, p. 40 – 60 (гонорар выплачен 4. 11. 2000).

34. V. I. Lobanov. // Documentation and Mathematical Linguistics, vol. 32, №6 , 1999 (гонорар выплачен 4. 11. 2000).

35. Лобанов В. И. Инженерная логика. Часть 1. //НТИ, сер. 2, Информационные процессы и системы, №1, 2001, с. 13-22.

36. Лобанов В. И. Технический минимум пользователя САПР MAX+PLUS II. //Chip News, №1, 2001г., с. 56-58.

37. Лобанов В. И. Практикум по логике суждений. //Информатика и образование, №2, 2001, с. 47-52.

38. Лобанов В. И. Практикум по силлогистике. //Информатика и образование, №6, 2001, с. 42 - 47.

39. Лобанов В. И. Азбука разработчика цифровых устройств. – М. : Горячая линия – Телеком, 2001 – 192с. (шифр ЦПТБ W148 6 | 261)

40. Лобанов В. И. Проектирование в САПР MAX+PLUS II. // Chip News, №5, 2001г., с. 66-71.

41. Лобанов В. И. Инженерная логика. Часть 2. // НТИ, сер. 2, Информационные процессы и системы, №3, 2001, с. 29 – 32.

42. Лобанов В. И. Логика в школе. //ИТО-2001. Информационные технологии в образовании. Секция 1. 2 – М. : 2001г. (http: //ito. edu. ru . ).

43. Лобанов В. И. Логика Порецкого. // НТИ, сер. 2 , Информационные процессы и системы, №9, 2001, с, 25-31.

44. Лобанов В. И. Русская силлогистика. // Информатика и образование, №4, 2002, с. 41 - 46.

45. Лобанов В. И. Русская логика. // http: //www. saslib. ru/ref/arh/25/HAI-0401/Index. txt, 21. 05. 2001.

46. Лобанов Владимир Иванович. "Семантическая логика Лобанова". // Программа XII международного симпозиума “Перестройка естествознания в III тысячелетии. Раздел 4. “Информационные, энергетические и экологические проблемы жизнеобеспечения и безопасности землян”. http: //mirit. narod. ru/program/0012. htm - 33К - 04. 07. 2001

47. Лобанов В. И. Компьютерные уроки с элементами логики в начальной школе. // http: //www. bitpro. ru/ITO/2001/ito/I. html, 29. 11. 2001.

48. Лобанов В. И. Русская логика для инженеров // НТИ, сер. 2 , Информационные процессы и системы, №8, 2002, с. 24-30.

49. Сайты в Internet: http: //ruslogic. narod. ru, http: //ruslogic. by. ru.

50. Лобанов В. И. Русская логика против классической. //Рационализм и культура на пороге третьего тысячелетия(материалы Третьего Российского философского конгресса), том 1, стр. 278, г. Ростов-на-Дону, 2002.

51. Лобанов В. И. Русская логика против классической (азбука математический логики). – М. : Компания Спутник+, 2002 – 126с.

52. Лобанов В. И. Решебник по Русской логике. – М. : Компания Спутник+, 2002 – 133с.

53. Лобанов В. И. Русская логика – инструмент науки XXI века. // Научная сессия МИФИ-2002, том 1, стр. 204-205.

54. Лобанов В. И. Математическое мышление и Русская логика. // Научная сессия МИФИ-2003, том 1, стр. 188 – 189.

55. Лобанов В. И. Беспомощность классической логики. // Естественные и технические науки, №3, 2002 г., стр. 22 – 23.

56. Лобанов В. И. Заметки о проектировании современных цифровых систем управления на отечественной элементной базе. // Chip News, №3, 2003 г., с. 36-43.

57. Лобанов В. И. Об особенностях проектирования цифровых систем на отечественных БМК. // Chip News, №2, 2004 г., стр. 45-47.

58. Лобанов В. И. Логика в высших учебных заведениях. // Актуальные проблемы современной науки, №3, 2004, стр. 136-139.

59. Лобанов В. И. Ошибки Аристотеля. //Современная логика: проблемы теории, истории и применения в науке (Материалы VIII Общероссийской научной конференции)-Санкт-Петербург, 2004, стр. 275 - 279.

60. Лобанов В. И. Русская логика просит работы. // Экономическая и философская газета, № 35(515), 2004.

 

Лобанов Владимир Иванович

Автобиография

Родился 1 марта 1940г. в г. Осташкове Калининской обл. на берегу оз. Селигер. Отец, Лобанов Иван Ефимович, инженер, нач. Осташковского радиоузла, погиб на фронте в мае 1942г. Мать, Лобанова Ольга Сергеевна, до войны сотрудница оборонного института, после войны няня в детских яслях. После эвакуации с 1941г. по 1946г. проживал в г.Суздаль.

В 1947г поступил в среднюю школу №63 г. Осташкова. Был отличником, пионером, комсомольцем. В 1957г. поступил в Осташковский механический техникум(ОМТ).

В 1960г. окончил теплотехническое отделение ОМТ. Диплом с отличием. Работал теплотехником(г. Сталинабад). 1960 - 1963 гг. - служба в Советской Армии(группа глубинной разведки, спецназ), в/ч 77701, г. Ош, ТуркВО). Был отличником Советской Армии, старшим разведчиком. Горжусь службой в спецназе. В армии был принят кандидатом в члены КПСС.

В 1963г. поступил в Ивановский энергетический институт(ИЭИ). Занимался спортом - имел разряды по лыжам, лёгкой атлетике, волейболу, ручному мячу, военному троеборью, фигурному катанию(парное и спортивные танцы на льду). Был солистом танцевальных ансамблей ИДНТ и ИЭИ. Окончил ИЭИ в 1968г по специальности инженер по автоматизации теплоэнергетических процессов. Ленинский стипендиат, диплом с отличием. Работал старшим инженером-наладчиком в тресте ОРГРЭС(г. Горловка). Налаживал автоматику горения энергоблоков 300МВт на Новочеркасской ГРЭС. Возглавлял бригаду специалистов по наладке автоматики ТЭЦ ВАЗ (г. Тольятти).

С 1972 по 1973 гг. обучение в аспирантуре ВТИ им. Дзержинского(г. Москва). Сдал все экзамены кандидатского минимума, но работа над диссертацией показалась бесперспективной.

1973 - 1979 гг. работал ведущим инженером НИИРТА (НПО "Импульс") по созданию систем управления оборонного назначения.

С 1979г. по 1995г. возглавлял отдел 450 ЦНИИ "Циклон", головной институт МЭП СССР. Внедрение микроэлектроники и вычислительной техники в народное хозяйство. Защитил кандидатскую диссертацию. Имею более 40 научных публикаций. В настоящее время издал книгу "Азбука разработчика цифровых устройств", в которой значительно расширил методологию цифровых разработок, а также решил проблему создания логики здравого смысла, т.е. Русской логики. При этом были доказаны некорректность и неполнота силлогистики Аристотеля, а также подвергнуто критике кванторное исчисление, т.е. дана отрицательная оценка мировой математической науки в области теории множеств и предложены пути преодоления указанных недостатков. Результаты по Русской логике были доложены на общероссийских и международных конференциях в Москве и Санкт-Петербурге(СпбГУ) в 1998-2000гг, а также в ИЕН РАН и на конференции "Эволюция и иносферы" в Президиуме РАН(28.03.2001). Мною прочитаны курсы лекций по русской логике во Всероссийчком обществе "Знание"(1999-2000гг.),а также в ТВАТ(1995-2001гг.) и других лицеях и колледжах. Все мои работы по Русской логике, т.е. фактически по теории множеств, за 1998 - 1999гг. переведены в США.

С 1995 по 1998гг. возглавлял (по конкурсу) отдел автоматики в фирме "РоссЭко". За время работы в НИИРТА создал в рамках ОКР несколько приборов для систем бортового управления, доведя их до выпуска опытных партий (в их числе пр.20 изделия 83В6 и др.). Проводил обучение ведущих специалистов НИИРТА инженерным методам разработки цифровых устройств.

В ЦНИИ "Циклон" мною лично или под моим руководством были разработаны в результате проведения НИОКР следующие устройства и системы: УУ УКВ-тюнером, УУ всеволновым тюнером(на КР 580ИК80),система автоконтроля таксофонов(на КР1801ВЕ1), микроконтроллерный регулятор(на i8048)-прообраз ПРОТАРа МЗТА, отладочное устройство "Техника" для TMS270, оригинальные запатентованные адаптируемые отладочные системы АОС-6502, АОС-1814, АОС-1868, АОС-1801; автоматизированная система централизованной охраны и обороны ОНХ и квартир граждан, диагностический процессор, инструментальные системы контроля и диагностики цифровых устройств.

В ф. "РоссЭко" мною разработаны различные модификации универсальных промышленных микроконтроллеров и симисторные схемы управления электроприводом высокой мощности.

Работал на нескольких десятках микропроцессоров и микро-ЭВМ. Владею несколькими языками высокого уровня(ALGOL,FORTRAN,FORTH,PASCAL,MODULA,C,РАЯ,BASIC) и ассемблерами. Программист высокой квалификации. Работал на нескольких типах ЭВМ и ПК. В IBM PC работаю в MS DOS, Norton, Windows, освоил несколько текстовых и графических редакторов, САПР MAX+PLUS II и т.п. .

С 13.10.1998г. по 31.01.2000г. работал в НПО "Химавтоматика" в должности главного специалиста по микроэлектронике. Разрабатывал микроконтроллеры для газовых анализаторов.

С 7.02.2000г. по 12.05.2001 работал в ОАО "Импульс" над созданием систем управления оборонного назначения (КПА-БАНКОР, БСК-Контейнер, КПА-БСК).

С 22.05.2001 по настоящее время работаю главным специалистом на НПП "Редан" (ГНПП "Регион", Каширское ш., 13а) по разработке цифровых систем управления оборонного назначения.

Являюсь изобретателем, трижды лауреатом премии ВДНХ, награжден медалью "Ветеран труда".

Рабочий телефон: 324-05-29

E-mail: [email protected]

 

РЕШЕБНИК ПО РУССКОЙ ЛОГИКЕ

Введение

Данное пособие является общедоступной иллюстрацией применения методов и алгоритмов Русской, истинно математической логики при решении логических задач. Все решения задач наглядны, легко проверяются с позиции математики и здравого смысла. Книга полезна школьникам и академикам, "физикам" и "лирикам", теоретикам и практикам.

Предисловие

Всё наше образование ориентировано прежде всего на внедрение "компьютерной грамотности". При этом упускается из внимания главный аспект воспитания, что "учить нужно не многознанию, а многомыслию" (Гераклит). Законами мышления, дисциплиной мышления, средствами и методами математических доказательств занимается Русская математическая логика. Именно этой научной дисциплиной должны овладеть в первую очередь и "физики", и "лирики".

В наше время, как утверждается в [12], научные знания приобрели эзотерический характер, поскольку для их овладения нужно потратить огромные усилия на изучение того особого языка, на котором они сформулированы. Жрецы науки поддерживают миф о всесильности науки, что даёт им право на работу и высокое положение в обществе. Но даже на этом общем фоне мифологизации науки математическая логика выделяется как особо мифологизированная область. Современные математики не смогли одолеть крепость силлогистики, воздвигнутую Аристотелем 25 веков назад. Более того, за сто лет они не сумели освоить научного наследия таких великих предшественников как П.С.Порецкий и Л.Кэрролл.

В книге, предлагаемой вашему вниманию, легко, наглядно и просто решаются проблемы многовековой давности. В отличие от теории относительности Эйнштейна, понятной только "избранным", математическая логика, названная автором Русской логикой, основана на здравом смысле и строгой математике, понятной любому школьнику. Русская логика революционна по своей сути: она опровергает веками сложившиеся каноны, безжалостно разрушает стереотипы, ниспровергает дутые авторитеты. Однако автор выступает с открытым забралом. Он не предлагает принимать на веру ни один из его методов или алгоритмов. Простота и наглядность позволяют любому читателю проверить истинность полученных результатов. Поэтому читатель должен отнестись критически к каждому выводу автора и обязательно самостоятельно прорешать все задачи.

Как правило, современные апологеты классической логики боятся логических задач, поскольку формальный аппарат Аристотеля не справляется с большинством силлогизмов. Именно поэтому ни студенты, ни преподаватели не умеют анализировать и синтезировать силлогизмы и сориты, проводить многоаргументные доказательства, т.е. не могут решать логические задачи. Приятным исключением из этого правила являются работы В.А.Светлова[29] , О.А.Солодухина[30] и С.Л.Катречко[7]

В решении логических уравнений получены новые и весьма важные результаты: введена четырёхзначная комплементарная логика и разработана её алгебра, усовершенствованы методы П.С.Порецкого.

Критика автора всегда конструктивна. Он не просто ниспровергает классиков, но и отыскивает пути устранения указанных недостатков.

21-й век называют веком искусственного интеллекта. Фундаментом искусственного интеллекта является силлогистика. Естественно, что инструментарий Аристотеля не годится для решения этой чрезвычайно сложной задачи. По существу речь идёт о первой НАУЧНОЙ революции, когда будут решаться проблемы создания искусственного интеллекта, когда впервые будет рационализирован ТРУД УЧЕНЫХ . По уровню решения данной проблемы судят о научном потенциале державы. С введением в образование Русской логики Россия сможет вернуть себе лидирующие позиции в решении проблем искусственного интеллекта.

Книга может стать основой для написания учебников и задачников по математической логике как для средней школы, так и для высших учебных заведений гуманитарного и научно-технического профиля.

Популяризаторские работы по Русской логике размещены на сайтах http://ruslogic.by.ru, http://ruslogic.narod.ru.

Содержание