В процессе доказательства

 

Элементы доказательства	Правила	Ошибки
Тезис доказательства     Основания доказательства       Аргументация (демонстрация) доказательства     Дедуктивный способ аргументации   Индуктивный способ аргументации     Аргументация по аналогии	1) Тезис должен быть логически определенным, ясным и точным 2) Тезис должен оставаться одним и тем же в процессе всего доказательства   1) Основания должны обосновываться автономно от тезиса 2) Основания должны быть доказанными, не подлежащими сомнению     3)  Основания тезиса должны быть взаимно непротиворечивым (согласованными) 4) Основания должны быть достаточными (закон достаточного основания)     1) Доказательство (опровержение) должно строиться по общим правилам умозаключения     2) Точное и достоверное описание конкретного события, данного в меньшей посылке   3)  Устойчивость повторяющих свойств у однородных явлений 4)  Сходность явлений обязательна в существенных признаках 5) Существенные отличия нейтрализуют сходство во второстепенном или другом существенном	а) Потеря тезиса б) Полная или частичная подмена тезиса в) «Логическая диверсия»   а) Принятие за истину ложного основания («основное заблуждение») б) Принятие в качестве основания еще не доказанного, произвольно взятого положения («предвосхищения основания») в) Стремление получить вывод непременно из общих посылок («чрезмерное доказательство»)   г) Основания доказываются посредством тезиса («порочный круг») д) Обоснование широкого тезиса отдельными фактами («слишком поспешное обобщение»)   а) Тезис просто высказывается вслед за выдвинутым основанием, но не вытекает из этого основания («мнимое следование»)   б) Вывод тезиса из оснований путем ошибочного рассуждения (нарушение общих или специальных правил дедуктивного вывода) в) Утверждение терминов г) Переход сказанного с условием к сказанному безусловно д) Переход от сказанного в определенном отношении к сказанному безотносительно к чему бы то ни было е) Неоправданный переход от узкой области к более широкой области (чрезмерное обобщение») ж) Аргументация к силе з) Аргументация к невежеству и) Аргументация к выгоде к) Аргументация к здравому смыслу л) Аргументация к состраданию м) Аргументация к вероятности н) Аргументация к авторитету о) Перенос свойственного только элементам целого на целое п) Утверждение достоверности при неполной индукции р) Аналогия по несущественным (поверхностным) или случайным признакам (совпадение) с) Аналогия при сходстве одних существенных признаков и несовместимости других существенных признаков

ГЛОССАРИЙ

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

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

Гипотеза – предположение, как правило, научного характера, выдвигаемое с целью объяснения чего-либо (объектов, явлений, событий), которое впоследствии подтверждается или опровергается.

Дедукция (или дедуктивное умозаключение) – вид опосредованного умозаключения, в котором из общего правила выводится частный случай; в дедукции рассуждение идет от большего к меньшему, знание сужается, и поэтому ее выводы достоверны.

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

Дизъюнкция (или дизъюнктивное суждение) – вид сложного суждения, образованного из простых суждений при помощи союза «или»; дизъюнкция бывает нестрогой, когда ее элементы (входящие в нее простые суждения) друг друга не исключают (например: Петров изучает английский, или он изучает немецкий) и строгой, когда ее элементы друг друга исключают (например: Петров родился в 1969 году, или он родился в 1971 году).

Доказательство – совокупность приемов подтверждения или опровержения чего-либо; оно состоит из трех частей:

а) тезис – что доказывается;

б) аргументы или основания – чем доказывается;

в) демонстрация – как доказывается или способ связи аргументов с тезисом.

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

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

Законы мышления (или законы логики) – объективные принципы или правила мышления, соблюдения которых приводит рассуждение (независимо от его содержания) к истинным выводам при условии истинности исходных суждений.

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

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

Импликация (или импликативное суждение) – вид сложного суждения, образованного из простых суждений при помощи условного союза «если… то», например: Если вещество является металлом, то оно электропроводно. Первая часть импликации – это основание, а вторая часть следствие; из основания обязательно вытекает следствие, но из следствия не вытекает основание (например, из того, что вещество – металл, обязательно вытекает его электропроводность, но из того, что вещество электропроводно, не вытекает, что оно является металлом).

