ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Внесерийные издания >>>

Логика

ISBN 5-89158-054-3
2001. 137 c. В721
ББК 87.4
УДК 16
Мягкий переплет.
НЕТ В ПРОДАЖЕ
Вольфенгаген В.Э.
Конспект лекций: Техника рассуждений

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

Для студентов и аспирантов гуманитарных специальностей. Может быть использована для первоначального изучения предмета, а также для самостоятельного изучения.

См. также

Кучеров И.И. Налоговое право России (Изд.-е 2-е)

Оглавление

Предисловие 1

1 Введение 9

2 Рассуждения и аргументация 11

  • 2.1 Проведение рассуждений 12
  • 2.2 Структура текста и символизация предложений 14
    • 2.2.1 Структура текста 14
    • 2.2.2 Символизация предложений 16
  • 2.3 Язык исследования 17
  • 2.4 Грамматика 18
  • 2.5 Анализ рассуждений в естественном языке 19
  • 2.6 Обоснованность рассуждений 20
    • 2.6.1 Внелогическое обоснование 21
    • 2.6.2 Логическое обоснование 22
  • 2.7 Использование импликации 22
  • 2.8 Задачи на рассуждение 23
    • 2.8.1 Проверка правильности рассуждений 23
    • 2.8.2 Отыскание доказательств 24
  • Упражнения 25

3 Рассуждения, использующие `НЕ' и `ЕСЛИ' 27

  • 3.1 Интуитивный смысл отрицания 27
  • 3.2 Перевод из символьного представления на естественный язык и обратно 28
  • 3.3 Выводимость и значимость 32
  • Упражнения 34
  • 3.4 Структура вывода 36
  • 3.5 Аргументация в естественном языке 42
  • 3.6 Роль аннотаций (комментариев) 43
  • Упражнения 44
  • 3.7 Ложные доводы, софизмы, фальсификация 46
  • 3.8 Теоремы 51

4 Рассуждения, использующие `И', `ИЛИ' и `Тогда и только тогда, когда 53

  • 4.1 Символы и предложения 53
  • 4.2 Перевод и символизация 55
  • 4.3 Правила вывода: теоремы с несокращенными доказательствами 59
  • 4.4 Сокращенные выводы 62
  • 4.5 Теоремы с сокращенными доказательствами 67
  • 4.6 Анализ истинности предложений 72
  • 4.7 Анализ аргументации по таблицам истинности 76
  • 4.8 Приложение: перечень теорем 78

5 Схемы рассуждений 83

  • 5.1 Подтверждение следствия 83
  • 5.2 Подтверждение нескольких следствий 85
  • 5.3 Исследование следствий 86

6 Рассуждения, использующие `ВСЕ' и~`НЕКОТОРЫЕ' 91

  • 6.1 Переменные, кванторы, формулы 91
  • 6.2 Связанные и свободные переменные 95
  • 6.3 Перевод и символизация 97
  • 6.4 Правила вывода и формы вывода; теоремы с~несокращенными доказательствами 103
  • 6.5 Сокращенные выводы 111
    • 6.5.1 Теоремы с сокращенными доказательствами 112
    • 6.5.2 Практические рекомендации по построению вывода 123
  • 6.6 Аргументация 124
  • 6.7 Фальсификации, ложные доводы 125
  • 6.8 Незначимость 130

Литература 133

Предметный указатель 135