- •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)Способы доказательств гипотез.
18)Сложные суждения импликации, эквиваленции и суждения отрицания. Условия их истинности.
Отрицание - логическая операция, в результате которой из данного суждения (р) получается новое суждение (не- р), называемое отрицанием исходного суждения.
Импликация - логическая операция, соединяющая высказывания при помощи союза «если.., то» (символически р → q).
Эквивалентность - логическая операция, позволяющая из двух высказываний р и q получить новое высказывание: р эквивалентно q(символически р ≡ q, или р ↔ q).
В зависимости от того, какие логические союзы используются при образовании сложных суждений, последние делятся на следующие виды: отрицательные, соединительные, разделительные, условные и эквивалентные суждения.
Отрицание - суждение, образованное с помощью союза «не». Например, имеем суждение: «Человек совершил преступление» (р).Его отрицанием будет: «Неверно, что человек совершил преступление» p). Смысл отрицания состоит в следующем: если какое-то суждение (р) - истинно, то его отрицание (p) будет ложным. Если p - ложно, то его отрицание p - истинно. Союз «не» меняет значение истинности на противоположное.
Импликативное (условное) суждение - это сложное суждение, образованное из простых суждений с помощью логического союза «если.., то». Например: «Если человек совершил преступление, то он должен быть наказан». При этом первое суждение (начинающееся словом «если») называется основанием, а второе (начинающееся словом «то») - следствием (заключением).Символически: р → q.
Форму условной связи могут принимать различные виды объективных зависимостей: причинные, пространственно-временные, логические и другие. Пример причинной связи: «Если нагреть воду до 100 градусов при нормальном давлении, то она закипит». Пример логической связи: «Если человек женат, то он не холост» или «Если всякое преступление наказуемо, а кража преступна, то она наказуема».
Эквивалентность - суждение, образованное из простых суждений с помощью союза «тогда, и только тогда, когда». В этих суждениях выражается взаимная обусловленность явлений, событий. Например: «Если человек награжден орденами и медалями, то лишь в этом случае он имеет право на ношение соответствующих орденских планок». При истинно-функциональном подходе аналогом этих суждений выступают выражения, содержащие прямую и обратную импликацию (двойная импликация). В естественном языке такие суждения выражаются также с помощью союзов «если, и только если.., то», «лишь при условии.., что».
Для определения истинности эквивалентности рассмотрим суждение: «Любое деяние следует рассматривать как преступное в том, и только в том, случае, если оно общественно опасно и противоправно» (схематично «р ↔ q»). Истинность р достаточна для признания истинным q и, наоборот, истинность q достаточна для признания истинным p. Эквивалентность истинна только тогда, когда составляющие его простые суждения либо одновременно истинны, либо одновременно ложны.
19)Общая характеристика умозаключений. Их структура. Виды умозаключений.
Умозаключение - форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение, с необходимостью или определенной степенью вероятности следующее из них.
Умозаключение делятся: дедуктивные, индуктивные, по аналогии.
Дедуктивное умозаключение - заключение в котором переход от общего знания к частому является логически необходимым.
Умозаключение даёт истинное заключение, если исходные посылки истины и соблюдены правила вывода.
Различают правила прямого вывода и правила непрямого(косвенного вывода).
20)Непосредственные умозаключения. Логические операции превращения, обращения, противопоставления предикату и преобразования по логическому квадрату.
Непосредственными умозаключениями называются дедуктивные умозаключения, делаемые из одной посылки, являющейся категорическим суждением.
Превращение - вид непосредственного умозаключения, при котором изменяется качество посылки без изменения её количества.
S есть Р S не есть Р Всякое мошенничество есть преступление
S не есть не-P S есть не- Р Ни одно мошенничество не есть не преступление
Обращением называется такое непосредственное умозаключение, в котором в заключении субъектом является предикат, а предикатом - субъект исходного суждения, т.е. происходит перемена мест субъекта и предиката при сохранении качества суждения.
S есть Р S не есть Р Все дельфины - млекопитающие
Р есть S Р не есть S Некоторые млекопитающие являются дельфинами
Противопоставление предикату - это такое непосредственное умозаключение, при котором предикатом является субъект, субъектом - понятие, противоречащее предикату исходного суждения, а связка меняется на противоположную.
S есть Р S не есть Р Все профессиональные адвокаты - юристы
Не -Р не есть S Не - Р есть S Ни один не юрист не является профессиональным адвокатом.