ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Внесерийные издания >>>
Логика
|
|
|||||||||
В работе рассмотрены способы переформулирования текста фактического типа на символьный язык, допускающий применение классических логических средств. Показаны приемы и способы записи аргументации и проверки ее значимости. На большом числе примеров проиллюстрирована техника логических рассуждений, выводов и доказательств. Отмечены способы включения в вывод аннотаций (комментариев), пользуясь которыми можно проверить истинность или установить ложность приводимых доводов.
Для студентов и аспирантов гуманитарных специальностей. Может быть использована для первоначального изучения предмета, а также для самостоятельного изучения.
См. также
Кучеров И.И. Налоговое право России (Изд.-е 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
