Лекции по РЛ

6.ЛЕКЦИЯ № 6

6.1.Основные недостатки классической логики

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

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

3.Отсутствие аналитического представления силлогистических функторов лишает фундамента логику предикатов.

4.Все законы и правила силлогистики некорректны, поскольку в них не учитывается влияние универсума и конкретного содержания терминов.

5.Все фигуры и модусы силлогистики никчёмны, поскольку нельзя анализировать и синтезировать силлогизмы в общем виде без рассмотрения конкретного базиса, универсума, содержания и количественных характеристик каждого термина.

6.Классическая силлогистика оперирует лишь функторами Axy, Exy, Ixy, Oxy и не охватывает подавляющее большинство суждений любого другого типа.

7.Функтор Oxy является не только лишним, но и некорректным.

8.В классической логике до сих пор не решена проблема единичного

множества.

9.Нет окончательного результата в проблеме решения логических уравнений и в синтезе обратных логических функций.

10.Искореняется всякое мышление.

11.В связи с вышеперечисленным студенты и преподаватели обречены на унылую бестолковую зубрёжку и не умеют решать серьёзные задачи логики.

6.2. Основные результаты, полученные при создании Русской логики

1.Создана графическая алгебра логики.

2.Разработаны графические методы минимизации логических функций для большого числа аргументов с помощью карт Карно (алгоритм «НИИРТА»).

3.Впервые доказано, что алгебра множеств – «лишняя сущность»(Оккам), поскольку алгебра логики выполняет её функции, оперируя как с множествами, так и

сединичными логическими элементами.

4.Показано, что «кванторное исчисление» ничего не исчисляет, поскольку является примитивной мнемоникой.

5.Создана 4-значная комплементарная логика и её алгебра с методами минимизации комплементарных функций.

6.Разработаны простые методы решения логических уравнений (алгоритмы «Селигер» и «Волга») на основе комплементарной и двоичной логики.

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

8.Впервые получены все 16 обратных логических функций для двух аргументов, в том числе функции логического вычитания и деления.

9.Комплементарная логика при аппаратной реализации позволяет значительно упростить решение проблемы самодиагностирования вычислительной

41

техники: например появление j на любом выходе может свидетельствовать о сбое или отказе.

10.Синтезированы методы нахождения парных термов для равносильных преобразований логических равенств.

11.Предложен простой математический метод анализа и синтеза законов логики суждений (алгоритм «Импульс»).

12.Предложены скалярные диаграммы, позволившие формализовать силлогистику и дать графическую интерпретацию алгебры логики.

13.Впервые создан аналитический базис силлогистики и определены его разновидности: русский, аристотелевский, базис Васильева и т.д.

14.Впервые показано, что даже общие суждения имеют неоднозначную структуру и аналитическое описание.

15.Впервые представлено все многообразие базиса частноутвердительного суждения и дано его аналитическое представление.

16.Впервые найдено аналитическое выражение для частноутвердительных суждений, удовлетворяющих критерию Васильева.

17.Предложен простой и надежный способ графической и аналитической проверки силлогизмов и синтеза заключений для любых базисов (алгоритмы «Осташ», «ИЭИ» и «ТВАТ»).

18.Применение предложенного метода избавляет от необходимости запоминания множества логических правил и законов.

19.Руская логика оперирует не только функторами Axy, Exy, Ixy, но и суждениями любого типа.

20.Впервые аналитически описан базис логики Аристотеля-Жергонна. Впервые на основе базиса Аристотеля-Жергонна разработана силлогистика, существенно отличающаяся от классической.

21.Впервые проверены все 64 модуса силлогистики АристотеляЖергонна. Доказано, что почти все «правильные» модусы Аристотеля не корректны.

22.Впервые доказано, что силлогистика Аристотеля-Жергонна не укладывается в прокрустово ложе 19 «правильных» модусов.

23.Разработаны графоаналитический алгоритм «Осташков» синтеза полисиллогизмов и графический алгоритм «Суздаль» синтеза соритов.

