- •Логика как наука о законах и формах правильного мышления.
- •Чувственное познание и абстрактное мышление. Язык, мышление и познание. Абстрактное мышление как предмет и изучения логики.
- •Понятие как форма мышления. Образование понятий.
- •Содержание и объем понятия. Виды понятий по объему и содержанию.
- •Закон обратного отношения между объемом и содержанием понятия. Обобщение и ограничение понятий.
- •Деление как логическая операция. Виды деления. Правила и ошибки в делении.
- •Типы отношений между понятиями.
- •Определение как логическая операция. Виды определений. Правила определения. Ошибки в определении.
- •Классификация как вид деления. Ее виды. Значение классификации в познании.
- •Суждение как форма мышления. Суждение и предложение.
- •Простые суждения. Их состав и виды.
- •Классификация простых категорических суждений по количеству и качеству. Их объединенная классификация.
- •Распределенность терминов в простых категорических суждениях.
- •Отношения между категорическими суждениями по логическому квадрату.
- •Сложные суждения, их виды. Условия истинности сложных суждений.
- •Алетическая модальность суждений.
- •Деонтическая модальность суждений.
- •Эпистемическая модальность суждений.
- •Понятие о логическом законе. Законы логики и их значение для правильного мышления.
- •Закон тождества и его значение для правильного мышления.
- •Закон противоречия. Логические ошибки, связанные с нарушением этого закона.
- •Закон исключенного третьего и его значение для правильного мышления.
- •Закон достаточного основания и его роль в познании.
- •Общее понятие об умозаключении. Структура умозаключений. Классификация умозаключений.
- •Непосредственные умозаключения и их роль в процессе рассуждений.
- •Простой категорический силлогизм. Термины силлогизма. Фигуры и модусы силлогизма.
- •Общие правила посылок и терминов силлогизма.
- •Понятие фигур силлогизма. Первая фигура силлогизма. Доказательство ее правил.
- •Понятие фигур силлогизма. Вторая фигура силлогизма. Доказательство ее правил.
- •Понятие фигур силлогизма. Третья фигура силлогизма. Доказательство ее правил.
- •Выводы из сложных суждений. Чисто-условные умозаключения. Аксиома чисто-условных умозаключений.
- •Условно-категорическое умозаключение. Modus tollens и Modus рonens.
- •Лемматические умозаключения. Конструктивные и деструктивные дилеммы. Их функции.
- •Разделительно-категорическое умозаключение и его модусы. Правила модусов.
- •Сокращенные силлогизмы (энтимемы), восстановление силлогизма из энтимемы.
- •Полисиллогизмы. Сориты. Эпихейремы.
- •Общее понятие об индуктивных умозаключениях. Виды индукции: полная, неполная; популярная и научная.
- •Научная индукция. Принципы отбора, ограничивающие возможности случайности обобщения.
- •Методы научной индукции (различия и сходства, объединенный метод).
- •Методы научной индукции (метод сопутствующих изменений и метод остатков).
- •Популярная индукция. Условия, повышающие степень вероятности выводов по неполной индукции.
- •Аналогия как умозаключение, ее виды. Условия состоятельности гипотез. Применение аналогии в праве.
- •Гипотеза как форма развития научных знаний. Ее виды, структура. Понятие версии.
- •Способы подтверждения и доказательства гипотез. Метод множественных гипотез.
- •Аргументация и доказательство. Структура доказательства: тезис, аргументы и демонстрация. Субъекты доказательства.
- •Виды доказательства: прямое и косвенное доказательство.
- •Правила и ошибки в отношении тезиса, аргументов и демонстрации. Софизмы и паралогизмы.
- •Опровержение, его структура и виды.
- •Спор, виды спора (дискуссия, диспут, полемика, риторический спор и до.). Этика спора. Роль культуры речи в споре.
- •Дискуссия. Субъекты дискуссии. Виды дискуссии. Роль дискуссии в поиске истины.
Распределенность терминов в простых категорических суждениях.
Для характеристики соотношения объемов субъекта и предиката используется понятие «распределенность термина». Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исключается из него. Термин считается нераспределенным, если его объем лишь частично включается в объем другого термина или частично исключается из него.
Рассмотрим, как распределяются субъект и предикат в следующих суждениях.
В общеутвердительном суждении «Все адвокаты (S) есть юристы (Р)» субъект распределен, так как объем понятия «адвокат» полностью входит в объем понятия «юрист», а предикат - не распределен, так как объем понятия «юрист» шире объема понятия «адвокат». Если обозначим распределенное понятие знаком «+», нераспределенное знаком «-», то схематично наше суждение можно представить в виде:
Все S+ есть Р–.
В общеотрицательном суждении «Ни один человек не есть птица» и субъект и предикат распределены, так как они взяты в полном объеме: класс всех людей исключается из всего класса птиц. Схематично:
Ни один S+ не есть Р+.
В частноутвердителъном суждении «Некоторые юристы есть спортсмены» субъект и предикат не распределены, так как в суждении говорится только о части юристов и части спортсменов. Схематично:
Некоторые S– есть Р–.
В частноотрицательном суждении «Некоторые юристы не есть спортсмены» субъект не распределен, а предикат распределен, так как часть юристов исключается из всего класса спортсменов. Схематично:
Некоторые S– не есть Р+.
Из анализа этих суждений можно вывести простое правило: субъект распределен только в общих суждениях; предикат - только в отрицательных.
Отношения между категорическими суждениями по логическому квадрату.
Несравнимыми среди простых суждений являются суждения, имеющие различные субъекты или предикаты.
Сравнимыми являются суждения с одинаковыми субъектами и предикатами.
Для иллюстрации отношений между простыми суждениями используется логический квадрат:
Среди сравнимых различают совместимые суждения, которые могут быть одновременно истинными, и несовместимые суждения, которые одновременно истинными быть не могут.
Совместимость бывает трех видов: полная совместимость (эквивалентность); подчинение; частичная совместимость (субконтрарность). Несовместимость бывает двух видов: противоположность (контрарность) и противоречивость (контрадикторность).
I. Отношением подчинения связаны суждения А и I, Е и О. Общие суждения (А и Е) являются подчиняющими, а частные (I, О) подчиненными. Для суждений находящихся в отношении подчинения, имеет значение условие истинности: Если истинно А(Е), то истинно и I(O), но не наоборот.
II. Отношением противоречия связаны суждения Е и I, А и О. Два противоречивых суждения (согласно законам логики) не могут быть одновременно ни истинными, ни ложными Если А - истинно, то О - ложно
Если А - ложно, то О - истинно
Если О - истинно, то А - ложно
Если О - ложно, то А - истинно
Если Е - истинно, то I - ложно
Если Е - ложно, то I - истинно
Если I -истинно, то E - ложно
Если I - ложно, то E - истинно
III. Отношением контрарности (противоположности) связаны только общие суждение А и Е. Закон исключения третьего к таким суждениям не применим. А и Е могут оказаться одновременно ложными, но не могут быть одновременно истинными (пример: оба суждения "Все любят логику" и "никто не любит логику" - ложны).
IV. Отношение субконтрарности существует между частными суждениями I и О. I и О могут быть одновременно истинными, но не могут быть одновременно ложными (пример: оба суждения "Некоторые люди любят логику" и "некоторые люди не любят логику" - истинны).