- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 1. Предмет и основные понятия логики
- •1.2. Структура формальной логики
- •1.3. Предмет формальной логики
- •1.4. Мышление как объект изучения логики
- •1.5. Основные формы мышления
- •1.6. Понятие логической формы
- •1.7. Истинность мысли и формальная правильность рассуждений
- •1.8. Основные свойства правильного мышления. Понятие логического закона
- •1.10. Понятие логического следования
- •1.11. Закон логики как отношение логического следования
- •Глава 2. Логический анализ языка
- •2.1. Мышление и язык
- •2.2. Естественный и искусственный языки
- •2.4. Семантическая классификация терминов
- •2.5. Семантические категории
- •2.6. Разновидности семантических категорий
- •2.7. Семиотика: семантика
- •2.8. Семиотика: синтактика
- •Глава 3. Основные направления и понятия символической (математической) логики
- •3.1. Классическая логика
- •3.2. Классическая логика высказываний
- •3.3. Синтаксис языка логики высказываний
- •3.4. Семантика языка логики высказываний
- •3.5. Семантические таблицы логики высказываний
- •3.6. Семантическая проблема разрешимости
- •3.7. Табличный способ определения типа формул
- •3.8. Логические отношения между формулами
- •3.10. Способ приведения формулы к нормальной форме
- •3.11. Равносильные формулы
- •3.12. Алгоритм приведения формул к КНФ и ДНФ
- •3.13. Аксиоматические исчисления
- •3.14. Натуральные исчисления
- •3.15. Секвенциальные исчисления
- •3.16. Построение секвенции
- •3.17. Законы логики высказываний
- •3.18. Классическая логика предикатов
- •3.19. Основные понятия логики предикатов
- •3.20. Операции над предикатами. Кванторы
- •3.21. Синтаксис языка логики предикатов
- •3.22. Процедура формализации выражений естественного языка в классической логике
- •3.23. Логическая символика
- •Введение. Понятие — форма мышления
- •Глава 4. Общая характеристика понятия
- •4.1. Понятие как форма мышления
- •4.2. Основные семантические характеристики понятия
- •4.3. Логическая структура понятия
- •4.4. Классификация видов понятий
- •4.5. Положительные и отрицательные, относительные и безотносительные понятия
- •4.6. Пустые и непустые, единичные и общие понятия
- •4.7. Универсальные и неуниверсальные, регистрирующие и нерегистрирующие понятия
- •4.8. Абстрактные и конкретные, собирательные и несобирательные понятия
- •Глава 5. Отношения между понятиями
- •5.1. Отношения между понятиями по логическому содержанию
- •5.2. Отношения между сравнимыми понятиями по содержанию
- •5.3. Отношения между понятиями по объемам
- •5.5. Отношения между несовместимыми понятиями по объемам
- •Глава 6. Логические операции с понятиями
- •6.1. Отношения рода и вида
- •6.2. Обобщение и ограничение понятий
- •6.3. Деление понятий
- •6.4. Таксономическое деление
- •6.5. Правила деления и возможные ошибки
- •6.6. Классификация
- •6.7. Операции с множествами (классами)
- •6.8. Операция объединения классов
- •6.9. Операция пересечения классов
- •6.10. Законы операций объединения и пересечения
- •6.11. Операция вычитания
- •6.12. Дополнение к множеству
- •6.13. Операции с классами. Диаграмма Венна
- •Глава 7. Определение
- •7.2. Виды определений (номинальные и реальные определения)
- •7.3. Явные и неявные определения
- •7.4. Виды явных определений
- •7.5. Виды неявных определений
- •7.6. Правила определения и возможные ошибки
- •Введение. Суждение (высказывание)
- •Глава 8. Простые суждения
- •8.1. Структура суждения
- •8.2. Логическая структура простого суждения
- •8.3. Логический анализ предложений, выражающих простые суждения
- •8.4. Виды простых суждений
- •8.7. Процедура приведения предложений естественного языка к канонической форме категорических суждений
- •8.10. Выражение категорических суждений на языке логики предикатов
- •8.12. Суждения с отношениями
- •8.13. Выражение суждений с отношениями на языке логики предикатов
- •Глава 9. Сложные суждения
- •9.2. Соединительные суждения
- •9.3. Разделительные суждения
- •9.4. Условные и импликативные суждения
- •9.5. Суждения эквивалентности
- •9.6. Суждение с внешним отрицанием
- •9.7. Условия истинности сложных суждений
- •9.8. Логическая форма сложного суждения
- •9.9. Выражение одних логических союзов через другие
- •9.10. Формы сложных суждений
- •9.11. Логическая вероятность сложных суждений
- •Глава 10. Отрицание суждений
- •10.1. Отрицание атрибутивных суждений
- •10.2. Отрицание суждений с отношениями
- •10.3. Отрицание сложных суждений
- •Глава 11. Отношения между суждениями
- •11.1. Отношения между суждениями
- •11.2. Отношения между простыми суждениями
- •11.3. Условия истинности для простых суждений
- •11.4. Модельные схемы
- •11.5. Логический квадрат
- •11.6. Логический треугольник
- •11.7. Отношения между сложными суждениями
- •11.8. Отношение эквивалентности сложных суждений
- •11.9. Отношение субконтрарности сложных суждений
- •11.10. Отношение подчинения сложных суждений
- •11.11. Отношение противоположности сложных суждений
- •11.12. Отношение противоречия сложных суждений
- •Глава 12. Модальность суждений
- •12.1. Структура модальных суждений
- •12.2. Алетическая модальность
- •12.3. Эпистемическая модальность
- •12.4. Деонтическая модальность
- •12.5. Сводная таблица видов модальностей
- •12.6. Определения и законы модальной логики. Логические модальные понятия
- •12.7. Физические модальные понятия
- •12.8. Законы и определения логики оценок
- •12.9. Законы и определения логики норм
- •Глава 13. Логические основы вопросно-ответного мышления
- •13.1. Виды вопросов
- •13.2. Виды ответов
- •Глава 14. Общая характеристика и структура умозаключений
- •14.1. Структура умозаключения
- •14.2. Классификация умозаключений по строгости правил вывода
- •14.3. Классификация умозаключений по направленности логического следования
- •14.4. Дедуктивные умозаключения
- •14.5. Обобщенная классификация умозаключений
- •Глава 15. Демонстративные (необходимые) умозаключения
- •15.1. Выводы из сложных высказываний (выводы на основе свойств логических связок)
- •15.2. Чисто условное умозаключение
- •15.6. Условно-разделительные умозаключения
- •15.7. Дилемма
- •15.8. Простая конструктивная дилемма
- •15.9. Простая деструктивная дилемма
- •15.11. Сложная деструктивная дилемма
- •15.12. Проверка правильности умозаключений из сложных суждений
- •15.13. Проверка умозаключений методом аналитических таблиц
- •15.14. Непосредственные умозаключения
- •15.15. Построение непосредственных умозаключений по логическому квадрату
- •15.17. Превращение
- •15.18. Обращение
- •15.19. Противопоставление предикату
- •15.20. Проверка непосредственных умозаключений
- •15.21. Простой категорический силлогизм
- •15.22. Структура силлогизма
- •15.23. Модусы категорического силлогизма
- •15.24. Правила терминов категорического силлогизма
- •15.25. Правила посылок категорического силлогизма
- •15.26. Первая фигура категорического силлогизма
- •15.27. Вторая фигура категорического силлогизма
- •15.28. Третья фигура категорического силлогизма
- •15.29. Четвертая фигура категорического силлогизма
- •15.30. Категорический силлогизм с выделяющими суждениями
- •15.31. Правила логического вывода фигур категорического силлогизма
- •15.32. Алгоритм анализа силлогизма
- •15.34. Способы проверки правильности силлогизмов (поиск и предъявление контрпримера)
- •15.36. Умозаключения из суждений с отношениями
- •15.37. Сокращенный категорический силлогизм (энтимема)
- •15.38. Сложные и сложносокращенные силлогизмы (полисиллогизм, сорит, эпихейрема)
- •15.39. Прогрессивный полисиллогизм
- •15.40. Регрессивный полисиллогизм
- •15.41. Прогрессивный сорит
- •15.42. Регрессивный сорит
- •15.43. Эпихейрема
- •Глава 16. Недемонстративные (правдоподобные) умозаключения
- •16.1. Общая характеристика правдоподобных умозаключений
- •16.2. Отношение подтверждения в правдоподобных умозаключениях
- •16.4. Правдоподобные (индуктивные) умозаключения
- •16.5. Виды индукции
- •16.6. Полная индукция
- •16.7. Математическая индукция
- •16.8. Неполная индукция (популярная)
- •16.9. Научная индукция
- •Глава 17. Индуктивные методы установления причинных связей
- •17.1. Метод единственного сходства
- •17.2. Метод единственного различия
- •17.4. Метод сопутствующих изменений
- •17.5. Метод остатков
- •17.6. Характеристики причинных связей, делающие возможным применение методов научной индукции
- •17.7. Ошибки, встречающиеся при обнаружении причинных связей
- •Глава 18. Умозаключения по аналогии
- •18.1. Аналогия
- •18.2. Структура аналогии
- •18.3. Виды умозаключений по аналогии по характеру информации
- •18.4. Виды умозаключений по аналогии по характеру выводного знания
- •Введение. Логические основы аргументации
- •Глава 19. Общая характеристика аргументации
- •19.1. Обоснование как основа аргументации
- •19.2. Аргументация как способ рассуждения
- •19.3. Аргументация как рациональный процесс
- •19.4. Виды аргументации
- •19.6. Условия доказательности и недоказательности аргументации
- •19.7. Структура доказательства
- •19.8. Способы доказательств
- •19.9. Виды доказательств
- •19.12. Критика и опровержение
- •19.13. Способы опровержения
- •19.16. Правила по отношению к форме доказательства и возможные ошибки
- •Введение. Логика в процессе развития научного знания
- •Глава 20. Проблема
- •20.1. Общая характеристика проблемы
- •20.2. Типология проблем
- •20.3. Обобщенная схема типологии проблем
- •20.4. Процесс решения проблемы
- •Глава 21. Гипотеза
- •21.1. Общая характеристика гипотезы
- •21.2. Построение гипотезы
- •21.3. Условия состоятельности гипотезы
- •21.4. Проверка гипотезы
- •21.5. Логическое доказывание гипотез
- •Глава 22. Теория
- •22.1. Теория, ее элементы и функции
- •22.2. Классификация теорий
- •Практикум
- •Раздел 1. Образцы решения типовых задач
- •Раздел 2. Задания для самостоятельной работы студентов очной и заочной формы обучения
- •Приложения
Предисловие
Óчебник вместе с дополняющим его учебным пособием «Логика. Задачи и упражнения» составляет учебный комплекс.
Основная задача учебного комплекса состоит в том, чтобы оказать эффективную практическую помощь всем интересующимся теоретическими вопросами логики, а также способствовать выработке у них умения применять ее положения и требования в практической деятельности.
Основная цель изучения логики — выяснение условий достижения истинных знаний, изучение основных закономерностей и структуры мыслительного процесса, овладение логическим аппаратом и методами познания.
Реализация этой цели способствует овладению практическими навыками пра-
вильного мышления.
Логически правильная форма мышления является существенным компонентом и показателем интеллектуальной культуры человека. Признаками неразви-
того мышления служат его непоследовательность, неубедительность, декларативность, нестрогость, безапелляционность.
Обращаясь к логике, мы, с одной стороны, стремимся придать мышлению убедительность, ясность, действенность; с другой стороны, обретаем достаточные
основания для достижения истинного знания в процессе рассуждения. Естественно, что логика в процессе изучения мышления использует свои приемы, отличные от приемов других наук. Прежде всего, она исследует следующие ас-
пекты мыслительной деятельности человека:
•мышление как инструмент познания, как рациональная деятельность на основе понятий, суждений и умозаключений;
•мышление как средство достижения практической результативности и истинности выводного знания, что в определенной степени осуществляется благодаря применению законов и правил мышления;
•мышление как структурно-функциональный процесс, в котором правильность рассуждения (вывода) определяется только его логической фор-
мой, или структурой, и не зависит от конкретного содержания входящих в него утверждений.
Аспекты мыслительной деятельности в свою очередь определяют основные темы логических исследований — анализ правильности рассуждений, формулировку принципов и законов, соблюдение которых является необходимым условием получения истинного знания.
Логика, те законы и формы, в которых она воплощается, так же, как и мысль человека, в своих основных формах не зависят от предметной деятельности человека, типа его мышления и интеллекта. Иными словами, логика
4 |
Введение |
|
|
имеет всеобщий характер, ибо мыслительный процесс у всех людей, независимо от их национальности, особенностей языка, специфики деятельности, имеет общую структуру.
Логическое мышление не является изначально данным человеку, поэтому его можно и необходимо развивать. Добиться в этом успеха без информации об универсалиях формальной логики — о понятиях, суждениях, умозаключениях,
àтакже без представлений о структурах аргументирования и основных формах развития знания не представляется возможным. Помочь в этом призван предлагаемый учебник.
Одна из конструктивных его особенностей заключается в том, что основной акцент в нем делается на развитие внутренней логики изучаемой науки посредством методики, предполагающей наглядность, систематизацию и концептуальное изложение учебного материала.
При этом необходимо считаться с двумя обстоятельствами.
Во-первых, систематизированное изложение материала отражает не всю полноту содержания изучаемого феномена, а только его общие структурные связи, которые воплощаются и в структуре наших мыслей. Поэтому любая систематизация всегда в той или иной мере ограниченна. Однако если систематизация учебного материала удачно сделана и применена, то ее методическое значение в процессе изучения логики неоспоримо, поскольку она является не только тезисным изложением рассматриваемого вопроса, но и выполняет роль методи- ческого ключа в процессе изучения и понимания конкретной проблемы.
Во-вторых, любая систематизация учебного материала всегда представляет собой единство объективного содержания и субъективной формы изображения, которое определяется изучаемым предметом и во многом зависит от понимания сущности вопросов, методической цели и эстетических вкусов автора, а потому является только одним из множества вариантов решения соответствующего вопроса.
Главное, чтобы такое систематизированное изложение учебного материала помогло преподавателю объяснить те или иные темы курса основ логики,
àучащемуся — усвоить знания.
Учебник по своей сути является концептуальным изложением основных вопросов учебного курса логики, что определялось его основной задачей — сориентировать учащихся в процессе обучения на оптимальное усвоение курса логики в его целостности и последовательности, т.е. воссоздание общей структуры основ логического знания.
Следует отметить, что автор не ставил своей целью осветить все темы курса или дать ответы по всем узловым вопросам каждой темы. Эта цель практически неосуществима для любого учебника, ибо невозможно охватить все разделы курса логики, которые определяются спецификой вуза и объемом учебных часов, отведенных на ее изучение.
Раздел I
Пропедевтика: предмет логики. Основные понятия и структура логики
Логика — это бог мыслящих.
Л. Фейхтвангер
Логика непобедима, потому что одолеть
ååможно только с помощью логики.
Î.Хевисайд
Логика есть общий ценитель и судья всех частных исследований. Она не задается целью находить очевидность; она только определяет, найдена очевидность или нет. Логика не изобретает, не открывает — она — судит.
Дж.С. Милль
Введение. Логика как наука
Ëогику традиционно определяют как науку о формах, приемах и законах мышления.
Мышление изучается не только логикой, но и психологией, лингвистикой, кибернетикой и рядом других наук. Каждая из них изучает мышление в определенном аспекте.
Логика изучает формы выражения мыслей, формы развития знаний, приемы и методы познания, законы мышления.
Логические формы, в которых выражаются мысли, — это понятие, суждение, умозаключение и др. Формы, в которых происходит развитие знания, — проблема, гипотеза, теория и др. Форма мысли — это то, что остается при отвлечении от содержательного компонента наших мыслей об окружающем мире, т.е. если полностью абстрагироваться от содержания мыслей, в них останется лишь структура. Это и есть форма мысли.
Предметом изучения логики являются и приемы мышления, т.е. способы оперирования с мыслями (переходы от понятия к более общему или менее общему, установление отношений между понятиями или суждениями, отрицание различ- ных видов суждений и многие другие операции, производимые в процессе мышления).
Большой круг проблем, относящихся к логике как науке, связан с применением языка как средства познания мира и средства выражения мысли. Такого типа проблемы называются логико-семиотическими. К их числу относятся проблемы определения категорий языковых выражений в зависимости от типов их значе- ний, а также установления смыслов и условий истинности и ложности различ- ных видов высказываний.
Основными темами в логических исследованиях являются анализ правильности рассуждения, формулировка принципов и законов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода. В правильном рассуждении заключение вытекает из посылок с логической необходимостью. Общая же схема такого рассуждения выражает логический закон. Поэтому предметом изучения логики являются законы мышления. Существует множество логических законов, каждый из которых есть проявление необходимой связи между мыслями; они обеспечивают в процессе мышления переходы от исходных истинных утверждений к новым истинным утверждениям.
В настоящее время логика существует в двух формах, являющихся историче- скими этапами ее развития и вместе с тем определенными подходами и уровнями ее изучения.
1. Предмет и основные понятия логики |
7 |
|
|
I.Общая, или традиционная (несимволическая), логика является первым этапом в развитии (формальной) логики. Данный этап берет свое начало в IV в. до н.э. и завершается в конце XIX — начале XX вв., когда сформировалась современная (математическая, символическая) логика. Особенностью традиционной логики является изучение правильности мышления на основе естественного языка, что придает ей недостаточно строгий вид.
II. Символическая (математическая) логика возникла во второй половине XIX — начале XX вв. Она явилась результатом применения в логическом анализе строгих методов, стремления решать логические проблемы с помощью формализованных языков, или исчислений. Они позволяют избежать многозначности, несовершенства правил построения выражений естественного языка, которым пользовалась при описании правильного мышления традиционная логика. Символическая логика — это, собственно, и есть современная формальная логика, которая слагается из следующих основных разделов.
1.Базисная логика. Это теория логики, имеющая в основе ряд логических систем. Эти системы принято делить на логику классическую и некласси- ческую.
Классическая логика — это раздел современной (математической, символи- ческой) логики, включающий в себя классическую логику высказываний и классическую логику предикатов. Ее особенностью является то, что она опирается на принцип двузначности, в соответствии с которым всякое высказывание является либо истинным, либо ложным.
Неклассическая логика — это совокупность логических теорий, представляющих собой дополнение и дальнейшее развитие идей, лежащих в основе современной логики. В неклассическую логику входят модальная логика, многозначная логика, неклассические теории логического следования и др. Каждая из этих логик включает, как правило, соответствующие логику высказываний и логику предикатов. Последнюю называют также функциональной логикой, теорией квантификации, кванторной логикой. Логика предикатов — это основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний.
2.Приложения логики:
•металогика, исследующая сами логические теории, их внутреннюю структуру и связи с описываемой ими реальностью;
•разделы математического направления: такие, как теория доказательств, теория множеств, теория функции, логика вероятностей, обоснования математики;
•разделы, ориентированные на приложение в естественных и гуманитарных науках: индуктивная логика, логические теории времени, причинности, норм, оценок, действия, решения, выбора и т.п.;
•разделы, ориентированные на приложение в технических науках, и прежде всего в областях, касающихся развития вычислительной техники, конструирования ЭВМ, разработки искусственных языков и т.п.;
•разделы, ориентированные на приложение в философских науках, т.е. находящие применение при рассмотрении философских проблем, таких, как логика бытия, логика изменения, логика части и целого, логические теории вопросов, знания, убеждения, воображения, стремления и т.п.
Глава 1
Предмет и основные понятия логики
1.1. Основные этапы формирования
èразвития логики1
1.Логика Аристотеля (IV в. до н.э.) — дедуктивная логика (силлогистика), зачатки логики модальности.
2.Средневековая схоластическая логика (V—XV вв.) — развитие и усовершенствование логики Аристотеля, модальной логики, возникновение и развитие логики высказываний.
3.Логика Нового времени (XVI — начало XIX в.) — возникновение и развитие индуктивного метода в науке (Фрэнсис Бэкон). Формирование и развитие индуктивной логики (Джон Стюарт Милль).
4.Возникновение и развитие математической логики — идеи математической логики и кибернетики в эзотерической философии Г.В. Лейбница (1646—1716); возникновение и развитие идей математической логики в XIX в. в трудах Джорджа Буля (Англия), Готлоба Фреге (Германия), Чарлза Пирса (США); Бертран Рассел и Альфред Норт Уайтхед «Principia mathematica» (1910—1913).
5.Современный этап развития логики — единство и многообразие современной логики: классическая и неклассические логики, многозначные, модальные, конструктивные, интуиционистские и др.; методы построения формальных ис- числений; компьютерные (алгоритмические) языки.
Использование методов символической логики отличает современную логику от традиционной. И хотя история логики насчитывает около двух с половиной тысячелетий, перемены, произошедшие в логике в XX в., существенно расширили предмет логических исследований.
В последние сто лет произошла научная революция, и на смену традиционной логике пришла современная логика, называемая символической или математической. Вместе с тем в современной логике сохраняются все достижения и вся проблематика традиционной логики. Все это приблизило логику XX в. к реальному мышлению, а значит и к человеческой деятельности. Так, например, она оказала влияние на развитие математики, в частности, на развитие теории множеств, формальных систем, алгоритмов. Идеи и аппарат логики используются в кибернетике, вычислительной технике, электронике и других областях научного знания.
1 Подробно об исторических вехах в развитии логики см. приложение 1.
1. Предмет и основные понятия логики |
9 |
|
|
1.2. Структура формальной логики
РАЗДЕЛЫ ЛОГИКИ
Традиционная логика (IV в. до н.э. — начало XIX в.)
Традиционная логика изучает правильное мышление, опираясь в основном на естественный язык. Логика традиционная практи- чески не использует формализацию, аппарат математики, исчисления и занимается изу- чением логической связи умозаключений, суждений, понятий и операций над ними.
Классическая логика (XIX—XX вв.)
Раздел современной (математической, символи- ческой) логики, вклю- чающий в себя класси- ческую логику высказываний и классическую логику предикатов. Логика классическая опирается на принцип двузначности, в соответствии с которым всякое высказывание является или истинным, или ложным.
Неклассическая логика (конец XIX—XX в.)
Совокупность логи- ческих теорий, являющихся дополнением и дальнейшим развитием идей, лежащих в основе современной логики (интуиционистская логика, релевантная логика, многозначные логики, модальные логики, деонтическая логика, паранепротиворе- чивая логика и т.д.).
|
|
|
|
|
|
|
|
|
|
|
|
|
Ï ð å ä ñ ò à â è ò å ë è |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ä. Áóëü |
|
|
|
|
|
|
Аристотель |
|
(1815–1864) |
|
|
|
|
||
|
|
|
|
|
|
|
Л. Брауэр |
||
|
(348—322 äî í.ý.) |
|
|
|
|
|
|
|
|
|
|
|
|
А. де Морган |
|
|
|
|
|
|
|
|
|
|
|
|
(1881—1966) |
||
|
А. Боэций |
|
(1806–1871) |
|
|
|
|
||
|
|
|
|
|
|
|
К.И. Льюис |
||
|
(îê. 480—525) |
|
×. Ïèðñ |
|
|
|
|
||
|
|
|
|
|
|
|
(1883—1964) |
||
|
|
|
|
(1839–1914) |
|
|
|
|
|
|
П. Абеляр |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Я. Лукасевич |
|
|
|
|
|
|
Г. Фреге |
|
|
|
|
|
|
(1079—1142) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1878—1956) |
||
|
Ф. Бэкон |
|
(1848–1925) |
|
|
|
|
||
|
|
|
|
|
Ý. Ïîñò |
|
|||
|
|
|
|
Б. Рассел |
|
|
|
|
|
|
(1561—1626) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1897—1954) |
||
|
|
|
|
(1872–1970) |
|
|
|
|
|
|
Д.С. Милль |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Д. фон Нейман |
|
|
|
|
|
|
А. Уайтхед |
|
|
|
|
|
|
(1806—1873) è äð. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1903—1957) è äð. |
||
|
|
|
|
(1861—1947) è äð. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
10I. Пропедевтика: предмет логики. Основные понятия и структура логики
1.3.Предмет формальной логики
Термин «логика» происходит от греческого слова logos, что значит «мысль», «слово», «разум», «закономерность».
Предметом формальной логики является форма мышления. Что же следует понимать под формой мышления? Содержание мышления — это то, о чем мы мыслим, а форма мышления — то, как мы мыслим. Соответственно этому предметная область логики конкретизируется посредством следующих определений.
Логика — это теория формально-логического мышления.
Логика — наука о формах, приемах, законах мышления и других связях и отношениях между мыслями по их логическим формам.
Логика — это нормативная наука о формах и приемах рационального познания, осуществляемого посредством языка. Она вырабатывает нормы, критерии правильности осуществления процедур мышления, формируя тем самым некий канон любой рациональной деятельности.
Логика предстает в трех ипостасях
1. Совокупность правил, которым подчиняется процесс мышления
Предметом логики являются законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий его мир.
2. Наука о правилах рассуждения и тех формах, в которых мышление осуществляется
Логика — это теория рассуждений и их элементов, которая отличает правильные рассуждения от неправильных на основании одной только их формы.
3. Наука о формах и законах правильного мышления
Предмет логики составляют:
а) логические формы, в которых выражаются мысли, т.е. формы мыслительного процесса (понятие, суждение, умозаключение и др.);
б) формы, в которых происходит развитие знания (проблема, гипотеза, теория и др.); в) приемы мышления, т.е. способы оперирования мыслями (оперирование понятиями, установление отношений между суждениями, отрицание различных ви-
дов суждений и другие операции); г) методы получения нового выводного знания (метод сходства, метод различия,
соединенный метод сходства и различия, метод сопутствующих изменений, метод остатков и др.);
д) способы аргументации полученных знаний (прямое или косвенное доказательство, критика и опровержение и др.);
е) законы, которые присущи мыслительной деятельности (законы связи между мыслями и законы (принципы), определяющие общие условия правильного мышления).
1. Предмет и основные понятия логики |
11 |
|
|
1.4. Мышление как объект изучения логики
Предметной областью логики являются исторически сложившиеся формы и приемы познания. Познание как отражение действительности есть мыслительный процесс, или движение мысли от незнания к знанию, от неполного знания и неточного знания к более полному и к более точному.
Как же осуществляется процесс научного познания?
Научное познание есть процесс, включающий в себя два основных уровня — эмпирический и теоретический.
1.На эмпирическом уровне преобладает чувственное познание, которое вклю- чает в себя ощущение, восприятие, представление.
Ощущение — отражение в сознании человека отдельных свойств внешних предметов и внутренних состояний организма при непосредственном воздействии материальных раздражителей на соответствующие рецепторы.
Восприятие — отражение в сознании человека предметов и явлений окружающего мира при их непосредственном воздействии на рецепторы.
Представление — возникающие в сознании человека образы предметов и явлений внешнего мира или их свойств, которые человек когда-то воспринимал или ощущал.
Особенностью эмпирического познания является то, что оно направлено непосредственно на объект и осваивает его с помощью таких приемов и средств, как описание, сравнение, наблюдение, эксперимент, анализ, индукция и т.д.
Эмпирический уровень научного познания — это процесс (мыслительный, языковый) переработки чувственных данных, вообще информации, полученной
ñпомощью органов чувств.
2.Особенностью теоретического уровня познания является то, что на нем широко используются такие познавательные приемы и средства, как абстрагирование, идеализация, синтез, дедукция и др.
На теоретическом уровне научного познания преобладающим является рациональное познание, которое наиболее адекватно выражено в мышлении.
Мышление — активный процесс обобщенного и опосредованного отражения действительности, обеспечивающий ее познание на основе понятий, суждений, умозаключений, гипотез, теорий и т.п.
По традиции выделяют два основных типа мышления: рассудок и разум. Рассудок — тип мышления, согласно которому мыслительная деятельность
человека протекает по определенным правилам и приемам, нормам и канонам рациональной деятельности. Рассудок — это способность последовательно и ясно рассуждать, правильно строить свои мысли, умение четко классифицировать и строго систематизировать знания. Логика рассудка — это формальная логика, которая изучает структуру высказываний и доказательств.
Разум, как и рассудок, также является типом рационального мышления. Логика разума — это диалектика, представленная как учение о развитии знаний в единстве их содержания и формы. Взаимосвязь разума и рассудка составляет единую целостность — мышление.
Формы мышления (логические формы) — способы отражения действительности
ñпомощью взаимосвязанных абстракций, среди которых исходными являются
понятия, суждения и умозаключения.