24.Разработан графический алгоритм «Редан» синтеза недостающей

посылки.

25.Доказано, что ни силлогистика Аристотеля, ни силлогистика АристотеляЖергонна не имеют никакого отношения к логике здравого смысла.

26.Впервые обнаружена и учтена при синтезе силлогизмов зависимость заключения от объёма универсума и содержания терминов.

27.Впервые решена проблема единичного множества в силлогистике.

28.Доказано, что все 4 классических правила посылок ошибочны.

29.Показано, что фигуры и модусы не имеют смысла, поскольку не учитывают универсум и конкретное содержание посылок.

30.Отмечено, что аналитическое представление силлогистических функторов Axy, Exy впервые дано русским логиком П. С. Порецким, чего до сих пор не поняла мировая наука.

31.Показано, что общеразговорная логика не является двоичной.

32.Доказано, что логика суждений и логика предикатов идентичны, т.к. идентичны импликация и общеутвердительный квантор: x → y = x’ + y = Axy (здесь апостроф обозначает инверсию).

33.Впервые создана вероятностная логика.

34.Разработаны методы определения вероятности того или иного заключения в силлогизме.

42

35.Поскольку термины силлогистики являются множествами, то заключение зависит не только от содержания терминов, но и от количества элементов в терминах-множествах и универсуме.

36.Показано, что вся общеразговорная логика является вероятностной.

6.3. Заключение

1.Мы с Вами, дорогой Читатель, убедились, что вся силлогистика является вероятностной.

2.В то же время автором Русской логики было доказано, что между логикой суждений и логикой предикатов (силлогистикой) нет никакой разницы. Следовательно, и силлогистика, и логика суждений, т.е. вся логика является вероятностной и никакой другой математической логики просто не существует.

3.На этом основании и на основании работ П.С.Порецкого можно утверждать, что Русская вероятностная логика является не только фундаментом искусственного интеллекта, но и базой теории вероятности.

4.Логика Аристотеля не только бесполезна, но и вредна (это было понятно Ф.Бэкону уже 400 лет назад).

5.Все существующие учебники логики безграмотны, невежественны и бестолковы. Все задачи в классической логике с многовариантными заключениями безграмотны, поскольку ни в одной из них не заданы количественные характеристики терминов.

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

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

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

9.Впервые создана вероятностная логика и разработаны её алгоритмы.

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

43

Литература

1.Лобанов В.И. Азбука разработчика цифровых устройств. – М.: Горячая линия – Телеком, 2001 – 192с.

2.Лобанов В.И. Русская логика для «физиков» и «лириков». – М.: Спутник+, 2005 – 427с.

3.Сайты в Internet: http://logicrus.ru, http://matema.narod.ru/newpage113.htm, http://www.mirit.narod.ru/zerkalo.htm, http://ito.edu.ru/, http://www.trinitas.ru, http://lord- n.narod.ru/walla.html/Книги и софт с Walla.com, http://naztech.org/lobanov, http://www.rsl.ru и др.

4.Лобанов В.И. Русская вероятностная логика.–М.:Русская Правда,2009–

320с.

5.Лобанов В.И. Русская логика в информатике.–М.:Русская Правда,2010–

48с.

6.Лобанов В.И. Русская логика – индикатор интеллекта. – М.: Русская Правда, 2012 – 320 с.

7.Порецкий П.С. О способах решения логических равенств и об одном обратном способе математической логики. - Казань:1884.

8.Стяжкин Н.И.Формирование математической логики.–М.: Наука, 1967–

508с.

9.Суворов В. Аквариум. – М.: Новое время, 1993 – 304с.

Перечень сокращений

БМОК – база минимального обобщённого кода ГГР - группа глубиной разведки ДНФ - дизъюнктивная нормальная форма ЗОК - запрещённый обобщённый код ИИ - искусственный интеллект ИС - интегральная схема

