- •Предмет логики как науки.
- •Мышление как объект и инструмент познания.
- •Понятие логической формы. Истинность и правильность мысли.
- •Язык как знаковая система. Принципы отношения именования.
- •Семантические категории языковых выражений.
- •Объем и содержание понятий, операции ограничения и обобщения понятий.
- •Виды понятий.
- •Отношения между понятиями.
- •Определение понятий и виды определений. Приемы, сходные с определением.
- •Правила определения. Ошибки в определениях.
- •Деление понятий и его виды.
- •13. Правила деления и ошибки, возможные при делении.
- •15. Суждение как форма мышления. Суждение и предложение.
- •16. Простые суждения и их виды.
- •17. Категорические суждения. Объединенная классификация суждений.
- •18. Распределенность терминов в категорических суждениях. Условия истинности категорических суждений.
- •19. Отношения между простыми суждениями. ≪Логический квадрат≫.
- •20. Сложные суждения и их виды. Логическая форма сложных суждений.
- •21. Семантические таблицы истинности.
- •22. Отношения между сложными суждениями. Понятие логического
- •23. Основные законы логики.
- •24. Рассуждение, его структура. Характеристика умозаключения и его
- •25. Отличительные черты дедуктивных умозаключений и их роль в
- •26. Силлогистический вывод. Непосредственные умозаключения, их
- •2. Обращение.
- •27. Простой категорический силлогизм. Структура, термины и правила силлогизма.
- •29. Энтимема. Способы образования и проверки энтимем.
- •30. Сложные силлогизмы (полисиллогизмы и сориты).
- •31. Условно-категорические умозаключения, их использование при
- •32. Чисто условные умозаключения, их роль в доказательстве.
- •33. Разделительно-категорические умозаключения, условия правиль-
- •34. Дилеммы, их виды и правильные формы.
- •35. Недедуктивные умозаключения, их виды и роль в познании.
- •36. Индукция как метод познания. Индуктивные умозаключения.
- •37. Причинные отношения. Типичные ошибки, возникающие при анализе причинных связей.
- •38. Методы сходства и различия. Объединенный метод.
- •39. Методы сопутствующих изменений и остатков.
- •40. Умозаключения по аналогии, их структура и виды. Аналогия и
- •43. Виды опровержения.
- •44. Правила по отношению к тезису: возможные ошибки и уловки.
- •46. Правила по отношению к демонстрации и возможные ошибки.
- •47. Софизмы и парадоксы, их роль в развитии знания.
- •48. Условия и источники возникновения логики.
- •49. Аристотелевская логика, ее роль в развитии науки и культуры.
- •50. Развитие методов дедукции и индукции в Новое время.
- •51. Символическая логика и создание искусственных языков.
- •52. Основные формы теоретического знания.
51. Символическая логика и создание искусственных языков.
Подлинную революцию в логических исследованиях вызвало создание во второй половине XIX в. математической логики, которая получила еще название символической и обозначила новый, современный этап в развитии логики
Растущие успехи в развитии математики и проникновение математических методов в другие науки уже во второй половине XVII в. настоятельно выдвигали две фундаментальные проблемы. С одной стороны, это применение логики для разработки теоретических оснований математики, а с другой - математизация самой логики как науки. Наиболее глубокую и плодотворную попытку решить вставшие проблемы предпринял крупнейший немецкий философ и математик Г. Лейбниц Тем самым он стал, по существу, зачинателем математической (символической) логики. Он стремился изобрести универсальный символический язык, посредством которого можно было бы рационализировать любую эмпирическую науку
Наиболее благоприятные условия для мощного развития символической логики сложились лишь со второй половины XIX в. К этому времени математизация наук достигла особенно значительного прогресса, а в самой математике возникли новые фундаментальные проблемы ее обоснования. Английский ученый, математик и логик Дж. Буль в своих работах, прежде всего, применял математику к логике. Он дал математический анализ теории умозаключений, выработал логическое исчисление («Булева алгебра»). Немецкий логик и математик Г. Фреге применил логику для исследования математики. Посредством расширенного исчисления предикатов он построил формализованную систему арифметики.
Так открылся новый, современный этап в развитии логических исследований. Пожалуй, наиболее важная отличительная особенность этого этапа состоит в разработке и использовании новых методов решения традиционных логических проблем. Это разработка и применение искусственного, так называемого формализованного языка -языка символов, т.е. буквенных и других знаков (отсюда и наиболее общее наименование современной логики -«символическая»).
Различают два вида логических исчислений: исчисление высказываний и исчисление предикатов. При первом допускается отвлечение от внутренней, понятийной структуры суждений, а при втором эта структура учитывается и соответственно символический язык обогащается, дополняется новыми знаками.
Возникая на основе традиционной формальной логики, символическая логика, с одной стороны, уточняет, углубляет и обобщает прежние представления о логических законах и формах, особенно в теории выводов, а с другой - все более значительно расширяет и обогащает логическую проблематику.
Символическая логика находит все более широкое применение в других науках - не только в математике, но и в физике, биологии, кибернетике, экономике, лингвистике. Она приводит к возникновению новых отраслей знаний (метаматематика). Особенно впечатляюща и наглядна роль современной логики в сфере производства. Открывая возможность как бы автоматизировать процесс рассуждений, она позволяет передать некоторые функции мышления техническим устройствам. Ее результаты находят все более широкое применение в технике: при создании вычислительных машин, информационно-логических систем и т. д.
Остается сказать, что в разработку систем символической логики внесли важный вклад русские ученые. Среди них особенно выделяется П. Порецкий (1846--1907). Так, он первым в России начал чтение лекций по математической логике. Его собственные труды в этой области не только были на уровне трудов современных ему западноевропейских ученых, но и в ряде случаев превос-ходили их.