- •Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики.
- •Общая характеристика понятия как формы мысли: определение, логическая структура, приёмы образования.
- •Виды понятий по содержанию и по объему. Полная логическая характеристика понятий.
- •Отношения между понятиями. Совместимые и несовместимые понятия. Типы совместимости и несовместимости.
- •Определение понятий и его структура. Явные и неявные, реальные и номинальные определения. Правила определения и возможные ошибки.
- •В неявных определениях выявляются связи, в которых находится определяемый предмет с другими предметами.
- •Деление понятий: сущность логической операции, её структура, виды, правила и возможные ошибки.
- •Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.
- •Виды и состав простых суждений, их символическая запись.
- •Классификация простых категорических (атрибутивных) суждений.
- •Распределённость терминов в атрибутивных суждениях и способы её определения.
- •Виды сложных суждений: особенности логического анализа, способы выражения в языке, символическое обозначение и условия истинности.
- •Логические отношения между простыми категорическими суждениями по логическому квадрату.
- •Отрицание суждений.
- •Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
- •Общая характеристика дедуктивных умозаключений: понятие, особенности логической природы и основные разновидности.
- •Если одна из посылок отрицательная, то большая просылка должна быть общей.
- •Непосредственные умозаключения: превращение, обращение, противопоставление предикату.
- •А Все s есть р е Ни одно s не есть р
- •I Некоторые s есть р о Некоторые s не есть р
- •Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
- •Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной дилемм).
- •Предметы а,в,с,д имеют признак р
- •А имеет признак р
- •Научная индукция как вид неполной индукции. Характер выводов научной индукции. Методы научной индукции.
- •Умозаключения по аналогии: логическая природа и структура. Виды аналогии. Условия состоятельности выводов по аналогии.
- •Основные формально-логические законы: сущность, требования (и возможные ошибки вследствие их нарушения), значение.
- •Закон тождества.
- •Закон непротиворечия.
- •Закон исключенного третьего.
- •Закон достаточного основания.
- •Доказательство как вид аргументации: особенности и структура.
- •Способы аргументации (доказательства). Прямое обоснование тезиса и его формы.
- •Апагогическое и разделительное обоснование тезиса: особенности, логическая структура, алгоритм.
- •Правила и ошибки в аргументации по отношению к тезису, аргументам, и демонстрации.
- •Правила по отношению к аргументам:
- •Правила и ошибки по отношению к демонстрации:
- •Опровержение: сущность, структура, способы.
- •Спор, виды спора. Условия рационального спора. Разрешенные приемы в споре.
- •Уловки в споре (некорректные приемы спора).
Виды и состав простых суждений, их символическая запись.
Рассмотрим классификацию суждения по структуре:
по этому основанию суждения делятся на простые и сложные.
ПРОСТЫМ называется суждение, выражающее связь двух понятий. Это суждение, в котором нет частей, выражающих также суждение.
Суждение, состоящее из нескольких простых суждений, называется СЛОЖНЫМ.
Еще одна классификация суждения по содержанию предиката.
По содержанию предиката, то есть в зависимости от того, что утверждается или отрицается в суждении – принадлежность признака предмету, отношения между предметами или сам факт существования предмета СУЖДЕНИЯ делятся на:
Атрибутивные суждения: оно отражает принадлежность или не принадлежность предмету мысли того или иного свойства.
Релятивные суждения– суждения отношений, выражающее различные связи между предметами мысли по положению в пространстве ( месту), по последовательности во времени, по величине, по последовательности во времени и действии ( причинной зависимости), интенсивности качеств, по родству и т.д..
Экзистенциальные суждения ) – суждения существования – указывают на сам факт существования или не существования того или иного предмета суждения.
В традиционной логике простые атрибутивные суждения называются также категорическими
суждениями.
Категорические суждения классифицируются по количеству и по качеству.
Качеством суждения называется его утвердительная или отрицательная форма.
В утвердительном суждении мысль наша соединяет то, что мыслится как соединенное в самой действительности. В отрицательном суждении наша мысль разъединяет то, что мыслится как разъединенное в самой действительности.
По количеству суждения делятся на общие, частные и единичные.
В общем суждении
субъектом является целый класс предметов во всем своем объеме.
Среди общих суждений встречаются выделяющие суждения, в состав которых входит квантор «только», а также исключающие суждения.
В частном суждении субъектом является не весь класс предметов, а только какая-то часть этого класса. Частные суждения делятся на неопределенные и определенные.
В единичном суждении субъектом является один единственный предмет.
– читается: существуют «х», обладающие свойством Р
Классификация простых категорических (атрибутивных) суждений.
Объединенная классификация суждений по количеству и качеству.
Символическая запись общеутвердительного суждения ВсеS есть P, хР(х) – читается: всякий «х» обладает свойством Р. Частноутвердительное суждение Некоторые S есть P , хР(х)
Общеутвердительные суждения – общие по количеству и утвердительные по качеству – обозначаются с помощью буквы А.
Общеотрицательные суждения – общие по количеству и отрицательные по качеству – обозначаются буквой Е.
Частноутвердительные суждения – частные по количеству и утвердительные по качеству – обозначаются буквой I.
Частноотрицательные суждения – частные по количеству и отрицательные по качеству обозначаются буквой О.
Единичные суждения рассматриваются как общие.
Нормальная форма простых суждений «В России есть прогрессивно мыслящие люди». Класс предметов – люди; субъект – россияне; предикат – прогрессивно мыслящие люди; связка – есть; квантор – некоторые. Некоторые россияне являются (есть) прогрессивно мыслящими людьми.