16
И45


    Ильенков, Эвальд Васильевич.
    Диалектическая логика. Очерки истории и теории [Текст] / Э. В. Ильенков. - 2-е изд., испр. и доп. - М. : Политиздат, 1984. - 320 с. - ISBN Б. и. : 1.50 р.
УДК
Рубрики: Логика
Кл.слова (ненормированные):
ЛОГИКА -- ИСТОРИЯ -- ДИАЛЕКТИКА -- МЫШЛЕНИЕ -- идеализм -- мировоззрение
Аннотация: В книге доктора философских наук Э.В.Ильенкова с присущей ему содержательностью и страстностью изложения рассматриваются важнейшие, в том числе и дискуссионные, вопросы теории материалистической диалектики, диалектической логики, истории ее формирования.

Экземпляры всего: 1
ч/з1 (1)
Свободны: ч/з1 (1)

16
У63


    Уолтон, Дуглас.
    Аргументы ad hominem [Текст] / Д. Уолтон ; пер. с англ. Н. Я. Мазлумяновой. - М. : Ин-т Фонда "Общественное мнение", 2002. - 351 с. - ISBN 5-93947-004-1 : 176.11 р.
УДК
ББК 60.54
Рубрики: Логика
Кл.слова (ненормированные):
ЛОГИКА -- АРГУМЕНТ -- ЛИЧНОСТЬ -- ОЦЕНКА -- РИТОРИКА
Аннотация: Аргументы ad hominem, - направленные против личности оппонента, - считаются в формальной логике аномалией, но повседневная жизнь и ситуации согласования конфликтных интересов не всегда логичны. Аргументы ad hominem широко распространены в политических дебатах, судебных разбирательствах и повседневной жизни. Этим аргументам трудно противостоять; часто они оказывают столь сильное воздействие на аудиторию, что она теряет способность объективно оценивать ситуацию. В книге показано, что, хотя эти аргументы считаются в основном ошибочными, во многих случаях они вполне обоснованны. Проблема их рационального использования в публичной речи особенно остро стоит в современном демократическом обществе. Д. Уолтон подробно анализирует структуру этих аргументов и предлагает эффективный способ их классификации и оценки. Автор приводит скрупулезный анализ десятков типичных ситуаций употребления аргументов ad hominem.

Держатели документа:
НБ СГАП

Доп.точки доступа:
Мазлумянова, Н. Я. \пер.\
Экземпляры всего: 1
ч/з1 (1)
Свободны: ч/з1 (1)

16
С90


   Суровягин, Дмитрий Павлович

    Введение в символическую логику и теорию доказательств [Текст] : учебное пособие / Д. П. Суровягин. - Саратов : Изд-во Саратовской гос. юрид. акад.
   Ч. 1 : Логика высказываний. - 2019. - 198 с. - ISBN 978-5-7924-1468-6 : 174.56 р., 264.00 р.
    Содержание:
Предисловие . - С .5
Введение в логику . - С .7
1.1. Предмет и задачи логики как науки . - С .7
1.2. История логики . - С .14
1.2.1. Античная логика . - С .14
1.2.2. Средневековая логика . - С .20
1.2.3. Логика эпохи Нового времени . - С .24
1.2.4. Символическая логика . - С .30
1.2.5. Современная логика . - С .37
1.3. Базовые понятия логики . - С .48
1.3.1. Множества и операции над ними . - С .48
1.3.2. Свойства, отношения и функции . - С .53
1.3.3. Категории языковых выражений . - С .57
1.3.4. Упражнения . - С .68
2. Логика высказываний . - С .73
2.1. Язык логики высказываний . - С .73
2.1.1. Основные логические связки . - С .74
2.1.2. Алфавит и формулы логики высказываний . - С .79
2.1.3. Таблицы истинности . - С .85
2.1.4. Упражнения . - С .89
2.2. Законы логики высказываний . - С .93
2.2.1. Виды формул логики высказываний . - С .93
2.2.2. Основные тавтологии . - С .95
2.2.3. Понятие логической равносильности . - С .101
2.2.4. Упражнения . - С .107
2.3. Нормальные формы формул . - С .112
2.3.1. Булевы функции . - С .112
2.3.2. Дизъюнктивные и конъюнктивные формы . - С .115
2.3.3. Совершенные нормальные формы . - С .120
2.3.4. Упражнения . - С .129
2.4. Умозаключения . - С .132
2.4.1. Отношение логического следования . - С .133
2.4.2. Виды умозаключений . - С .138
2.4.3. Упражнения . - С .145
3. Исчисления высказываний . - С .149
3.1. Аксиоматическое исчисление . - С .150
3.1.1. Система аксиом Мендельсона . - С .150
3.1.2. Линейные доказательства . - С .154
3.1.3. Теорема о дедукции . - С .158
3.1.4. Упражнения . - С .164
3.2. Натуральное исчисление . - С .165
3.2.1. Правила вывода . - С .165
3.2.2. Структурные доказательства . - С .170
3.2.3. Эвристики . - С .174
3.2.4. Упражнения . - С .176
3.3. Правило резолюции . - С .179
3.3.1. Получение клаузул . - С .179
3.3.2. Резолютивный вывод . - С .182
3.3.3. Резолютивное доказательство . - С .186
3.3.4. Упражнения . - С .192
Список литературы . - С .194
Предметный указатель . - С .196
УДК
ББК 87.4я73
Рубрики: Логика
Аннотация: Пособие предназначено для студентов высших учебных заведений всех форм обучения, изучающих логику или теорию аргументации. В первой главе изложена история развития логики, даны определения ее базовым понятиям. Вторая глава посвящена наиболее простой логической теории - логике высказываний. В третьей главе подробно рассмотрены три основных способа доказательства в логике высказываний: линейный вывод в формальной аксиоматической теории, структурное доказательство в натуральном исчислении высказываний и вывод методом резолюции. Пособие содержит комплекс упражнений, список литературы и предметный указатель.

Держатели документа:
НБ СГЮА
Экземпляры всего: 17
ч/з1 (1), ч/з3 (1), ч/з4 (1), ч/з6 (1), н/а (13)
Свободны: ч/з1 (1), ч/з3 (1), ч/з4 (1), ч/з6 (1), н/а (13)