|
В.И.Лобанов., Решебник по русской логике (азбука математической логики)В.И.ЛобановРешебник по русской логике (азбука математической логики)Данное пособие является общедоступной иллюстрацией применения методов и алгоритмов Русской, истинно математической логики при решении логических задач. Все решения задач наглядны, легко проверяются с позиции математики и здравого смысла. Книга полезна школьникам и академикам, «физикам» и «лирикам», теоретикам и практикам. Книга доступна школьник; и полезна специалисту. Предисловие Всё наше образование ориентировано прежде всего на внедрение «компьютерной грамотности». При этом упускается из внимания главный аспект воспитания, что «учить нужно не многознанию, а многомыслию» (Гераклит). Законами мышления, дисциплиной мышления, средствами и методами математических доказательств занимается Русская математическая логика. Именно этой научной дисциплиной должны овладеть в первую очередь и «физики», и «лирики». В наше время, как утверждается в [12], научные знания приобрели эзотерический характер, поскольку для их овладения нужно потратить огромные усилия на изучение того особого языка, на котором они сформулированы. Жрецы науки поддерживают миф о всесильности науки, что даёт им право на работу и высокое положение в обществе. Но даже на этом общем фоне мифологизации науки математическая логика выделяется как особо мифологизированная область. Современные математики не смогли одолеть крепость силлогистики, воздвигнутую Аристотелем 25 веков назад. Более того, за сто лет они не сумели освоить научного наследия таких великих предшественников как П.С.Порецкий и Л.Кэрролл. В книге, предлагаемой вашему вниманию, легко, наглядно и просто решаются проблемы многовековой давности. В отличие от теории относительности Эйнштейна, понятной только «избранным», математическая логика, названная автором Русской логикой, основана на здравом смысле и строгой математике, понятной любому школьнику. Русская логика революционна по своей сути: она опровергает веками сложившиеся каноны, безжалостно разрушает стереотипы, ниспровергает дутые авторитеты. Однако автор выступает с открытым забралом. Он не предлагает принимать на веру ни один из его методов или алгоритмов. Простота и наглядность позволяют любому читателю проверить истинность полученных результатов. Поэтому читатель должен отнестись критически к каждому выводу автора и обязательно самостоятельно прорешать все задачи. Как правило, современные апологеты классической логики боятся логических задач, поскольку формальный аппарат Аристотеля не справляется с большинством силлогизмов. Именно поэтому ни студенты, ни преподаватели не умеют анализировать и синтезировать силлогизмы и сориты, проводить многоаргументные доказательства, т. е. не могут решать логические задачи. Приятным исключением из этого правила являются работы В.А.Светлова[29] , О.А.Солодухина[30] и С.Л.Катречко[7] В решении логических уравнений получены новые и весьма важные результаты: введена четырёхзначная комплементарная логика и разработана её алгебра, усовершенствованы методы П.С.Порецкого. Критика автора всегда конструктивна. Он не просто ниспровергает классиков, но и отыскивает пути устранения указанных недостатков. 21-й век называют веком искусственного интеллекта. Фундаментом искусственного интеллекта является силлогистика. Естественно, что инструментарий Аристотеля не годится для решения этой чрезвычайно сложной задачи. По существу речь идёт о первой научной революции, когда будут решаться проблемы создания искусственного интеллекта, когда впервые будет рационализирован труд учёных. По уровню решения данной проблемы судят о научном потенциале державы. С введением в образование Русской логики Россия сможет вернуть себе лидирующие позиции в решении проблем искусственного интеллекта. Книга может стать основой для написания учебников и задачников по математической логике как для средней школы, так и для высших учебных заведений гуманитарного и научно-технического профиля. Содержание: ПРЕДИСЛОВИЕ. 2 1. СИНТЕЗ И МИНИМИЗАЦИЯ ЛОГИЧЕСКИХ ФУНКЦИЙ. 2 2. ЛОГИКА СУЖДЕНИЙ. 11 3. СИЛЛОГИСТИКА. 21 4. СОРИТЫ. ПОЛИСИЛЛОГИЗМЫ. 37 5. ЛОГИЧЕСКИЕ УРАВНЕНИЯ. 41 6. ЗАДАЧИ Л.КЭРРОЛЛА. 50 СИЛЛОГИЗМЫ Л.КЭРРОЛЛА ДЛЯ САМОСТОЯТЕЛЬНОГО РЕШЕНИЯ. 67 СОРИТЫ Л.КЭРРОЛЛА ДЛЯ САМОСТОЯТЕЛЬНОГО РЕШЕНИЯ. 102 7. ЗАДАЧИ П.С.ПОРЕЦКОГО. 109 КРАТКИЙ СПРАВОЧНИК ПО РУССКОЙ ЛОГИКЕ. 111 ЛИТЕРАТУРА. 112 |
Loading
|