Индукция (или индуктивное умозаключение) – вид опосредованного умозаключения, в котором из нескольких частных случаев выводится общее правило; в индукции рассуждение идет от меньшего к большему, знание расширяется, и поэтому ее выводы чаще всего вероятностны.

Квантор – указатель на объем субъекта простого суждения (в роли кватора могут быть слова все, некоторые, ни один и т. п.).

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

Логика (или формальная логика) - наука о формах и законах правильного мышления, которая появилась приблизительно в 5 в. до н.э. в Древней Греции и до сих пор сохраняет свое практическое значение.

Модус простого силлогизма – совокупность простых суждений (A, I, E, O) – посылок и вывода силлогизма.

Обращение (или конверсия) – способ преобразования простого суждения, который заключается в том, что его субъект и предикат меняются местами. Например, суждение Все караси (S) являются рыбами (P), преобразуются путем обращения так: Некоторые рыбы (S) являются карасями (P). Обращение также считается одним из видов непосредственных умозаключений.

Объем понятия – количество объектов, охватываемых этим понятием. Например, понятие человек охватывает собой огромное количество объектов, то есть всех людей), в объем же понятия первый президент Америки входит только один объект (то есть только один человек), а в объем понятия марсианский житель не входит ни одного объекта. Таким образом, по объему понятия бывают общими, единичными и нулевыми, или пустыми.

Определение понятия – логическая операция, которая раскрывает содержание понятия. Наиболее распространенный способ определения заключается в то, что определяемое понятие подводится под ближайшее к нему родовое понятие, после чего указывается на его видовое отличие (определение через род и вид), например: Сутки – это часть времени, в течение которого Земля делает полный оборот вокруг своей оси (первая часть определения является подведением определяемого понятие сутки под родовое понятие часть времени, а вторая часть указывает на его видовое отличие от других частей или отрезков времени).

Пересечение – логическое отношение между понятиями, объемы которых совпадают или соприкасаются только в некоторых своих элементах. Например, понятия студент и спортсмен находятся в отношении пересечения.

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

Понятие – форма мышления, которая означает какой-либо объект или его признак и выражается в форме слова или словосочетания, например: человек, птица небесное тело, знаменитый русский писатель, мужество, красота и т. п.

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

Предикат – элемент простого атрибутивного суждения, обозначающий какой-либо признак или свойство его субъекта, или то, что говорится о субъекте. Например, в суждении Все учебники – это книги понятие учебники является субъектов, а понятие книги – предикатом (в данном суждении о учебниках говорится то, что они книги, или неотъемлемое свойство любого учебника заключается в то, чтобы быть книгой). Предикат обозначается заглавной латинской буквой P.

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

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

Содержание понятия – наиболее важные признаки того объекта, который обозначается этим понятием.

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

Субъект – элемент простого атрибутивного суждения, обозначающего предмет (объект) суждения или то, о чем идет речь в суждении. Например, в суждении Все планеты являются небесными телами речь идет о планетах, поэтому понятие планеты является его субъектом, а понятие небесные тела – предикатом. Субъект суждения обозначается заглавной латинской буквой S.

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

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

Умозаключение – форма мышления, в которой из нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

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

Форма мышления – способ выражения мыслей или схема их построения. По содержанию мышление бесконечно многообразно, но все это многообразие укладывается всего в несколько форм. Например, различные по содержанию высказывания:

 1. Все планеты – это небесные тела; 2. Все академии – это научные заведения; 3. Все квадраты – это геометрические фигуры имеют одну и ту же форму: Все А - это B. Существует три формы мышления: понятие, суждение и умозаключение, которыми занимается логика, в силу чего она также часто называется формальной логикой.

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

 

Примерные вопросы для сдачи зачета

    

1. Предмет формальной логики.

2. Понятие как форма мысли.

