Материал: 1501

((¬p˅q)→s)˄(¬p→¬q).

Составим таблицу истинности:

сложное высказывание истинно. И если хотя бы в одном случае F=1

при p=0 (Иванов невиновен), то у следствия недостаточно фактов, чтобы обвинить Иванова. Из таблицы видно, что сложное высказывание истинно, только когда p –истинно, т.е. ванов виновен в преступлении.

СПИСОК РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ

Уче ные пособия

1. Бочаров, В.А. Основы лог ки : учебник / В.А. Бочаров, В.И. Маркин. – М. : Инфра-М, Форум, 2009. – 528 с.

2. Гетманова, А.Д. Логика : учебник для вузов / А.Д. Гетманова. – 16-е изд., стер. – М. : Омега-Л, 2011. – 415 с.

3. Демидов, И.В. Логика: учебник / И.В. Демидов. – 5-е изд., испр. – М. :

Дашков и К, 2009. – 347 с.

4. Ивин, А.А. Логика и теория аргументации: Элементарный курс : учебное пособие для вузов / А.А. Ивин. – М. : Гардарики, 2007. – 352 с.

5. Ивлев, Ю.В. Логика : учебник / Ю.В. Ивлев. –М.: Проспект, 2008. –304 с.

6. Кириллов, В.И. Логика : учебник для юридических вузов / В.И. Кирилов, А.А. Старченко. – М. : Проспект, 2012. – 240 с.

7. Мареев, С.Н. Логика : учебник для вузов / С.Н. Мареев. – 3-е изд., испр. и доп. – М. : Экзамен, 2009. – 320 с.

8. Маслов, Н.А. Логика : учебник для вузов / Н.А. Маслов. – Ростов н/Д:

Феникс, 2007. – 413 с.

9. Ополев П.В. Логика и теория аргументации : учебное пособие / П. В. Ополев. – Омск : СибАДИ, 2013. – 103 с.

126

10. Светлов, В.А. Логика : учебное пособие / В. А. Светлов. – СПб. :

Питер, 2011. – 318 с.

11. Челпанов, Г. И. Учебник логики / Г. И. Челпанов. –11-е изд., доп. – М.

: URSS, 2009. – 264 с.

Словари и справочники

1.Горский, Д.П. Краткий словарь по логике / Д.П. Горский, А.А. Ивин, А.Л. Никифоров. – М. : Просвещение, 1991. – 208 с.

2.Гетманова, А.Д. Логика : словарь и задачник / А.Д. Гетманова. – М.,

1998. – 336 с.

3. Ивин А.А. Словарь по логике / А. А. Ивин, А.Л. Никифоров. – М.: Гуманитарный центр ВЛАДОС, 1998. – 384 с.

4. Кондаков, Н.И. Логический словарь-справочник / Н. И. Кондаков. – 2-е изд., испр. и доп. – М. : Наука, 1975. – 720 с.

Соврем. слово, 1999. – 767 с.

СЛОВАРЬ ОСНОВНЫХ ТЕРМИНОВ

Абстрагирование – логический прием, суть которого состоит в мысленном выделении одних признаков предмета при отвлечении от других.

Абсурд – бессмысл ца, нелепость; привести к абсурду – выявить в чем-либо лог ческое противоречие.

Аксиологическая модальность – характеристика суждений,

включающих такие модальные операторы, как “хорошо”, “плохо”, “аксиологически безразлично”, “лучше”, “хуже”, “равноценно”.

Аксиома – положение какой-либо теории, принимаемое без доказательств, которое лежит в основе доказательств других ее положений.

Актуальное определение – это определение через ближайшее родовое понятие и видовое отличие; подведение определяемого понятия под современные понятия.

Алгоритм – набор правил, позволяющий решать любую задачу из класса однотипных задач.

Алетическая модальность – характеристика суждений,

содержащих такие модальные операторы, как «необходимо», «случайно», «возможно», «невозможно», «действительно».

127

Алогизм – нелогичное, противоречащее логике построение мыслей.

Альтернатива – каждое из двух или нескольких исключающих друг друга положений; выбор между этими положениями; каждый из членов разделительного суждения.

Амфиболия – логическая ошибка, возникающая при различном толковании одного и того же высказывания.

Анализ – мысленное расчленение предмета на составные части. Аналогия – сходство предметов в каких-либо свойствах или

отношениях.

Антецедент – часть импликации, которой предпослано слово «если».

Антиномия со–четание в ходе рассуждения двух

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

АтрибутивноеСибАДИсуждение – суждение о признаке предмета. Большая посылка – посылка в простом категорическом

Антитеза – сопоставление противоположных понятий или

суждений.

Антитезис – суждение, противопоставляемое тезису.

Апагогическое доказательство – доказательство от

противного.

Апория – неразрешимая проблема, непреодолимое логическое

затруднение.

Аргумент – суждение, приводимое в подтверждение истинности другого суждения; основание, довод, приводимые в

силлогизме, которую составляют больший и средний термины силлогизма.

Больший термин – предикат силлогизма; то, что сообщается о предмете силлогизма; термин, который является предикатом заключения в силлогизме.

Верификация – процесс установления истинности суждений в результате их эмпирической проверки.

Видовое понятие (вид) – понятие, которое находится в отношении подчинения к другому понятию – родовому понятию (виду).

128

Вопрос – форма мысли, которая побуждает находить информацию или совершать доказательство.

Вывод логический – рассуждение, в ходе которого из к.-л. исходных суждений – посылок – с помощью логических правил получают заключение – новое суждение.

Генетическое определение – определение, в котором указывается на происхождение предмета мысли, на способ его образования.

Гипотеза – предположительное объяснение какого-либо бытия или небытия.

Дедуктивное умозаключение – умозаключение, в котором совершается переход от общих мыслей к частным.

Дедукция – логический метод, основанный на выведении

частного знания из общего; вид умозаключения.

ДеонтическаяСибАДИмодальность – выраженная в суждении дополнительная информация о побуждении к действию с помощью понятий «обязательно», «запрещено», «разрешено»; модальность долженствования.

Деление дихотомическое – деление понятия на два видовых

понятия, находящихся в отношении контрадикторности

Деление по видоизменению признака – деление, основанием

которого является признак делимого класса.

Деление понятия – логическая операция, раскрывающая объем понятия. На основании признака (основания деления) объем делимого

понятия (родового) распределяется на подклассы (видовые понятия).

Демонстративное умозаключение – необходимое умозаключение или силлогизм.

Демонстрац я – лог ческая связь между аргументами и тезисом в доказательстве ли опровержении.

Дефиниция – определение понятия.

Диалектический спор – спор, цель которого установление истины честными приемами.

Дизъюнкция логическая – операция — аналог употребления союза «или» в обычном языке, с помощью которой из двух или более исходных суждений строится новое суждение.

Дилемма – условно-разделительное умозаключение, т. е. умозаключение, посылками которого являются условные и разделительные суждения.

129