Виды сложных суждений. Условия истинности сложных суждений.

Сложные суждения содержат конекторы и подразделяются на виды в зависимости от того, какой конектор выступает в роли главного логического союза

 

 

Виды сложных суждений:

Отрицание суждения

Конъюктивное

Дезъюктивное

А ) дезъюктивное разделительное

Б) дезъюктивное неразделительное

4. Условное суждение:

А) импликативное

Б) суждение эквивалентности

 

Условия истинности сложных суждений задаются определениями коннекторов

 

(таблица Условия истинности сложных суждений)

 

Вопрос №18

Отношения между суждениями.

Логическая эквивалентность

– 2 суждения А и В логически эквивалентны, если их логические формы принимают во всех случаях одинаковые значения истинности.

 

А В

2. Логическое следование

– суждение В логически следует из суждения А, если лог. Форма суждения В принимает значение истина во всех тех случаях, когда принимает значение истина лог. Форма суждения А.

А В

Суждение В логически следует из нескольких суждений: А₁, А₂, …А_n

А₁, А₂, …А_n В

3. Совместимость по истинности:

два суждения А и В совместимы по истинности, если их лог. Формы хотя бы в одном случае одновременно значен. Истина, если такого случая не существует, то суждения – несовместимые по истинности

4. Совместимость по ложности:

Два суждения совмстимы по ложности, если их лог. Формы принимают одновременно значение ложь хотя бы в одном случае, если такого случая нет, т о суждение несовместимы по ложности

Контрарность

2 суждения контрарны, если они несовместимы по истиннотси, то совместимы по ложности

6. Подконтрарность ( лог. Противоречие, лог. отрицание)

2 суждения контрадикторны друг другу (лог. Ппротиыворечат друг другу, лог. Отрицают друг друга)

Если их лог. Формы во всех случаях принимают противоположные значения истинности(несовместимы по истинности и по ложности)

 

Если суждения совместимы по истинности, ложности и не следуют друу без друга, то они являются лог. Независимыми.

⃰ отношения между простыми суждениями можно представить в виде схемы, кот. Носит названия лог. Квадрат.

 

Вопрос №19

Модальность суждений. Виды модальностей. Суждение и норма.

Модальность – это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.

Эпистемическая модальность – выраженная в суждении информацият об основаниях приянтия и степени его обоснованности

Деонтическая модальность – выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.

Норма права – официально принятые уполномоченным органом общеобязательные правила поведения, регулирующие правовые отношения в социальной среде, неисполнение которых влечет применение юридических санкций.

Алетическая модальность – выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.

Логическая модальность - - логическая детерминированность суждения, истинность или ложность которого определяется структурой, или формой суждения.

Фактическая модальность – связано с объективной, или физической детеминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности

 

Вопрос №20

Суждение и вопрос. Вопросно-ответные ситуации. Логика вопросов и ответов.

Суждение – форма мышления, в которой утверждается или отрицается связь между предметом и ео признаком, отношение между предметами или факт существования предмета; суждение может быть истинным, либо ложным.

Вопрос – выраженная в вопросительном предложении мысль, направленная на уточнение или дополнение исходного, или базисного знания.

Ответ – новое суждение, уточняющее или дополняющее в соответсвии с поставленным вопросом исходное знание.

Постановка вопроса и поиск информации для ответа составляют явно или неявно присущую любому познавательному процессу вопросно-ответную форму р азвития знаний.

Особая роль принадлежит вопросно-ответной форме в процессе судопроизводства. Поиск ответа на интересующие следствие вопросы составляет основное содержание допросов, следственных экспериментов, освидетельствований, очных ставок и многих других следственных действий. В судопроизводстве вопросно-ответная форма служит процессуально-правовым алгоритмом, определяющим основные направления, важнейшие позиции и пределы судебного исследования по уголовным и гражданским делам.

 

 

Вопрос №21

Умозаключение как форма мышления. Структура умозаключения. Дедуктивное умозаключение. Правило вывода.

Умозаключение в логике – это логическое действие,при котором из нескольких суждений, называемых посылками получают суждение, называемое заключением.

Структура умозаключения представляет собой след запись:

 

Если вместо суждений в данной записи используются их логические формы, то данная запись представляет собой – схему умозаключения.

Умозаключение называется дедуктивным (корректным, правильным, состоятельным, если заключение логически следует из посылок)

 

Схема дедуктивного умозаключения называется правилом вывода

Вопрос № 22

Непосредственные умозаключения. Правила вывода из одной простой посылки. Правила вывода из одной сложной посылки.

Непосредственное умозаключение – это умозаключение из одной посылки, которые получаются путем ее преобразования.

Виды непосредственных умозаключений из одной посылки:

 

1) Превращения

2) Обращения

3) Противопоставление предикату

4) Противопоставление субъекту

5)

Правило вывода из одной простой посылки

I Превращение

 

 

II Обращение

III Противопоставление предикату

 

 

IV Противопоставление субъекту

 

 

Правило вывода из одной сложной посылки

 

 

Вопрос № 23

Правила вывода из нескольких сложных посылок.

Вопрос № 24

Категорический силлогизм. Термины, модусы, фигуры категорического силлогизма. Общие правила категорического силлогизма. Особые правила фигур. Метод построения контрпримера.

Простой категорический силлогизм – вид умозаключения, в котором посылок 2 и они являются простыми суждениями.

Заключение является простым суждением.

Категорический силлогизм – это умозаключение из 2-х простых посылок, содержащих 3 термина.

Различают больший, меньший и средний термин:

Больший термин – предикат заключения обозначается:

Меньший термин – субъект заключения обозначается:

Средний термин – понятие, не входящие в заключение, но входящее в посылки обозначается:

 

Модус –

 

 

Фигуры категорического силлогизма –

 

Общие правила КС:

Правило 1

Правильный модус должен содержать строго 3 термина

Ошибка –учетверение термина

Правило 2

В правильном модусе средний термин должен быть распределен в хотя бы одной из посылок.

Правило 3

В правильном модусе, термин нераспределенный в посылках не должен быть распределен в заключении.

(первые 3 правила – правила касаемые терминов

След 5 правил – правила посылок)

Правило 4

В правильном модусе не может быть 2-х отрицательных посылок

Правило 5

Если одна из посылок отрицат. Суждение, то и заключение отрицательно

Правило 6

В правильном модусе не может быть 2-х частных посылок

Правило 7

Если одна из посылок частное суждение, то и заключение –частное

Правило 8

Если обе послки утвердительные, то и заключение утвердительно

Особые правила фигур

Правило 1-ой группы

Большая послыка – общая

Меньшая посылка – утвердительная

Правило 2-ой группы

Большая посылка – общая, а одна из посылок и заключение отрицательное

Правило 3-ей группы

заключение не может быть общеутвердительным; если большая посылка - утвердит., то меньшая пос.- общая; если одна из посылок – отрицательная, то большая посылка –общая.

Контрпример- случай, в котором формы обеих посылок принимают значения –истина, а форма заключения – ложь. Если удастся построить контрпример, то КС – некорректно.

Вопрос № 25