FinUniversity Electronic Library

     

Details

Грядовой, Д.И. Логика. Общий курс формальной логики: учебник / Д.И. Грядовой. — 3-е изд., перераб. и доп. — М.: ЮНИТИ-ДАНА, 2010. — 326 с. — (Cogito ergo sum). — Доступ из локальной сети Финуниверситета(чтение, печать, копирование). — <URL:http://elib.fa.ru/ebook/Gryadovoy-logic.pdf>.

Record create date: 5/29/2015

Subject: логика; гриф; математическая логика; мышление; суждение; умозаключение; научное знание; учебники; полный текст

LBC: 87.4я73

Collections: Электронные учебники

Allowed Actions:

Action 'Read' will be available if you login or access site from another network Action 'Download' will be available if you login or access site from another network

Group: Anonymous

Network: Internet

Document access rights

Network User group Action
Finuniversity Local Network All Read Print Download
-> Internet Anonymous
Internet Readers Read

Table of Contents

  • Оглавление
  • Предисловие
  • Раздел I. Пропедевтика: предмет логики. Основные понятия и структура логики
    • Введение. Логика как наука
    • Глава 1. Предмет и основные понятия логики
      • 1.1. Основные этапы формирования и развития логики
      • 1.2. Структура формальной логики
      • 1.3. Предмет формальной логики
      • 1.4. Мышление как объект изучения логики
      • 1.5. Основные формы мышления
      • 1.6. Понятие логической формы
      • 1.7. Истинность мысли и формальная правильность рассуждений
      • 1.8. Основные свойства правильного мышления. Понятие логического закона
      • 1.9. Основные принципы (законы) формально-логического мышления
      • 1.10. Понятие логического следования
      • 1.11. Закон логики как отношение логического следования
    • Глава 2. Логический анализ языка
      • 2.1. Мышление и язык
      • 2.2. Естественный и искусственный языки
      • 2.3. Язык, знак, имя
      • 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.9. Виды логических отношений между формулами
      • 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. Логическая символика
  • Раздел II. Понятие
    • Введение. Понятие — форма мышления
    • Глава 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.4. Отношения между совместными понятиями по объемам
      • 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.1. Определение и приемы, сходные с определением
      • 7.2. Виды определений (номинальные и реальные определения)
      • 7.3. Явные и неявные определения
      • 7.4. Виды явных определений
      • 7.5. Виды неявных определений
      • 7.6. Правила определения и возможные ошибки
  • Раздел III. Суждение
    • Введение. Суждение (высказывание)
    • Глава 8. Простые суждения
      • 8.1. Структура суждения
      • 8.2. Логическая структура простого суждения
      • 8.3. Логический анализ предложений, выражающих простые суждения
      • 8.4. Виды простых суждений
      • 8.5. Атрибутивные суждения. Деления суждений по качеству и количеству
      • 8.6. Атрибутивные суждения. Объединеннная классификация суждений по количеству и качеству
      • 8.7. Процедура приведения предложений естественного языка к канонической форме категорических суждений
      • 8.8. Распределенность терминов в общеутвердительных и общеотрицательных суждениях
      • 8.9. Сводная таблица распределенности терминов в категорических суждениях
      • 8.10. Выражение категорических суждений на языке логики предикатов
      • 8.11. Вылеоябшие, исключающие и определенно-частные суждения
      • 8.12. Суждения с отношениями
      • 8.13. Выражение суждений с отношениями на языке логики предикатов
    • Глава 9. Сложные суждения
      • 9.1. Понятие о сложном высказывании и логическом союзе
      • 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. Виды ответов
  • Раздел IV. Умозаключение
    • Введение. Умозаключение как форма мышления
    • Глава 14. Общая характеристика и структура умозаключений
      • 14.1. Структура умозаключения
      • 14.2. Классификация умозаключений по строгости правил вывода
      • 14.3. Классификация умозаключений по направленности логического следования
      • 14.4. Дедуктивные умозаключения
      • 14.5. Обобщенная классификация умозаключений
    • Глава 15. Демонстративные (необходимые) умозаключения
      • 15.1. Выводы из сложных высказываний (выводы на основе свойств логических связок)
      • 15.2. Чисто условное умозаключение
      • 15.3. Условно-категорическое умозаключение (modus ponens)
      • 15.4. Условно-категорическое умозаключение (modus tollens)
      • 15.5. Разделительно-категорическое умозаключение
      • 15.6. Условно-разделительные умозаключения
      • 15.7. Дилемма
      • 15.8. Простая конструктивная дилемма
      • 15.9. Простая деструктивная дилемма
      • 15.10. Сложная конструктивная дилемма
      • 15.11. Сложная деструктивная дилемма
      • 15.12. Проверка правильности умозаключений из сложных суждений
      • 15.13. Проверка умозаключений методом аналитических таблиц
      • 15.14. Непосредственные умозаключения
      • 15.15. Построение непосредственных умозаключений по логическому квадрату
      • 15.16. Построение непосредственных умозаключений посредством преобразования структуры посылки
      • 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.33. Способ проверки правильности силлогизмов посредством построения схзем для посылок и заключения
      • 15.34. Способы проверки правильности силлогизмов (поиск и предъявление контрпримера)
      • 15.35. Условия неправильности и правильности умозаключения
      • 15.36. Умозаключения из суждений с отношениями
      • 15.37. Сокращенный категорический силлогизм (энтимема)
      • 15.38. Сложные и сложносокращенные силлогизмы (полисиллогизм, сорит, эпихейрема)
      • 15.39. Прогрессивный полисиллогизм
      • 15.40. Регрессивный полисиллогизм
      • 15.41. Прогрессивный сорит
      • 15.42. Регрессивный сорит
      • 15.43. Эпихейрема
    • Глава 16. Недемонстративные (правдоподобные) умозаключения
      • 16.1. Общая характеристика правдоподобных умозаключений
      • 16.2. Отношение подтверждения в правдоподобных умозаключениях
      • 16.3. Установление отношения подтверждения в правдоподобных умозаключениях
      • 16.4. Правдоподобные (индуктивные) умозаключения
      • 16.5. Виды индукции
      • 16.6. Полная индукция
      • 16.7. Математическая индукция
      • 16.8. Неполная индукция (популярная)
      • 16.9. Научная индукция
    • Глава 17. Индуктивные методы установления причинных связей
      • 17.1. Метод единственного сходства
      • 17.2. Метод единственного различия
      • 17.3. Содединенный метод сходства и различия
      • 17.4. Метод сопутствующих изменений
      • 17.5. Метод остатков
      • 17.6. Характеристики причинных связей, делающие возможным применение методов научной индукции
      • 17.7. Ошибки, встречающиеся при обнаружении причинных связей
    • Глава 18. Умозаключения по аналогии
      • 18.1. Аналогия
      • 18.2. Структура аналогии
      • 18.3. Виды умозаключений по аналогии по характеру информации
      • 18.4. Виды умозаключений по аналогии по характеру выводного знания
  • Раздел V. Аргументация
    • Введение. Логические основы аргументации
    • Глава 19. Общая характеристика аргументации
      • 19.1. Обоснование как основа аргументации
      • 19.2. Аргументация как способ рассуждения
      • 19.3. Аргументация как рациональный процесс
      • 19.4. Виды аргументации
      • 19.5. Типы аргументированных процессов
      • 19.6. Условия доказательности и недоказательности аргументации
      • 19.7. Структура доказательства
      • 19.8. Способы доказательств
      • 19.9. Виды доказательств
      • 19.10. ÏПрямое обоснование тезиса в аргументированных процессах
      • 19.11. Косвенное обоснование тезиса в аргументированных процессах
      • 19.12. Критика и опровержение
      • 19.13. Способы опровержения
      • 19.14. Правила по отношению к тезису и возможные ошибки
      • 19.15. Правила по отношению к аргументам и возможные ошибки
      • 19.16. Правила по отношению к форме доказательства и возможные ошибки
  • Раздел VI. Формы развития знания
    • Введение. Логика в процессе развития научного знания
    • Глава 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. Задания для самостоятельной работы студентов очной и заочной формы обучения
    • Приложения
    • Библиографический список

Usage statistics

stat Access count: 36
Last 30 days: 0
Detailed usage statistics