Книга: Введение в современной логике / Жоль

Вступление к современной логики / Жоль

В учебном пособии изложены основные понятия и методы современной логики, которую часто называют математической логикой. Однако ориентация на математику и ее технические применения отнюдь не исчерпывает всей сферы логического поиска. Логический инструментарий эффективно используется в гуманитарных науках - от лингвистики до юриспруденции и этики. Овладеть этим инструментарием не так уж и просто: нужна напряженная и систематическая работа, а в результате будем иметь высококвалифицированного специалиста, профессионала, который с успехом будет работать в любой современной отрасли, например в области программного обеспечения компьютеров. Нет нужды слишком долго говорить о пользе изучения логики, она неоспорима.

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

В пособии представлены основные разделы логики и направления логических исследований. Первые две главы должны помочь студенту самостоятельно разобраться в том, чем занимаются современные логики и какое практическое значение имеют их теоретические исследования. Третья и четвертая главы знакомят с основами логики, знание которых является обязательным условием для дальнейшего продвижения по лабиринтам этой сложной науки. Пятая глава демонстрирует в общих чертах наиболее интересные и прогрессивные пути развития современной логической мысли /наконец, заключительная, шестая, глава выводит студента, который уже ознакомился с логической азбукой, на актуальную проблематику, которая волнует как практиков, так и теоретиков. Имеется в виду предметная участок кибернетики и такой важный вопрос, как изучение проблем «искусственного интеллекта» (перевод с одного естественного языка на другой, создание технических экспертных систем и т.п.).

Книга: Введение в современной логике / Жоль

СОДЕРЖАНИЕ

1.	Вступление к современной логики / Жоль
2.	ГЛАВА 1. ЛОГИКА И ПРИНЯТИЕ РЕШЕНИЯ § 1. Технические системы и их роль в повышении эффективности решений, принимаемых
3.	§ 2. Алгебра контактных схем
4.	§ 3. Теория множеств
5.	ГЛАВА 2. ОТ ЛОГИКИ К МЕТАЛОГИКИ § 4. Аксиоматика в логике и математике
6.	§ 5. Проблемы теории множеств
7.	§ 6. Логические исследования Д. Хилберт
8.	§ 7. Углубленное понимание аксиоматического метода
9.	ГЛАВА 3. ЛОГИКА ВЫСКАЗЫВАНИЙ, ИЛИ ПРОПОЗИЦІЙНА ЛОГИКА § 8. Формализованные языки науки и формальная логика.
10.	§ 9. Переменные и постоянные в языке науки
11.	§ 10. Законы логики, таблицы истинности и логические союзы
12.	§ 11. Трактовка релейно-контактных схем в терминах логики высказываний
13.	§ 12. Индуктивные и дедуктивные умозаключения
14.	ГЛАВА 4. ЛОГИКА ПРЕДИКАТОВ, ИЛИ ПРОПОЗИЦІЙНИХ ФУНКЦИЙ § 13. Отличительные черты логики предикатов
15.	§ 14. Дескрипція
16.	§ 15. Суть проблемы существования в логике
17.	§ 16. Квантор существования
18.	§ 17. Значение выражения «быть понятием»
19.	§ 18. Кванторы и переменные: существенные уточнения
20.	ГЛАВА 5. НОВЫЕ ЛОГИЧЕСКИЕ ИДЕИ И СИСТЕМЫ § 20. Развитие идей математического конструктивизма
21.	§ 21. Конструктивная логика
22.	§ 22. Эта странная нечеткая логика
23.	§ 23. Проблемы модальной логики
24.	§ 24. Из истории термина «семантика»
25.	§ 25. Логическая семантика: проблемы и понятие
26.	ГЛАВА 6. ЛОГИКА И КИБЕРНЕТИКА § 26. Кибернетика, логика и теория конечных автоматов
27.	§ 27. «Машина Тьюринга». Влияние математической теории связи на логико-семантические исследования
28.	§ 28. «Искусственный интеллект» с точки зрения логики

На предыдущую