
- •1. Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики.
- •2. Общая характеристика понятия как формы мысли: определение, логическая структура, приемы образования.
- •3. Виды понятий по содержанию и объему. Полная логическая характеристика понятий.
- •Положительные и отрицательные
- •Собирательные и несобирательные
- •Конкретные и абстрактные понятия
- •Безотносительные и соотносительные понятия
- •4. Отношения между понятиями. Совместимые и несовместимые понятия. Типы совместимости и несовместимости.
- •5. Обобщение и ограничение понятий. Основное требование к выполнению данных операций и ошибки в обобщении и ограничении.
- •6. Определение понятий и его структура. Явные и неявные, реальные и номинальные определения. Правила определения и возможные ошибки.
- •7. Деление понятий: сущность логической операции, ее структура, виды, правила и возможные ошибки.
- •8. Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.
- •9. Виды и состав простых суждений. Их символическая запись.
- •10. Классификация простых категорических (атрибутивных) суждений.
- •11. Распределенность терминов в атрибутивных суждениях и способы ее определения.
- •12. Виды сложных суждений: особенности логического анализа, способы выражения в языке, символическое обозначение и условия истинности.
- •13. Логические отношения между простыми категорическими суждениями по логическому квадрату.
- •14. Отрицание суждений.
- •15. Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
- •16. Общая характеристика дедуктивных умозаключений: понятие, особенности логической природы и основные разновидности.
- •17. Непосредственные умозаключения: превращение, обращение, противопоставление предикату.
- •18. Простой категорический силлогизм: определение, состав, общие правила.
- •19. Фигуры и модусы простого категорического силлогизма. Правила фигур. Роль фигур в познании.
- •20. Способы проверки правильности простого категорического силлогизма.
- •21. Алгоритм разбора простого категорического силлогизма.
- •22. Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
- •23. Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной диллем).
- •24. Сокращенный силлогизм (энтимема). Сложный и сложносокращенный силлогизмы (полисиллогизм, сорит, эпихейрема).
- •26. Научная индукция как вид неполной индукции. Характер выводов научной индукции. Методы научной индукции.
- •27. Умозаключения по анологии: логическая природа и структура. Виды аналогии. Условия состоятельности выводов по анологии.
- •28. Основные формально - логически законы: сущность, требования (и возможные ошибки вследствие их нарушения), значение.
- •29. Доказательство как вид аргументации: особенность и структура.
- •30. Способы аргументации (доказательства). Прямое обоснование тезиса и его формы.
- •31. Апагогическое и разделительное обоснование тезиса: особенности, логическая структура, алгоритм.
- •3) По отношению к демонстрации
- •33. Опровержение: сущность, структура, способы.
Безотносительные и соотносительные понятия
Безотносительными называются понятия, отражающие предметы, существующие раздельно и мыслящиеся вне их отношения с другими предметами (студент, государство, закон).
Соотносительными называются понятия, содержащие признаки, указывающие на отношение одного понятия к другому (родители — дети, начальник — подчиненный, истец — ответчик).
4. Отношения между понятиями. Совместимые и несовместимые понятия. Типы совместимости и несовместимости.
●Понятия находятся между собой в определенных отношениях. По содержанию между понятиями могут быть только два вида отношений — сравнимость и несравнимость. Далекие друг от друга по своему содержанию понятия, не имеющие общих признаков, называются несравнимыми (безответственность и нитка, романс и кирпич). Между ними невозможны логические отношения.
Сравнимые понятия — это понятия, имеющие в своем содержании общие, существенные признаки (по которым они и сравниваются). Отношения между понятиями изображают с помощью схем — кругов Эйлера.
Между сравнимыми понятиями возможны два вида отношений по объему: совместимость и несовместимость, а сами соотносящиеся понятия называются совместимыми или несовместимыми.
●Совместимые понятия — это такие, объемы которых полностью или частично совпадают. Между совместимыми понятиями складываются следующие отношения:
1 — равнообъемность (понятия, которые различаются по своему содержанию, но объемы которых совпадают)
2 — перекрещивание (понятия, объемы которых частично совпадают)
3 — подчинение/субординация (понятия, если объем одного полностью входит в объем другого, но не исчерпывает его)
●Несовместимыми называются понятия, объемы которых не совпадают. Несовместимые понятия могут находиться между собой в следующих отношениях.
1 — соподчинение/координация (понятия, объемы которых исключают друг друга, но принадлежат некоторому более общему родовому понятию)
2 — противоположность (понятия, признаки которых противоречат друг другу, а сумма их объемов не исчерпывает родового понятия)
3 — противоречие (два понятия, которые являются видами одного и того же рода, и при этом одно понятие указывает на некоторые признаки, а другое эти признаки отрицает, исключает, не заменяя их никакими другими признаками)
5. Обобщение и ограничение понятий. Основное требование к выполнению данных операций и ошибки в обобщении и ограничении.
Логическая операция обобщения понятий.
Обобщение объема А - логическая операция, в результате которой образуется имя с объемом В, содержащим в себе объем А. Иными словами, обобщить имя А - значит образовать такое другое имя В (род), которое подчиняло бы себе имя А (вид).
На первый взгляд, обобщение - то же, что и включение. Однако это не совсем так. Разница прежде всего в том, что при обобщении более общее имя В может быть в принципе неизвестным. Его содержание надо еще выработать, объем установить или уточнить, а само имя, быть может, заново сформулировать, в то время как при включении А в В эти имена выступают как данные. Процессы обобщения - неотъемлемые свойства научного познания. Прежде чем появилось обобщающее имя «закон Бойля-Мариотта», прошли десятилетия упорного труда ученых по исследованию зависимости между давлением и объемом различных газов.
В процессе познания обобщающее имя в свою очередь может быть обобщено и т.д. Пределом обобщения в каждом конкретном случае выступает некое универсальное имя. В различных науках - это имена, фиксирующие фундаментальные понятия (научные категории): точка, прямая, плоскость - в геометрии, материальная точка, масса, сила, ускорение - в механике; атом, молекула, валентность - в химии; труд, товар, деньги, стоимость - в экономической теории; предмет, свойство, отношение - в логике.
Логическая операция ограничения понятий.
Ограничение - логическая операция, обратная обобщению. Она состоит в нахождении имени с объемом В, который содержится в объеме А. Ограничить объем А - значит найти такое другое имя В (вид), которое находилось бы в отношении подчинения к А (роду). Пределом ограничения выступают имена, объемы которых равны одному предмету (единичные имена). Так, пределом ограничения имени «столица» являются имена отдельных государств: Минск, Москва, Токио и т.д.
Особой разновидностью ограничения является выделение типа, или типизация. Тип - это имя, которому однородные предметы соответствуют в той или иной мере. Если некоторые предметы составляют объем имени А и среди них есть такие, что безусловно (т.е. со степенью, равной 1) принадлежат к объему В, а другие обладают этим свойством в некоторой (меньшей) степени, то имя с объемом В представляет собой тип. Так, ограничивая объем имени «человек», можно получить имя «высокий человек». Это будет тип, поскольку, исходя из практики и разумных соображений, можно выделить, безусловно, высоких людей, остальных же упорядочить по степени их принадлежности к высоким людям, до той границы, за которой находятся, безусловно, невысокие люди (степень их принадлежности к объему имени «высокий человек» равна 0). Тип, таким образом, есть имя с нечетким объемом.
●Логические операции с объемами имен не следует смешивать с мысленными переходами от части к целому и, наоборот, от целого к части. Специфика последних наиболее отчетливо выявляется при их сопоставлении с операциями обобщения и ограничения.
Обобщаемое имя заключает в себе все содержание результата обобщения, но не наоборот. Иными словами, вид обладает всеми признаками рода. Например, можно, обобщив имя «газета», получить имя «периодическое издание», и ни одна газета не мыслима без этого родового признака.
Иначе обстоит дело при переходе от части к целому. Ознакомившись с отдельными помещениями в новой квартире, можно составить представление о квартире в целом, но нельзя переносить свойства всей квартиры (например, то, что она состоит из трех комнат), на каждую из частей квартиры. Часть, таким образом, не обладает содержанием целого (здесь имеется аналогия с отношениями между собирательными и несобирательными именами).
Поэтому смешение операции обобщения (ограничения) с операцией мысленного перехода от части к целому (от целого к части) непозволительно и может служить источником серьезных заблуждений. Например, восточнославянское племя кривичей можно рассматривать иногда как разновидность, иногда как часть славян. В первом случае, зная, что восточные славяне поклонялись Перуну, мы не сделаем ошибки, заключив, что и кривичи поклонялись Перуну (операция ограничения). Во втором же случае из знания о том, что восточные славяне подвергались набегам степняков, вовсе не следует, что и любая их часть, например, кривичи, подвергались этим набегам (переход от целого к части). В противном случае допускается логическая ошибка.