ИЭИ - Ивановский энергетический институт

КК- карта Карно

КС - комбинационная схема МДНФ – минимальная ДНФ МОК - минимальный обобщённый код

НИИДАР – ОАО НПК «НИИ дальней радиосвязи» НИИРТА – НИИ радиотехнической аппаратуры ОМТ – Осташковский механический техникум ПК - прямоугольник Карно ППК - предполагаемый прямоугольник Карно

РАЯ - Развиваемый (Русский) адаптивный язык РВЛ - «Русская вероятностная логика» Редан – ООО НПП «Редан» РЛ - Русская логика

РЛИ - «Русская логика в информатике» РЛИИ – «Русская логика – индикатор интеллекта» РОК - рабочий обобщённый код

САПР – система атоматизированного проектирования СГА - Современная Гуманитарная Академия СДНФ – совершенная дизъюнктивная нормальная форма ТВАТ - Тушинский вечерний авиационный техникум

44

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

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

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

(ОМТ).

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

В1963г. поступил в Ивановский энергетический институт (ИЭИ). В 1964г. принят в члены КПСС. Занимался спортом – имел разряды по лыжам, лёгкой атлетике, волейболу, ручному мячу, военному троеборью, фигурному катанию (парное и спортивные танцы на льду). Был солистом танцевальных ансамблей ИДНТ

иИЭИ. Окончил ИЭИ в 1968г по специальности инженер по автоматизации теплоэнергетических процессов. Ленинский стипендиат, диплом с отличием.

Работал старшим инженером-наладчиком в тресте ОРГРЭС (г. Горловка). Налаживал автоматику горения энергоблоков 300МВт на Новочеркасской ГРЭС. Возглавлял бригаду специалистов по наладке автоматики ТЭЦ ВАЗ (г. Тольятти).

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

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

С1979г. по 1995г. возглавлял отдел 450 ЦНИИ "Циклон", головной институт МЭП СССР. Внедрение микроэлектроники и вычислительной техники в народное хозяйство. Защитил кандидатскую диссертацию. Имею более 100

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

45

обнаружены и устранены принципиальные ошибки П.С.Порецкого в методике решения логических уравнений. Лекции по Русской логике транслировались по спутниковому телевидению на канале СГУ-ТВ.

С 1995 по 1998гг. возглавлял (по конкурсу) отдел автоматики в фирме "РоссЭко".

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

В ЦНИИ "Циклон" мною лично или под моим руководством были разработаны в результате проведения НИОКР следующие устройства и системы:

УУУКВ-тюнером, УУ всеволновым тюнером (на КР 580ИК80),система

оригинальные запатентованные адаптируемые отладочные системы АОС-6502, АОС-1814, АОС-1868, АОС-1801; автоматизированная система централизованной охраны и обороны ОНХ и квартир граждан, диагностический процессор, инструментальные системы контроля и диагностики цифровых устройств.

Работал на нескольких десятках микропроцессоров и микро-ЭВМ. Владею несколькими языками программирования высокого уровня (ALGOL, FORTRAN, FORTH, PASCAL, MODULA, C, РАЯ) и многими ассемблерами. Программист высокой квалификации. Работал на нескольких типах ЭВМ и ПК.

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

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

С22.05.2001 по 12.12.2003 работал главным специалистом на НПП «Редан» (ГНПП «Регион») по разработке цифровых систем управления оборонного назначения.

С15.01.2004 по 31.12.2006 работал гл.специалистом на НПП «НИИДАР». Разрабатывал схемы цифрового телевидения.

С9.03.2007 по 31.10.2012 работал ведущим научным сотрудником в ФГУП «ЦНИИ «Комета» по разработке электронных устройств оборонного назначения.

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

46

ТуркВО, в/ч 77701, группа глубинной разведки, г.Ош, 1963г.

Горные лыжи в Братцево, 2006г.

48

Н.П. Брусенцов, мой Учитель и Наставник по матлогике, 2010г.

50