- •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)Способы доказательств гипотез.
14)Правила распределенности терминов простых атрибутивных суждений.
Суждение А - общеутвердительное. (Все S суть Р).
Все караси рыбы. S- карась, Р- рыба.
Все
квадраты - равносторонние прямоугольники.
S
- квадрат, Р - равносторонний прямоугольник,
"все" -квантор общности.
Если Р больше объёма S, то Р - не распределен.
Если S равен по объёму Р, то Р распределен.
Суждение I - частноутвердительное. (Некоторые S суть P).
Некоторые инженеры - филателисты. S- инженер, Р- филателист, "некоторые" -квантор существования.
Некоторые писатели - драматурги. S- писатель, Р- драматург, "некоторые" квантор существования.
Если понятия S и Р перекрещиваются, то Р не распределен.
Р распределен , если объём Р меньше объёма S, что бывает в частных выделяющих суждениях
Суждение Е - общеотрицательное.(Ни одно S не суть Р)
Ни один лев не есть травоядное животное. S-лев, Р- травоядное животное, "ни один" кванторное слово.
S,
P
распределены.
Суждение О - частноотриацтельное.( Некоторые S не суть Р)
Некоторые
учащиеся не являются спортсменами. S-
учащийся, P-
спортсмен, "некоторые" квантор
существования.
S распределен в общих суждениях и не распределен в частных, Р всегда распределен в отрицательных суждениях , в утвердительных же он распределен тогда, когда по объёму Р< или = S.
15)Модальные суждения. Виды модальности.
Модальными простыми суждениями называют простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов
Модальными сложными суждениями называют сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов.
М( S есть Р) и М ( S не есть P). М - модальный апператор.- Структура модальных суждений.
Виды модальности:
1. Алетическая модальность - это выражаемая с помощью операторов «необходимо», «случайно», «возможно», «невозможно» информация о логической либо фактической обоснованности суждения: «Возможно завтра будет солнечный день»; «Невозможно, чтобы человек в своей жизни никогда не ошибался».
В символической логике алетическая модальность обозначается следующим образом: «€ А» – «необходимо A»; « A» – «случайно А»;« А» – «возможно А»; «~ А» – «невозможно А».
2. Эпистемическая модальность – это выраженная в суждении информация обосновании и степени его достоверности(«эпистема» означала в античной философии высший тип несомненного, достоверного знания).
Операторы таких суждений: доказуемо, недоказуемо, неразрешимо, опровержимо.
Достоверное суждение – это такое высказывание, в котором содержится твердо установленная информация.
Проблематичные суждения – это такие высказывания, которые нельзя считать достоверными в силу того, что истинность или ложность таких суждений точно не установлена.
3. Деонтическая модальность - это выраженная в суждении информация, побуждающая людей к определенным поступкам. В таких суждениях часто присутствуют операторы запрещено, разрешено, имеет право, обязан, должен. Например: «Лекции по логике желательно слушать с большим вниманием»; «Не рекомендуется пропускать семинарские занятия по логике». «Граждане нашей страны имеют право на отдых; запрещено посещать библиотеку без читательского билета»; «В нашей стране разрешено получать паспорт с 14-ти лет, а водительские права – с 18-ти».
4. Аксиологическая модальность. Операторы суждений: хорошо, плохо, превосходно. «Хорошо, что завтра выходной». «Превосходно, что в наш офис установили еще один компьютер». «Плохо, что сегодня я задержался на работе до позднего вечера».
5. Временная модальность. Операторы: всегда, никогда, одновременно, раньше, позже. «Всегда можно найти выход из сложной ситуации». «Раньше я любил бродить по тихим улочкам и мечтать». «Никогда не вороши прошлое».
Модальные простые и сложные суждения:
Суждения, содержащие логические модальности
Суждения, содержащие онтологические модальности
Суждения, содержащие эпистемические модальности
Суждения, содержащие деонтические модальности
Суждения, содержащие аксиологические модальности
Суждения, содержащие временные модальности
Суждения, содержащие другие модальности
