Жоль К.К. - Логика в лицах и символах

Жоль К.К. - Логика в лицах и символах
Название: Логика в лицах и символах
Автор: Жоль К.К.
Издательство: Восток-Запад, АСТ, 2006
ISBN: 5-17-037286-8, 5-478-00313-1
Страниц: 351
Формат: PDF
Размер: 10,3 mb 
Качество: Изначально компьютерное 
Язык: Русский



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

Эта книга написана для неспециалистов, интересующихся логикой, ее связями с математикой и техникой. Подобная авторская позиция объясняется просто: современная логика, которую часто называют математической, возникла из решения довольно специфических задач, касающихся укрепления основ математики, а не из бесплодных попыток научить всех желающих правильно мыслить и красиво рассуждать.
Я буду искренне рад, если данная книга поможет молодому читателю и его старшим наставникам изменить свое отношение к предметам хотя и абстрактным, но весьма практически полезным. С этой целью мной не только подробно разъясняется то, что профессионалу покажется банальным, но и применяется прием повтора, т. е. некоторые вещи рассматриваются по нескольку раз и в разных контекстах. Наиболее любознательным предлагаются в конце разделов упражнения, позволяющие проверить понимание излагаемого материала и тренирующие логическую память.

СОДЕРЖАНИЕ

9
К ЧИТАТЕЛЮ 11
ГЛАВА 1 ОБ ОШИБКАХ СТРЕЛОЧНИКОВ, ОТВЕТСТВЕННЫХ РЕШЕНИЯХ И ЛОГИКЕ
Чем оборачивается нерасторопность стрелочников? Управление техническими системами для повышения эффективности принимаемых решений. Что стоит за французским словом «реле» и кто является изобретателем клопфера? Релейные устройства и логика. Кое-что о компьютерах и системах счисления. Об алгебре контактных цепей, Джордже Буле и его вкладе в логическую науку. Автор метода диаграмм. Полезные сведения о теории множеств. Упражнения.

67
ГЛАВА 2
В ГОСТЯХ У ШЕРЛОКА ХОЛМСА
О способностях к аналитическому мышлению, дедуктивном методе и теории доказательств. От Гаусса к Гильберту. Неочевидное вероятно и действительно. Специфика аксиоматического метода. Интерпретация аксиоматических систем. Термины или термы? Борьба с психологизмом в логике. Упражнения.

119
ГЛАВА 3
ПОПУЛЯРНО О НЕПОПУЛЯРНОМ
Любитель логических ребусов из таверны «Жареный петух». Польский ученый интересуется силлогистикой античного философа, который был учеником Платона и учителем Александра Македонского. Аристотель отец европейской логической традиции. Хороша ли формальная логика? Поговорим о формализованных языках. Логика высказываний основа символической логики. Переменные и постоянные в языке науки. Логические законы, таблицы истинности и логические союзы. Возвращаясь к релейно-контактным схемам. Умозаключения для «интеллектуальных машин». Индуктивные и дедуктивные умозаключения. Дедуктивный вывод в логике высказываний. Упражнения.

177
ГЛАВА 4 НЕПОНЯТНОЕ МОЖНО ПОНЯТЬ
Знакомые всем лица и проблемы, или из разговора киевского философа Хомы Брута с богословом Халявой. Отличительные черты логики предикатов. Поучительная история из жизни патера Брауна. Термины в науке. Их логический анализ. Что такое дескрипция? В чем заключается смысл проблемы существования в логике? Квантор существования. Понятия экстенсионала и интенсионала в логике предикатов. Что для логиков означает выражение «быть понятием»? Кванторы и переменные. Законы логики высказываний и логики предикатов. Несколько слов на прощание об исчислении предикатов с равенством. Упражнения.

231
ГЛАВА 5 НЕВЕРОЯТНЫЕ ПУТЕШЕСТВИЯ ПО ВОЗМОЖНЫМ МИРАМ
О лягающихся виртуальных драконах и логическом законе исключенного третьего. Л. Э. Я. Брауэр бросает вызов Д. Гильберту. Развитие идей математического конструктивизма. Конструктивистская логика. Нечеткое в четком. Продолжение следует, или еще раз о рассказке патера Брауна. Нечеткая логика не причуда, а полезный инструмент познания. Проблемы и разделы модальной логики. Людвиг Витгенштейн и его вклад в развитие логико-философской науки XX века. Из истории термина «семантика». Готлоб Фреге профессор математики. Гениальный Лейбниц и его воззрения на логику. Логическая семантика: её проблемы и понятия. Упражнения.

301
ГЛАВА 6 ВОЗВРАЩАЯСЬ НА КРУГИ СВОЯ
Об одном происшествии на Военно-Грузинской дороге, а также об ангелах и кибернетике. Из жизни того, кто придумал оригинальное название для науки об управлении и связи в животном мире и в мире машин. Что же такое кибернетика? Вклад в теорию логических автоматов. О талантливом сыне преуспевающего будапештского банкира. Всё началось с «дифференциального анализатора». На заре «искусственного интеллекта». Упражнения.

315
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА

Вы уверены, что ссылка нерабочая?

Рекомендуем прочитать