Семинар 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

 

Семинар 4. Анализ структуры и значений

Истинности высказываний

План

1. Задачи логики высказываний. Элементы метаязыка логики высказываний.

2. Таблицы истинности. Значение истинности высказывания.

3. Общезначимые, нейтральные и всегда ложные высказывания.

4. Метод установления общезначимости.

 

Контрольные вопросы

1. Вопросы логического характера, разрешимые в логике высказываний. Синтаксис и семантика метаязыка.

2. Сформулируйте принцип двузначности. Какова роль принципа двузначности в логике высказываний.

3. Дайте классификацию высказываний с точки зрения: а) их формальной структуры; б) значений истинности.

4. Что такое общезначимость? Каковы методы установления значения истинности составного (молекулярного) высказывания?

Упражнения

1. Для каждого из следующих высказываний (1)найдите символическую форму; (2) постройте таблицу истинности.

a) Если Билл умен, а Катя молчалива, то Ахмед получит приз;

b) Ахмед получит приз в том и только в том случае, если он умен или если Билл глуп;

c) Если Ахмед глуп, а Катя болтлива, то Джон не получит приз;

d) Если Катя молчалива, но Ахмед глуп, то если Джон удачлив и хорош собой, они могут составить хорошую команду и получить приз.

 

2. Установить значение истинности высказываний.

1. (А v В) ↔ (В v А)

2. A → (A v B)

3. (A → B) ↔ (B → A)

4. (A → B) ↔ (~ A v B)

5. (A v B) ↔ (~ A → B)

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

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

8. ((A → B) ^ (B → C) ^ ~ C) → ~ A

 

Семинар 5. Понятие логического следования.