Семинар 3. Суждение. Виды суждения

План 1-го занятия

1. Суждение как форма мышления

2. Простые суждения, их состав и виды.

3. Категорические суждения. Классификация простых категорических суждений по количеству и качеству.

4. Понятие и виды модальности.

5. Алетическая модальность суждений:

а) логическая модальность,

б) фактическая модальность.

6. Эпистиместическая модальность суждений.

7. Деонтическая модальность суждений.

Дополнительные вопросы

1. Суждение и предложение.

2. Какие суждения называются выделяющими и исключающими?

3. Что такое распределенность терминов в суждении?

4. Приведите примеры совместимых, эквивалентных суждений.

Упражнения

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

1.1. Многие люди все еще верят в злых духов.

1.2. Ни один нетрезвый водитель не должен управлять транспортным средством.

1.3. Какой зверь является самым сильным?

1.4. Зайцы на этом острове водятся.

1.5. Большинство людей, совершивших преступления, не избежали наказания.

 

2. Установить истинность и построить выводы по квадрату из суждений.

2.1. Некоторые юристы не являются коллекционерами.

2.2. Большинство людей носят головные уборы.

2.3. Все законы писаны людьми.

2.4. Ни один человек не является справедливым.

 

3. Установить истинность суждений и определить вид отношений между парами суждений.

3.1. Все преступники являются людьми душевнобольными. Ни один преступник не является душевнобольным.

3.2. Некоторые студенты являются отличниками. Все студенты являются отличниками.

3.3. Ни один судья не живет два века. Некоторые судьи живут два века.

3.4. Некоторые оскорбления наносятся намеренно. Некоторые оскорбления наносятся ненамеренно.

 

4. Выявить суждения, которые противоречат друг другу.

Каждый адвокат имеет юридическое образование.

Ни один адвокат не имеет юридического образования.

Отдельные адвокаты не имеют юридического образования.

Некоторые адвокаты имеют юридическое образование.

5. Придумать примеры высказываний «следую условиям».

Истинная импликация с истинным антецедентом.

Истинная импликация с ложным антецедентом.

Ложная импликация.

План 2-го занятия

1. Виды сложных суждений. Логические связки.

2. Условия истинности сложных суждений. Таблицы истинности.

3. Отношения между сложными (составными) суждениями:

a) совместимость;

б) эквивалентность;

в) отношение логического следования.

 

Дополнительные вопросы и задания

1. Каким образом определяется истинность или ложность сложного (составного) суждения?

 

2. Являются ли эквивалентными следующие высказывания:

1. (А → В) ↔ (~ A v B)

2. (А → В) ↔ (B → A)

3. (А → В) ↔ (~ B → ~ A)

4. ~ (А v В) ↔ (~ A ^ ~ B)

5. ~ (А ^ В) ↔ ~ (A v B)

6. ~ (А ^ В) ↔ (A v ~ B)

7. ~ (А → В) ↔ (A ^ ~ B)

 

3. Есть ли отношение логического следования между высказываниями:

1. A ^ B╞ A v B

2. A v B╞ B

3. B╞ B v C

4. A → B╞ ~ A v B

5. A v B╞ ~ A → B

6. (A ^ B)╞ (A → B)

7. A ↔ B╞ B → A

8. A → B╞ ~ A → ~ B

9. A → B╞ ~ B → ~ A