3. Содержание и объем понятия. Закон обратного отношения между содержанием и объемом понятия.

4. Виды понятий.

5. Отношения между понятиями.

6. Обобщение и ограничение понятий.

7. Определение понятий. Виды определений.

8. Правила определения понятий. Ошибки в определении.

9. Деление понятий. Виды делений.

10. Правила деления понятий. Ошибки в делении.

11. Суждение как форма мысли. Структура простого суждения.

12. Виды простых суждений.

13. Классификация суждений по количеству и качеству.

14. Правила распределения терминов простых атрибутивных суждений.

15. Отношения между атрибутивными суждениями по правилам логического квадрата.

16. Соединительные (конъюнктивные) суждения и условия их истинности.

17. Разделительные (дизъюнктивные) суждения и условия их истинности.

18. Условные (импликативные) суждения и условия их истинности.

19. Закон тождества.

20. Закон непротиворечия.

21. Закон исключенного третьего.

22. Закон достаточного основания.

23. Умозаключение как форма мысли. Структура умозаключения.

24. Виды умозаключений: непосредственные и опосредованные, индуктивные и дедуктивные.

25. Категорический силлогизм и его структура.

26. Общие правила силлогизма.

27. Условно-категорический силлогизм и его структура. Модусы условно-категорического силлогизма.

28. Разделительно-категорический силлогизм и его структура. Модусы разделительно-категорического силлогизма.

29. Индуктивное умозаключение и его структура. Полная и неполная индукция.

30. Методы установления причинных связей.

31. Общая характеристика логического доказательства и его структура. Виды доказательств.

32. Опровержение и его структура. Виды опровержений.

33. Правила доказательства и опровержения. Ошибки, возникающие при нарушении этих правил.

 

 

Литература

Базовый учебник

1.  Кириллов В. И., Старченко А.А. Логика. 6-е изд. М., 2010.

Основная литература

2. Афанасьев О.В. Логика. М., 2001, 2008.

3. Бочаров В.А., Маркин В.И. Основы логики. М., 1994, 2008.

4. Гетманова А.Д. Логика: учеб. для пед. вузов. М., 2002, 2009.

5. Гетманова А. Д. Логика: учеб. для студ. высш. учеб. завед. М., 2009.

6. Иванов Е.А. Логика. М., 2002, 2007.

7. Ивин А. А. Логика. М., 2008.

8. Ивлев Ю.В. Логика. М., 2007, 2008.

9. Ивлев Ю. В. Логика для юристов. М., 2010.

10. Кириллов В.И., Старченко А.А. Упражнения по логике. М., 2007.

11. Курбатов В.И. Логика. М., 2005, 2007.

12. Малахов В.П. Логика для юристов. М., 2002.

13. Мареев С. Н. Логика. М., 2007.

Дополнительная литература

14. Бартон В.И. Логика. Минск, 2001.

15. Белнап И., Стил Т. Логика вопросов и ответов. М., 1991.

16. Берков В.Ф., Яскевич Я.С., Павлюкевич В.И. Логика. Минск, 1997.

17. Войшвилло Е.К., Дегтярев М.Г. Логика. М., 1998.

18. Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. М., 1991, 2001.

19. Дегтярев М.Г. Логика. М., 2003, 2004.

20. Жоль К.К. Логика для юристов. М., 2004.

21. Зегет В.В. Элементарная логика. М, 1995.

22. Ивин А.А., Никифоров А.Л. Словарь по логике. М., 1998.

23. Кириллов В.И., Орлов Г.А., Фокина Н.И. Упражнения по логике. М., 2008.

24. Кузина Е.Б. Логика в кратком изложении и упражнениях. М., 2000.

25. Курбатов В.И. Логика в вопросах и ответах. Ростов н/Д, 1997.

26. Никифоров А.Д. Книга по логике. М., 2002.

27. Рузавин Г.И. Логика и аргументация. М., 1997.

28.  Рузавин Г.И. Основы логики и аргументации. М., 2007.

29. Субботин А.Л. Традиционная и современная формальная логика. М., 1979.