Софизм – внешне правильное и убедительное доказательство какой-либо ложной мысли (идеи) с помощью преднамеренного нарушения логических законов.
Субконтрарность(частичное совпадение) – логическое отношение между двумя простыми сравнимыми суждениями, в которых объёмы субъектов частные, а связки противоположны друг другу.
Субъект – элемент простого атрибутивного суждения, обозначающий предмет (объект) суждения, или то, о чём идёт речь в суждении.
Суждение (высказывание) – это форма мышления, в которой что-либо утверждается или отрицается. Суждение состоит из понятий, связанных между собой, выражается в форме предложения, может быть истинным или ложным, простым или сложным (сложное суждение состоит из простых суждений, соединённых каким-либо союзом).
Суждение атрибутивное (от лат. attributum – признак) – простое суждение, в котором предикат является каким-либо атрибутом (свойством, признаком) субъекта. Любое простое суждение можно рассматривать как атрибутивное.
Суждение общеотрицательное – вид простого атрибутивного суждения, которое характеризуется общим объёмом субъекта и отрицательной связкой: «Все S не есть P». Общеотрицательные суждения обозначаются латинской буквой E.
Суждение общеутвердительное – вид простого атрибутивного суждения, которое характеризуется общим объёмом субъекта и утвердительной связкой: «Все S есть P». Общеутвердительные суждения обозначаются латинской буквой A.
Суждение релятивное (от лат. relativus – относительный) – простое суждение, в котором выражается какое-то отношение между объектами. Релятивное суждение можно представить как атрибутивное, в котором предикат указывает на какое-либо отношение к субъекту.
Суждения сравнимые (идентичные по материалу) – простые суждения, у которых субъекты и предикаты совпадают, а кванторы и связки различаются. Суждения, у которых субъекты и предикаты различны, являются несравнимыми. Сравнимые суждения могут быть в отношениях равнозначности, подчинения, субконтрарности (частичного совпадения), контрарности (противоположности), контрадикторности (противоречия). Эти отношения изображаются с помощью логического квадрата.
Суждение частно-отрицательное – вид простого атрибутивного суждения, которое характеризуется частным объёмом субъекта и отрицательной связкой: «Некоторые S не есть P». Частноотрицательные суждения обозначаются латинской буквой O.
Суждение частно-утвердительное – вид простого атрибутивного суждения, которое характеризуется частным объёмом субъекта и утвердительной связкой: «Некоторые S есть P». Частноутвердительные суждения обозначаются латинской буквой I.
Суждение экзистенциальное (от лат. existentia – существование) – простое суждение, в котором говорится о существовании или несуществовании чего-либо (объектов, явлений, свойств и т. п.). Экзистенциальное суждение, в принципе, можно представить как атрибутивное, в котором предикат указывает на существование или несуществование субъекта.
Умножение понятий – логическая операция объединения двух и большего числа понятий, в результате которой образуется новое понятие, включающее в свой объём только те объекты, которые являются общими для объёмов исходных понятий. Объём нового понятия, или результат умножения, на круговых схемах Эйлера изображается штриховкой.
Умозаключение – форма мышления, в которой из нескольких исходных суждений (посылок) вытекает новое суждение (вывод).
Умозаключение непосредственное представляет собой преобразования простых суждений (обращение, превращение и противопоставление предикату) и выводы по логическому квадрату. В нём вывод делается из одной посылки.
Умозаключение опосредованное – в котором вывод делается из нескольких посылок. Они делятся на дедуктивные, индуктивные и умозаключения по аналогии.
Фигура простого силлогизма – взаимное расположение терминов силлогизма (субъекта, предиката и среднего термина) в его посылках. Существует четыре фигуры силлогизма.
Форма мышления – это способ выражения мыслей или схема их построения. По содержанию мышление бесконечно многообразно, но всё это многообразие укладывается всего в несколько форм.
Существует три формы мышления: понятие, суждение и умозаключение, которыми занимается логика, в силу чего она также часто называется формальной логикой.
Эквиваленция (эквивалентное суждение) – вид сложного суждения, образованного из простых суждений, которые вытекают друг из друга, являясь тождественными (эквивалентными).
Энтимема – сокращённый простой силлогизм, в котором пропущена одна из посылок или вывод. Из любого силлогизма можно вывести три энтимемы.
Эпихейрема – сокращённый простой силлогизм, в котором обе посылки являются энтимемами.
Рекомендуемая
1. Бойко А. П. Краткий курс логики. – М., 1995.
2. Бузук Г. Л., Ивин Г. Л., Панов М. П. Наука убеждать: Логика и риторика в вопросах и ответах. – М., 1992.
3. Бузук Г. Л., Панов М. П. Логика в вопросах и ответах: Опыт популярного учебного пособия. – М., 1991.
4. Гетманова А. Д. Занимательная логика. – М.: Владос, 1999.
5. Гетманова А. Д. Логика: Словарь и задачник. – М.: Владос, 1998.
6. Гетманова А. Д. Логика: Учебник по логике. – М.: ЧеРо, 2000.
7. Ивин А. А. Искусство правильно мыслить: Книга для учащихся. – М., 1990.
8. Ивин А. А. Логика: Учебное пособие. – М.: Знание, 1998.
9. Ивин А. А. По законам логики. – М., 1983.
10. Ивин А. А. Строгий мир логики. – М., 1998.
11. Ивлев Ю. В. Логика. – М., 1992.
12. Карпинская О. Ю. и др. Экспресс-Логика. – М.: ИНФРА-М, 1997.
13. Краткий словарь по логике. – М.: Просвещение, 1991.
14. Курбатов В. И. Логика. – Ростов/Д: Феникс, 1996.
15. Логика: Учебное пособие для общеобразовательных учебных заведений, школ и классов с углублённым изучением логики, лицеев и гимназий. – М.: Дрофа, 1995.
16. Свинцов В. И. Логика: Элементарный курс для гуманитарных специальностей. – М.: Скорина, 1998.
17. Сборник упражнений по логике. Минск.: Университетское, 1990.
18. Упражнения по логике. – М., 1994.
19. Философские дисциплины: Программы, требования, методические рекомендации. – М., 1993.
К задачам
1. Вуджек Т. Тренировка ума: Упражнения для развития повышенного интеллекта / Пер. с англ. Л. Царук. – С-Пб: Питер Пресс, 1996.
2. Вчерашний Р. И. Пошевели мозгами!: Головоломки, розыгрыши, причуды, фокусы. – Кострома. Кострома, РИО, 1999.
3. Ивин А. А. Практическая логика: Задачи и упражнения. – М.: Просвещение, 1996.
4. Игнатьев Е. И. В царстве смекалки. – М.: Наука, 1978.
5. Перельман Я. И. Живая математика: Математические задачи и головоломки. – М.: Наука, 1974.
6. Перельман Я. И. Занимательная алгебра. – М.: Наука, 1967.
7. Перельман Я. И. Занимательная арифметика: Загадки и диковинки в мире чисел. – М.: Детская литература, 1954.
8. Перельман Я. И. Занимательная физика. Кн. 1, 2. – М.: Наука, 1976.
См.: Свинцов В. И. Логика: Элементарный курс для гуманитарных специальностей. – М.: Скорина, 1998. – С. 68.
См.: Концепции современного естествознания / Под ред. В. Н. Лавриненко, В. П. Ратникова. – М.: ЮНИТИ, 1997. – С. 264.
Свинцов В. И. Логика: Элементарный курс для гуманитарных специальностей. – М.: Скорина, 1998. – С. 60–61.
Сборник упражнений по логике. – Минск: Университетское, 1990. – С. 95.
См.: Свинцов В. И. Логика. Элементарный курс для гуманитарных специальностей. – М.: Скорина, 1998. – С.144.
См.: Концепции современного естествознания / Под ред. В. Н. Лавриенко, В. П. Ратникова. – М.: ЮНИТИ, 1987. – С. 106 – 127.
