Итоговый контроль Вопросы к зачету.

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. Непрямые способы аргументации: рассуждения сведением к абсурду и перебором случаев.

Раздел 6. Словарь терминов и персоналий (глоссарий)

Логика — наука о формах и законах правильного мышления.

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

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

Понятие — форма мысли, в которой выделяются и обобщаются предметы по их существенным признакам.

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

Признак — все то, в чем предметы сходны друг с другом или отличаются один от другого.

Объем понятия — класс предметов, выделяемых и обобщаемых на основе совокупности существенных признаков.

Часть объема — совокупность элементов объема (подкласс), которая обладает каким-то особым признаком, отличающим ее от других.

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

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

Единичное понятие — понятие, в объеме которого ровно один элемент.

Общее понятие — понятие, в объеме которого более одного элемента.

Собирательное понятие выделяет в качестве элементов своего объема совокупности предметов.

Несобирательное понятие выделяет в качестве элементов своего объема отдельные предметы.

Конкретное понятие — понятие, элементами объема которого являются предметы, факты, события.

Абстрактное понятие — понятие, элементами объема которого являются свойства и отношения, мыслимые отдельно от предметов.

Отношение совместимости между понятиями устанавливается тогда, когда у них есть общие элементы объема.

Отношение несовместимости между понятиями имеет место тогда,когда у них нет общих элементов объема.

Эквивалентность — вид совместимости, при котором объемы понятий полностью совпадают.

Пересечение, или перекрещивание — вид совместимости, при котором объемы понятий частично совпадают.

Подчинение — вид совместимости, когда все элементы объема одного понятия суть элементы объема второго, но не наоборот.

Противоречие — вид несовместимости, при котором несовместимые понятия в сумме исчерпывают весь родовой объем.

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

Соподчинение — вид несовместимости, когда два понятия, не исчерпывая весь родовой объем, являются видами данного рода.

Ограничение понятия — логическая операция, которая представляет собой переход от понятия с большим объемом и меньшим содержанием к понятию с меньшим объемом и большим содержанием.

Обобщение понятия — логическая операция , противоположная ограничению.

Деление понятий — логическая операция разбиения объема понятия на непересекающиеся части.

Определение — логическая операция раскрытия содержания понятия или придания смысла некоторому выражению или термину.

Суждение — это форма мысли, в которой нечто утверждается или отрицается ( свойство предмета, действие, наличие некоторой ситуации, отношение между предметами, существование предмета).

Субъектом суждения называется понятие о предмете суждения, а предикатом суждения — новая информация, то, что утверждается или отрицается о предмете суждения. Субъект и предикат называются терминами суждения.

Основной логической характеристикой суждения является его истинностная характеристика — каждое суждение является либо истинным, либо ложным и этим отличается от других форм мысли.

Виды простых суждений: (1) атрибутивные, т.е. утверждающие или отрицающие, что предмету (классу предметов) присуще или не присуще некоторый признак — свойство; (2) реляционные, или суждения об отношениях, в которых утверждается или отрицается отношение между предметами (классами предметов); ( 3) суждения существования, в которых утверждается существование или несуществование некоторого предмета (класса предметов).

Объединенная классификация простых атрибутивных суждений: (А) общеутвердительные, (Е) общеотрицательные,(I) частноутвердительные и (О) частноотрицательные. Единичные суждения в традиционной логике приравниваются к общим.

Реляционные, или суждения об отношениях обладают особыми свойствами. Эти свойства суть: (1) рефлексивность, (2) симметричность и (3) транзитивность.

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

Основные логические союзы: (1) конъюнкция, (2) слабая дизъюнкция, (3) сильная дизъюнкция, (4) импликация, (5) эквиваленция и (6) отрицание. Истинностные значения логических союзов задаются определением. Истинностные значение сложных суждений устанавливают при помощи таблиц истинности, для построения которых нужно знать определения перечисленных логических союзов ( связок).

Отношения между суждениями делятся на две группы: (а) совместимости и (б) несовместимости. Суждения называются совместимыми, если они могут быть одновременно истинными и несовместимыми, если имеет место обратное.

Совместимость между суждениями бывает трех видов:

(1) эквивалентность, (2) подчинение, (3) частичная совместимость.

Несовместимость между суждениями бывает двух видов :

(1) противоположность и (2) противоречие.

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

Отношения между сложными суждениями устанавливаются сравнением их таблиц истинности.

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

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

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

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

Непосредственное умозаключение — дедуктивный вывод из одной посылки.

Превращение и обращение — основные виды непосредственных умозаключений.

Противопоставление предикату и противопоставление субъекту — производные виды непосредственных умозаключений.

Простой категорический силлогизм — дедуктивное умозаключение, в котором из двух категорических суждений, имеющих субъектно-предикатную структуру, выводится новое суждение, имеющее такую структуру.

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

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

Модусы силлогизма — разновидности силлогизма по каждой фигуре, которые различаются типом суждений (А, Е, I, О), входящих в их состав. Модусы подразделяются па правильные и неправильные.

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

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

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

Полная индукция — индуктивное умозаключение, в посылках которого перечислены все элементы класса, о котором делается вывод. Полная индукция дает достоверное заключение.

Неполная индукция — индуктивное умозаключение, которое представляет собой переход от знания о некоторых элементах класса к заключению о всем классе. Неполная индукция дает лишь правдоподобное знание.

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

Научная индукция — индуктивные умозаключения, упорядоченные согласно определенным правилам.

Умозаключение по аналогии — индуктивное умозаключение, в котором на основании сходства двух или более предметов по одним признакам, делается вывод об их сходстве и по каким-либо другим признакам.

Строгая аналогия — умозаключение, в котором перенос признака с одного предмета (системы) на другой опирается на отношение изоморфизма или гомоморфизма. Строгая аналогия дает достоверное знание.

Каноны Милля — индуктивные методы установления причинных связей между объектами. Существует четыре таких метода : метод различия, метод сходства, метод сопутствующих изменений и метод остатков.

Аргументация — обоснование какого-либо суждения посредством других суждений.

Тезис аргументации — суждение, истинность или ложность которого подлежит обоснованию.

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

Демонстрация — рассуждение, которое показывает связь аргументов с тезисом.

Строгая аргументация — рассуждение, в основе которого лежит дедуктивная демонстрация, при которой тезис логически следует из аргументов.

Нестрогая аргументация — рассуждение, основанное на правдоподобной демонстрации, при которой тезис лишь относительно подтверждается аргументами.

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

Подтверждение и критика — разновидности нестрогой аргументации.

Прямая аргументация — тип обоснования, при котором аргументы и демонстрация непосредственно обращены к тезису.

Косвенная аргументация — тип обоснования, при котором связь аргументов и демонстрации с тезисом опосредована некоторым другим суждением.

Сведение к абсурду — разновидность косвенной аргументации.

Метод исключения альтернатив — разновидность косвенной аргументации.

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