lybs.ru
Если человек - царь природы, то звери - за республику. / Владимир Голобородько


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


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

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

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

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

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

СОДЕРЖАНИЕ

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. «Искусственный интеллект» с точки зрения логики

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