- Удк 681 053: 681. 32: 007, 134.3kb.
- Удк 340. 6+681. 327+681 015 Д. В. Ландэ, В. Н. Фурашев, 450.24kb.
- Удк 681. 51: 303. 732+681 066 вопросы анализа проблем рыбохозяйственных комплексов:, 87.72kb.
- Удк 681 001. 63 Эволюционные процедуры решения комбинаторных задач на графах, 135.09kb.
- Удк (551. 46+551. 326+551. 5): 681. 5+629, 84.95kb.
- Удк 681. 3 Контроллеры для автоматизации крупных промышленных объектов, 256.17kb.
- Удк 007. 52: 681 06 возможность вскрытия интуитивных представлений врачей при групповом, 198.06kb.
- Учебное пособие огис 2004 удк 681., 1729.35kb.
- Учебное пособие Омск 2004 удк 681., 1015.29kb.
- Удк 681. 03 Экспертная система анализа экологической безопасности, 79.34kb.
1 2 3 4 5 6 7 8 9 ... 19
В. И. Лобанов, к. т. н. РУССКАЯ ВЕРОЯТНОСТНАЯ ЛОГИКА(азбука математической логики) Москва 2008 Посвящается Русским инженерам и учёным, интеллектуальной элите России. Аннотация Данное пособие является общедоступным изложением основ Русской, истинно математической логики. Вскрывая противостояние Русской и классической логики, автор показывает, что силлогистика Аристотеля не имеет никакого отношения к логике здравого смысла. Обучение классической логике не только бесполезно, но и преступно, поскольку уничтожается всякое мышление. Все существующие учебники логики невежественны, безграмотны и бестолковы. Предлагаемое издание полезно школьникам и академикам, инженерам и учёным, «физикам» и «лирикам». Москва 2007 г. . УДК 621.3.049.77:681.518.3 УДК 681.32.001.2 УДК 161:162 ББК 87.4 Л.. ПРЕДИСЛОВИЕУважаемый Читатель, книге, которую Вы держите в руках нет цены: всё, что за последние 120 лет вышло в свет по гуманитарной и математической логике – макулатура (за редчайшим исключением). Ценность предлагаемого Вам пособия определяется тем, что оно создано на основе работ величайшего в мире русского логика Платона Сергеевича Порецкого, впервые в истории построившего математическую силлогистику, о которой мечтал и над которой всю жизнь безуспешно работал великий математик Лейбниц. Основополагающий труд русского учёного вышел в 1884г [34], но до сих пор не освоен русскими логиками и математиками. О зарубежной науке говорить не приходится: она не разобралась даже в скромных результатах своего талантливого сказочника и логика Л.Кэрролла, который повторил некоторые выводы Порецкого спустя 12 лет. Академический автор Галинская И.Л. в своей работе [7,с.1] утверждает, что «Символическая логика» впервые была издана в Англии в 1896г. Именно в этой работе Кэрролл повторил формулы Порецкого для общеутвердительных и общеотрицательных кванторов силлогистики. Дорогой Читатель, знаете ли Вы математическую логику? Я абсолютно уверен, что не знаете. В этом Вы сразу же убедитесь, пройдя тестирование по нижеприведённому вопроснику. Вопросник для математика и логика.
По характеру ответов можно судить о профессиональном уровне логика-гуманитария и тем более математика. В 2008г. с этими вопросами не могли справиться ни академики от логики, ни математики, ни инженеры-цифровики, что говорит не только о недостаточной профессиональной подготовке, но и о низком культурном уровне. Освоив Русскую логику, любой семиклассник легко пройдёт предложенное автором тестирование. В 1938 г. русский физик В. И. Шестаков впервые в мире (за два года до Клода Шеннона) доказал возможность описания и преобразования релейно-контактных схем методами алгебры логики. C этого момента зарождается практическая логика. Поскольку практическая логика решала чисто инженерные задачи, то вполне естественно назвать эту логику инженерной. Эта наука профессионально решает такие проблемы, как графический и аналитический синтез комбинационных схем (многоаргументные методы минимизации логических функций), синтез микропрограммных автоматов (МПА) на базе интегральных, ламповых и релейных схем. К проблемам инженерной логики относится также создание искусственного интеллекта, фундаментом которого является силлогистика. Но классическая силлогистика совершенно беспомощна в решении поставленных перед нею задач. В конце 1980 х — начале 1990 х годов руководимый мною отд.450 ЦНИИ «Циклон»(головной институт Минэлектронпрома СССР) имел тесные контакты с проблемной лабораторией ЭВМ МГУ, возглавляемой талантливым русским инженером и учёным Н.П.Брусенцовым. Именно ему и его сподвижникам удалось создать и запустить в производство троичную ЭВМ "Сетунь" и "Сетунь-70", чего до сих пор не смогла сделать ни одна держава в мире несмотря на все их титанические усилия. Это именно он и его ученики разработали Диалоговую систему структурированного программирования (ДССП) и Русский адаптивный язык РАЯ (по определению Ершова), являющиеся непревзойдёнными до сих пор эталонами дисциплины и языков программирования. На чествовании юбилея Н.П.Брусенцова 2.03.95г. я получил в подарок от юбиляра его только что изданную книгу «Начала информатики», которая и открыла передо мной проблемы классической логики. Поэтому я имею честь считать себя учеником Николая Петровича Брусенцова. Некоторые проблемы логики показались мне надуманными, превращёнными «из мухи в слона». Захотелось найти простое, прозрачное математическое решение высосанных из пальца проблем. Алгоритм решения логических уравнений удалось найти за 5 минут в присутствии Учителя. Смешно, принимаясь за эту проблему, я даже не знал, что такое «решить логическое уравнение». Но был абсолютно уверен, что справлюсь с этой задачкой за 5 минут: за плечами был 20-летний опыт «железных» оборонных разработок на основе инженерной логики. В течение месяца построена Русская логика, в которой была решена проблема силлогистики. Силлогистика – это раздел логики, занимающийся силлогизмами. А силлогизм – это умозаключение, состоящее из двух посылок, связанных общим термином, и следующего из них заключения. Пример такого силлогизма: Все люди талантливы. Все ученики – люди. Все ученики талантливы. В этом силлогизме заключение выводится просто. Но подавляющее большинство силлогизмов, встречающихся в быту, в любой из наук, «физической» или «лирической», не имеют такого прозрачного решения. А потому и не решаются современной мировой логикой. В 1997г. я уже излагал Русскую логику студентам и школьникам. Поскольку все алгоритмы чрезвычайно просты, то учащиеся осваивали новую логику (логику нового тысячелетия) довольно успешно. В Русской логике решены проблемы Аристотеля и Лейбница, их мечты реализованы в России. С 1998г Русская логика прошла проверку на различных конференциях, конгрессах, в том числе и международных, симпозиумах и семинарах. Самой серьёзной проверкой автор считал и считает проверку на лекциях и уроках студентами и школьниками: это самые дотошные и любознательные критики в отличие от официозных «учёных». Лекции и занятия автор проводил только по совместительству, в свободное от основной работы время: 1) без работы по основной профессии теряешь квалификацию, 2) штатному преподавателю внедрять новую науку весьма сложно. Положительными отзывами заполнен Интернет: я получал письма со всех концов бывшего Союза. Мои лекции по Русской логике были записаны в декабре 2007г на телестудии Современной Гуманитарной Академии(Москва) и в 2008 году транслировались на весь бывший Советский Союз по каналу СГУ ТВ спутникового телевидения. Основные работы автора переведены в США. Очень не хотелось бы, чтобы Русская логика вернулась к нам в зарубежной упаковке. Основания для таких опасений более чем весомые. Ни для кого не секрет, что среди западных учёных очень много невежественных жуликов и мошенников. Начнём с Эйнштейна, которого выгнали из гимназии за бестолковость, от невежества которого в институте стонали профессора математики и который обокрал не только французского физика Пуанкаре и голландского физика Лоренца, но и свою жену-славянку. Такое же интеллектуальное воровство, плагиат, допустил Винер - «отец кибернетики» по отношению к русскому учёному Колмогорову. Кстати, на встрече со студентами МГУ Винер в присутствии Колмогорова признал приоритет советской науки. Лампа русского физика Лодыгина стала называться лампой Эдисона, теорема советского учёного Котельникова теперь упоминается только как закон Найквиста, радио русского исследователя Попова превратилось в радио Маркони, «отцом информатики» вместо русского физика В.И.Шестакова называют Клода Шеннона. Примеры жуликоватости, безграмотности, невежества и бестолковости западных «учёных» можно множить до бесконечности (см. , например, моё математическое доказательство бестолковости и невежества нобелевского лауреата Б.Рассела). До сих пор никто из официальной профессуры не понял гениальных работ выдающегося русского учёного Порецкого П.С. Именно он предвосхитил создание истинно математической силлогистики. Позже к аналогичным результатам в силлогистике пришёл Л. Кэрролл: он получил такие же математические выражения для кванторов "Все х суть y" и "Ни один х не есть y". Хотя уровень достижений Л.Кэрролла значительно ниже уровня результатов П.С.Порецкого, но даже относительно простых работ английского математика и сказочника никто не понял ни в России, ни за рубежом. Пусть Порецкий и Кэрролл не сумели решить всех проблем Аристотеля и Лейбница, но они заложили прочный аналитический фундамент, который так и не был в течение 120 лет востребован классической логикой из-за невежества "так называемых логиков". Я думаю, что саркастическое отношение Л. Кэрролла к "логикам" можно смело перенести на наших современников, которые до сих пор не сумели разобраться в достижениях своих великих предшественников. В море макулатуры, издаваемой сегодня по логике, лишь работы Брусенцова Н.П., Катречко С. Л., Кузичева А.С. и Светлова В.А. заслуживают внимания. Все современные учебники логики невежественны, безграмотны и бестолковы. До сих пор никто из официальных логиков не принял мой вызов, не защитил честь официозной науки. Преподавание логики (основных её разделов) ведётся невежественно, как и 25 веков тому назад. Можно констатировать тот факт, что официальная наука встала железобетонной стеной на пути Русской логики. Подавляющее большинство (вполне возможно, что даже все без исключения) официальных учёных не приемлет Русскую логику. Истина определяется не большинством голосов, но эти голоса обрекают отечественную логику на плачевное дремотное состояние, а студентов и школьников на унылую и бестолковую зубрёжку. За 10 лет автору не известен ни один случай внедрения Русской логики в образование другими педагогами. Но и критики не существует: никто не рискует защитить честь математического мундира. Буду признателен за любые критические замечания по существу Русской логики. Почему-то студенты и школьники на моих лекциях и уроках легко осваивали Русскую логику, а вот академики с нею никак не могут справиться. Наверное, мне попадались глупые академики, поэтому ищу умных. В гуманитарной и тем более математической логике за последние 120 лет я умных академиков не заметил. Кстати, даже такие «корифеи» в логике, как акад. Колмогоров А.Н., проф. Садовничий (ректор МГУ), проф. Зиновьев А.А., всякие расселы, заде, гёдели и чёрчи ни черта не поняли ни в работах гениального логика Порецкого П.С., ни в результатах, полученных Л.Кэрроллом. Если уж ты не способен создать что-либо стоящее в науке, то разберись вначале хотя бы с достижениями своих предшественников в данной области. Никакое образование немыслимо без изучения логики. Этот предмет в качестве основного впервые ввёл в гимназиях и Академии великий русский учёный М.В. Ломоносов. С тех пор логику в обязательном порядке изучали в гимназиях России и по указанию Сталина в 1946 – 1957 гг.(после смерти Сталина с 1953г. по 1957г. – по «инерции») в школах СССР. В связи с этим поразительна безграмотность современных матлогиков:
Логика дисциплинирует мышление. Ещё Гераклит говорил, что учить нужно многомыслию, а не многознанию. Не путайте Божий дар с яичницей: телевизионные «знатоки» - это не мыслители, они зарабатывают деньги не «своим собственным умом», а совсем другим местом. Все «интеллектуальные игры» на телевидении – это проверка «мартышек с арифмометром». Если немного подумать, то к этому же разряду можно отнести шахматистов и программистов. ЭВМ уже обыгрывает чемпионов мира по шахматам. Значит, шахматист – это просто калькулятор, а программист – толмач, переводчик с одного языка на другой. Но переводчик Пастернак далеко не поэт Пушкин. Эвристика, мышление – прерогатива человека, а ЭВМ пока ещё не умеет мыслить, да и вряд ли научится. Автор – программист с 35-летним стажем, но уже более 30 лет считает, что уметь программировать необходимо, но лучше всегда эту работу поручать кому-либо другому. То же самое можно сказать и о микропрограммировании, т.е. схемотехническом проектировании цифровых устройств. К сожалению, этими дисциплинами приходится заниматься всё больше и больше. Творчество доступно и грузчику, и таксисту, но о серьёзном творчестве и серьёзном мышлении может идти речь лишь в фундаментальных науках, базирующихся на математике. Над проблемой формализации мышления ВСЁ ЧЕЛОВЕЧЕСТВО (и «физики», и «лирики») трудилось 25 веков. И тем не менее классическая логика, которую изучают во всём мире, вопиюще безграмотна и дремуче невежественна. С задачей формализации, чётко поставленной Лейбницем, справляется только Русская логика. Если вы устали от зубрёжки силлогистики Аристотеля, хотите чуточку поумнеть и превзойти в логике П.С. Порецкого, Л. Кэрролла, Дж. Буля и Лейбница, если вас интересует истинно математическая, понятная школьнику логика здравого смысла, то осваивайте эту науку по следующим источникам:
В этом перечне только первый сайт является авторским, все остальные созданы профессионалами-единомышленниками, оценившими значение Русской логики и разместившими математическую логику России на своих страницах. Я чрезвычайно признателен за это патриотам русской науки. Почти все мои книги и многие статьи выложены в открытом доступе на указанных сайтах. Последняя книга в этом перечне написана в основном для инженеров. Их безграмотность в инженерных методах разработки, контроля и диагностики цифровых устройств, а также в программировании и микропрограммировании удручает. Не говоря уже о логической безграмотности. Автор до сих пор занимается разработками электронных цифровых устройств оборонного назначения. Накопленный опыт позволяет утверждать, что формальные и инженерные методы проектирования цифровых устройств легко осваиваются семиклассниками. Поэтому выпускники средних школ, освоившие «Русскую логику» и «Азбуку разработчика цифровых устройств»[29, 26] могут сразу приступить к работе на инженерных должностях. Это чрезвычайно актуально в связи с переходом на «болонкино образование»(Болонская конвенция), гуманитаризацией и вымыванием математики из программы обучения. Но так называемые «гуманитарные науки» в большинстве своём представляют собой «не замутнённый интеллектом поток сознания с очень специфическим подходом» (Андрей Борцов. «Дебилизаторы подрастающего поколения»//«Знание – власть!», №41(310), ноябрь,2006). Дело в том, что любой гуманитарий безоговорочно верит в авторитеты, а значит, перестаёт мыслить. Математик постоянно думает, анализирует. Для него только истина является авторитетом. России нужны не болтуны и спекулянты, не жулики и ростовщики, не «смехачи» и поп-звёзды, не «эффективные менеджеры» и толпы бухгалтеров, а инженеры и учёные. Тот разгром нашей оборонной промышленности, науки, культуры и образования, который учинила «пятая колонна», является государственным преступлением и требует государственного вмешательства и огромных усилий всего общества (в первую очередь профессионалов старшего поколения, поскольку молодых нет и не предвидится в ближайшем будущем) по ликвидации катастрофических последствий. Хочу заранее вызвать у читателей агрессивный настрой. Не верьте ни единому слову Русской логики, проверяйте, возражайте. Тем более, что мой учитель в науке о мышлении Николай Петрович Брусенцов категорически не согласен с Русской логикой. Вашего интеллекта и образования более чем достаточно, чтобы разоблачить автора. У меня семиклассники решали такие задачи по логике, с которыми не справится ни один инженер, ни один профессор, и уж тем более академик. Кроме того, помните, что все вы по определению безграмотны: не знаешь логики – невежда по критериям Русской гимназии и Древней Греции. Дополнительно примите к сведению, что с точки зрения «логиков-профессионалов», автор Русской логики – дилетант, поскольку я действительно не изучал в институте логику Аристотеля. Пришлось изучить, чтобы уничтожить болтологику. Но стоит ли тратить время на то, что ещё 400 лет назад было разгромлено Френсисом Бэконом, что вызывало возмущение советского логика Васильева Н.А., что опроверг 120 лет назад величайший Русский логик Платон Сергеевич Порецкий и немного позже даже английский математик и сказочник Льюис Кэрролл. Поскольку до сих пор, вот уже более 30, лет я разрабатываю цифровые системы управления, в основном оборонного назначения, где всё построено на иженерной, т.е. строгой математической, логике, то у меня есть все основания считать всех логиков мира (и математиков, в первую очередь) за последние 120 лет дилетантами, невеждами, неучами, да ещё и бестолочью. Такое утверждение звучит невежливо, но, во-первых, за 10 лет, прошедших с выхода в свет Русской логики, я исчерпал все дипломатические выражения и называю вещи своими именами. Во-вторых, «вежливость – любимая добродетель убогих…последнее прибежище бестолочей» (Диана Сеттерфилд «Тринадцатая сказка»). Автору неоднократно «советовали» назвать вновь открытую науку «Логикой Лобанова», в частности секретарь Комитета по обороне Госдумы РФ Симкин Владимир Соломонович считал, что логику с таким русским названием никто изучать не будет. Как это русские «фашисты», «пьяницы» и «быдло» (по определению наших «любимых» косноязычных СМИ) смогли создать математическую логику?! Я не имел морального права на такое «увековечивание» своего имени по чисто этическим и патриотическим соображениям. Поскольку вновь созданная логика опирается в основном на работы русских логиков Давыдова И.И.(1794-1863),Владиславлева М.И.(1840-1890), Порецкого П.С.(1846-1907), Введенского А.И.(1856-1925), Лосского Н.О.(1870-1965), Поварнина С.И.(1870-1952), Васильева Н.А.(1880-1940), Брусенцова Н.П., Кузичева А.С. и др., то автор назвал её Русской логикой. . Я не имел права на «Логику Лобанова» также и потому, что это не лично моя заслуга, а свойство Русского менталитета, Русского языка. В прекрасной и глубоко познавательной книге В.А. Истархова «Удар Русских Богов» (М.: Русская Правда»,2007 – 416с.) на стр.363 приводится фундаментальное высказывание: «Чем примитивнее язык, тем примитивнее мышление человека…». Наш родной Русский язык самый богатый и мощный в мире. Поэтому русским легче было создать истинно математическую логику, и, видимо, именно поэтому только русскими учеными и инженерами была решена эта многовековая проблема. Кроме того, существуют логика Пор-Рояля (захудалый монастырь во Франции), «новейшая английская логика» (Льар Л. «Английские реформаторы логики») и польская инверсная запись в программировании, но никого это не смущает. А вот Русская логика застряла у русофобов, как кость в горле. К тому же Ф.М.Достоевский всегда говорил о национальном характере науки. В последнее время появилась «Русская механика» А.Ф.Черняева (М.:2001 – 592с.), т.е. ряды Русских наук пополняются. Ну и в конце концов, нужно как-то различать болтологику (официальную классическую логику) и истинно математическую логику (Русскую). В процессе освоения Русской логики читателю станет ясно, что нет логики суждений и логики предикатов, а есть просто логика. Однако автор сохранил традиционное разделение, чтобы не создавать психологического барьера. О вероятностном характере всей силлогистики автор впервые сказал в «Русской логике для школьников (и академиков)». Поэтому некоторые примеры в силлогистике требуют уточнения в постановке задач: необходимо оговорить мощность всех терминов-множеств. Однако главный, мыслительный, аспект этих примеров не утрачен. Автор рекомендует к обязательному изучению главу 1 из части 1 и главы 9, 10, 11 из части 2. Главы 1 - 8 из части 2 – дань традициям классической логики в отыскании интегрированных заключений в силлогизмах. Для искусственного интеллекта(ИИ) такие выводы ничего не значат: нужна чёткая количественная оценка каждого варианта заключения. Поэтому только вероятностная логика будет приемлема для ИИ. Пропущенные разделы есть смысл просмотреть хотя бы «по диагонали», поскольку там излагаются методы и алгоритмы, не известные современной матлогике, приводится критический анализ невежества и безграмотности «логиков» 20-го и 21-го столетий. Автор родился и вырос в Осташкове, родине Леонтия Филипповича Магницкого, основателя Российской математики, на берегу озера Селигер. Поэтому он не мог не упомянуть этого города и самого озера хотя бы в названиях алгоритмов. Замысел книги родился благодаря зав. проблемной лаб. ЭВМ МГУ Брусенцову Н.П., ознакомившему автора с проблемами современной логики. Русская логика была впервые внедрена в Тушинском вечернем авиационном техникуме (ТВАТ). Автор выражает свою глубокую признательность директору ТВАТ Немченко Т.П. и завучу Волковой Е.И., оказавших большое содействие в организации учебного процесса. «…И может собственных Платонов И быстрых разумом Невтонов Российская земля рождать. » М.В.Ломоносов. |