- •1)Предмет формальной логики, её значение и место в системе научных знаний.
- •2)Основные формы познания. Чувственное познание и абстрактное мышление - их взаимосвязь. Особенности абстрактного мышления.
- •4)Виды понятий ,выделяемые по различным основаниям.
- •5) Типы совместимости понятий: равнозначность, подчинение, пересечение.
- •6)Круговые схемы Эйлера, иллюстрирующие объёмные отношения между совместимыми понятиями и несовместимыми понятиями.
- •7)Типы несовместимости понятий : исключение, противоположность, противоречие.
- •8) Круговые схемы Эйлера, иллюстрирующие объёмные отношения между совместимыми понятиями и несовместимыми понятиями:(пункт 6 смотреть выше)
- •9)Логические операции с понятиями:
- •10)Деление понятий. Правила деления.
- •11)Общая характеристика суждений. Суждение и предложение. Структура простого категорического суждения.
- •12)Виды простых ассерторических суждений, их логическая характеристика.
- •13)Деление суждений по количеству и качеству.
- •14)Правила распределенности терминов простых атрибутивных суждений.
- •15)Модальные суждения. Виды модальности.
- •16)Логические значения суждений. Правила логического квадрата.
- •17)Сложные конъюктивные и дизъюнктивные суждения. Условия их истинности.
- •18)Сложные суждения импликации, эквиваленции и суждения отрицания. Условия их истинности.
- •19)Общая характеристика умозаключений. Их структура. Виды умозаключений.
- •21)Структура простого категорического силлогизма, его аксиома. Сложные и сложносокращенные силлогизмы.
- •22)Первая фигура простого категорического силлогизма. Её правила и правильные модусы.
- •23)Вторая фигура простого категорического силлогизма. Её правила и правильные модусы.
- •24) Третья и четвёртые фигуры простого категорического силлогизма. Правильные модусы третьей фигуры.
- •25) Условное умозаключение , его логическая характеристика.
- •26)Условно- категорическое умозаключение, его модусы.
- •27)Разделительно - категорическое умозаключение, его модусы.
- •28)Условно - разделительные(лемматические) умозаключения. Конструктивная и деструктивная дилемма.
- •29)Общая характеристика индуктивных умозаключений. Полная и неполная индукция.
- •30)Методы установления причинных связей: метод сходства и метод различия.
- •31) Методы установления причинных связей: метод остатка и метод сопутствующих изменений.
- •32)Умозаключение по аналогии. Характер вывода в умозаключении по аналогии.
- •33)Основные законы формальной логики. Закон тождества.
- •34)Основные законы формальной логики. Закон непротиворечивости.
- •35)Основные законы формальной логики. Закон исключенного третьего.
- •36)Основные законы формальной логики. Закон достаточного основания.
- •37)Логические танатологии или тождественно- истинные высказывания: законы де- Моргана, закон двойного отрицания, закон контрапозиции. Тождественно - истинные высказывания
- •38)Логические основы аргументации, её структура и виды.
- •39)Логическая характеристика доказательства. Виды доказательства, его структура.
- •40)Опровержение, его логическая характеристика. Виды опровержения, его структура.
- •41)Гипотеза и её структура. Виды гипотез. Версия.
- •42)Способы доказательств гипотез.
16)Логические значения суждений. Правила логического квадрата.
Логический
квадрат.
Отношение подчинения, в котором находятся суждения A и I, E и O. Суждения А и Е – подчиняющие, а суждения I и O подчинённые. Если общее суждение истинно, то истинно одинаковое и ним по материи и качеству чистое, но не наоборот. Например: суждение общее «Все люди смертны» истинно, то истинно будет и частное суждение «Некоторые люди смертны», обратное же не имеет место;
Отношение противоречия между суждениями E и I, O и A. Здесь суждения E и I, а также O и A относятся друг к другу как утверждение и отрицание. Поэтому в каждом из этих двух суждений одно является обязательно истинным, а другое 0 обязательно ложным. Например, если суждение «Все вещи имеют имя» (А) истинно, то суждение «Некоторые вещи не имеют имени» (О) будет ложным. И обратно: если суждение (О) истинно, то суждение (А) той же материи будет ложно;
Отношение контрарности между суждениями А и Е. В первом из них утверждается определённый вид отношения S к P, а именно, что объём S полностью содержится в P, а во втором, то есть в суждении Е, отрицается как этот вид отношения между S и P, так и отношение перекрещивается между объёмов S и P, то есть отношение противоположности не сводится к отрицанию одного суждения другим. Поэтому противоположные суждения могут быть одновременно ложными. Приведём пример. а) «Все соки представляют собой жидкость» и б) «Ни один сок не является жидкостью». При условии истинности одного суждения (из противоположных (контрарных) суждений) другое обязательство ложно. Другой пример: «Все книги изготовлены из бумаги» (А) и «Ни одна книга не изготовлена из бумаги» (Е). Здесь оба суждения ложны.
17)Сложные конъюктивные и дизъюнктивные суждения. Условия их истинности.
Конъюнктивное (соединительное) суждение - суждение, которое включает в качестве составных частей другие суждения, объединяемые союзом «и». Например: «Мы поедем в Санкт-Петербург и посетим Русский музей». В этом суждении выражается уверенность, что произойдут оба эти события. Схематично: «рq».
В естественном языке, в том числе и в правовых текстах, конъюнкция может быть выражена словами «и», «а», «но», «также», «хотя», «однако», «несмотря на», «вместе с тем» и др.
Истинность конъюнкции зависит от истинности (ложности) простых суждений «р и q» и от смысла логического союза - конъюнкции. Если мы имеем два простых суждения, а каждое из них может иметь два значения («истина» и «ложь»), то всего должны рассмотреть четыре разных случая: когда оба суждения истинны; когда первое истинно, а второе ложно; когда первое ложно, а второе истинно и когда оба ложны.
Конъюнктивное суждение приобретает значение истинности («истины») лишь когда оба простых суждения истинны, так как союз «и» соединяет суждения, события в которых происходят одновременно. Во втором и в третьем случаях конъюнкция является ложной в силу ложности одного из ее членов; в четвертом ложность конъюнкции определяется ложностью обоих ее членов.
Дизъюнктивное (разделительное) суждение - это суждение, которое включает в качестве составных частей суждения, объединяемые союзами «или», «либо». Например: «Договор купли-продажи может быть заключен в устной или письменной форме» (здесь наличие в предикате двух признаков указывает на сложный характер суждения: его можно разложить на два простых: «Договор купли-продажи может быть заключен в устной форме» и «Договор купли-продажи может быть заключен в письменной форме»).
В естественном языке дизъюнктивные суждения выражаются, как правило, с помощью союзов «или», «либо», «или... или», «либо... либо».
Слабо-разделительное суждение, или суждение со слабой дизъюнкцией - суждение, в котором союз «или» имеет соединительно-разделительное значение. Оно может быть истинным в трех случаях: когда истинны оба суждения; когда р - истинно, a q - ложно; когда р - ложно, a q - истинно. Дизъюнкция считается ложной при ложности всех ее членов.
Строго-разделительное суждение, или суждение с сильной дизъюнкцией - суждение, в котором союз «или» имеет исключающе-раз-делительное значение. Например: «Либо Н. - убийца, либо М. -убийца», «Вина может быть умышленной или неосторожной» (символично: р q). Члены сильной дизъюнкции не могут быть одновременно истинными и ложными.
Суждение с сильной дизъюнкцией может быть истинным только в двух случаях: когда первое суждение истинно (Н. - убийца), а второе - ложно (М. - не убийца) или когда первое ложно, а второе истинно. Оно будет ложным, если входящие в него простые суждения одновременно истинны или одновременно ложны.
Конъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «и» (p q).
Дизъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «или» (р или q; символически pq).Союз «или» употребляется в естественном языке в двух значениях - соединительно-разделительном и исключающее - разделительном.
Слабая дизъюнкция - логическая операция, соединяющая высказывания при помощи союза «или», употребленного в соединительно-разделительном значении, т. е. когда входящие в сложное суждение составляющие суждения не исключают друг друга. Например, в суждении «Н. - преступник или М. - преступник» утверждается, что преступником может быть Н. или М., или оба вместе (символически:pq).
Строгая дизъюнкция - логическая операция, соединяющая высказывания при помощи союза «или», употребленного в исключающем смысле: либо Н. преступник, либо М. - преступник, но не оба вместе (либо p, либо q; символически: pq).
