М.: Восток-Запад, АСТ, 2006. — 351 с. — ISBN 5-17-037286-8,
5-478-00313-1.
Чем занимается логика? Какова ее история и кто ее творцы? Что такое
математическая логика? В чем заключается практическая ценность
логической науки? Как научиться пользоваться логическим языком?
На эти и другие вопросы в увлекательной популярной форме отвечает предлагаемый учебник, вводящий читателя в мир драматических научных исканий, объясняющий связь логики с гуманитарными, естественными, техническими и математическими науками, помогающий понять значение логики для программного обеспечения современных компьютеров, вооружающий элементарными основами логической грамотности. К читателю
Об ошибках стрелочников, ответственных решениях и логике
Чем оборачивается нерасторопность стрелочников?
Управление техническими системами для повышения эффективности принимаемых решений.
Что стоит за французским словом «реле» и кто является изобретателем клопфера? Релейные устройства и логика. Кое-что о компьютерах и системах счисления. Об алгебре контактных цепей, Джордже Буле и его вкладе в логическую науку. Автор метода диаграмм. Полезные сведения о теории множеств. В гостях у Шерлока Холмса
О способностях к аналитическому мышлению, дедуктивном методе и теории доказательств. От Гаусса к Гильберту. Неочевидное вероятно и действительно. Специфика аксиоматического метода. Интерпретация аксиоматических систем. Термины или термы? Борьба с психологизмом в логике. Упражнения.
Любитель логических ребусов из таверны «Жареный петух». Польский ученый интересуется силлогистикой античного философа, который был учеником Платона и учителем Александра Македонского. Аристотель отец европейской логической традиции. Хороша ли формальная логика? Поговорим о формализованных языках. Логика высказываний основа символической логики. Переменные и постоянные в языке науки. Логические законы, таблицы истинности и логические союзы. Возвращаясь к релейно-контактным схемам. Умозаключения для «интеллектуальных машин». Индуктивные и дедуктивные умозаключения. Дедуктивный вывод в логике высказываний.
Упражнения. Популярно о непопулярном
Знакомые всем лица и проблемы, или из разговора киевского философа Хомы Брута с богословом Халявой. Отличительные черты логики предикатов. Поучительная история из жизни патера Брауна. Термины в науке. Их логический анализ. Что такое дескрипция ? В чем заключается смысл проблемы существования в логике ? Квантор существования. Понятия экстенсионала и интенсионала в логике предикатов. Что для логиков означает выражение «быть понятием» ? Кванторы и переменные. Законы логики высказываний и логики предикатов. Несколько слов на прощание об исчислении предикатов с равенством. Упражнения. Непонятное можно понять
О лягающихся виртуальных драконах и логическом законе исключенного третьего. Л. Э. Я. Брауэр бросает вызов Д. Гильберту. Развитие идей математического конструктивизма. онструктивистская логика. Нечеткое в четком. Продолжение следует, или еще раз о рассказке патера Брауна. Нечеткая логика не причуда, а полезный инструмент познания. Проблемы и разделы модальной логики. Людвиг Витгенштейн и его вклад в развитие логико-философской науки XX века. Из истории термина «семантика». Готлоб Фреге профессор математики. Гениальный Лейбниц и его воззрения на логику. Логическая семантика: её проблемы и понятия. Упражнения. Невероятные путешествия по возможным мирам
Об одном происшествии на Военно-Грузинской дороге, а также об ангелах и кибернетике. Из жизни того, кто придумал оригинальное название для науки об управлении и связи в животном мире и в мире машин. Что же такое кибернетика ? Вклад в теорию логических автоматов. О талантливом сыне преуспевающего будапештского банкира. Всё началось с «дифференциального анализатора». На заре «искусственного интеллекта».
Упражнения. Возвращаясь на круги своя
Рекомендуемая литература
На эти и другие вопросы в увлекательной популярной форме отвечает предлагаемый учебник, вводящий читателя в мир драматических научных исканий, объясняющий связь логики с гуманитарными, естественными, техническими и математическими науками, помогающий понять значение логики для программного обеспечения современных компьютеров, вооружающий элементарными основами логической грамотности. К читателю
Об ошибках стрелочников, ответственных решениях и логике
Чем оборачивается нерасторопность стрелочников?
Управление техническими системами для повышения эффективности принимаемых решений.
Что стоит за французским словом «реле» и кто является изобретателем клопфера? Релейные устройства и логика. Кое-что о компьютерах и системах счисления. Об алгебре контактных цепей, Джордже Буле и его вкладе в логическую науку. Автор метода диаграмм. Полезные сведения о теории множеств. В гостях у Шерлока Холмса
О способностях к аналитическому мышлению, дедуктивном методе и теории доказательств. От Гаусса к Гильберту. Неочевидное вероятно и действительно. Специфика аксиоматического метода. Интерпретация аксиоматических систем. Термины или термы? Борьба с психологизмом в логике. Упражнения.
Любитель логических ребусов из таверны «Жареный петух». Польский ученый интересуется силлогистикой античного философа, который был учеником Платона и учителем Александра Македонского. Аристотель отец европейской логической традиции. Хороша ли формальная логика? Поговорим о формализованных языках. Логика высказываний основа символической логики. Переменные и постоянные в языке науки. Логические законы, таблицы истинности и логические союзы. Возвращаясь к релейно-контактным схемам. Умозаключения для «интеллектуальных машин». Индуктивные и дедуктивные умозаключения. Дедуктивный вывод в логике высказываний.
Упражнения. Популярно о непопулярном
Знакомые всем лица и проблемы, или из разговора киевского философа Хомы Брута с богословом Халявой. Отличительные черты логики предикатов. Поучительная история из жизни патера Брауна. Термины в науке. Их логический анализ. Что такое дескрипция ? В чем заключается смысл проблемы существования в логике ? Квантор существования. Понятия экстенсионала и интенсионала в логике предикатов. Что для логиков означает выражение «быть понятием» ? Кванторы и переменные. Законы логики высказываний и логики предикатов. Несколько слов на прощание об исчислении предикатов с равенством. Упражнения. Непонятное можно понять
О лягающихся виртуальных драконах и логическом законе исключенного третьего. Л. Э. Я. Брауэр бросает вызов Д. Гильберту. Развитие идей математического конструктивизма. онструктивистская логика. Нечеткое в четком. Продолжение следует, или еще раз о рассказке патера Брауна. Нечеткая логика не причуда, а полезный инструмент познания. Проблемы и разделы модальной логики. Людвиг Витгенштейн и его вклад в развитие логико-философской науки XX века. Из истории термина «семантика». Готлоб Фреге профессор математики. Гениальный Лейбниц и его воззрения на логику. Логическая семантика: её проблемы и понятия. Упражнения. Невероятные путешествия по возможным мирам
Об одном происшествии на Военно-Грузинской дороге, а также об ангелах и кибернетике. Из жизни того, кто придумал оригинальное название для науки об управлении и связи в животном мире и в мире машин. Что же такое кибернетика ? Вклад в теорию логических автоматов. О талантливом сыне преуспевающего будапештского банкира. Всё началось с «дифференциального анализатора». На заре «искусственного интеллекта».
Упражнения. Возвращаясь на круги своя
Рекомендуемая литература