1. Язык и табличное построение КЛВ.

2. Основные законы клв.

3. Основные способы правильных умозаключений клв.

Начните подготовку с ознакомления с темой.

При изучении 1-го вопроса

Готовясь к лекции, студент должен

• Прочитать:

1. Бочаров В.А., Маркин В.И. Основы логики. – М., 1994. Глава 2, § 1-2.

2. Ивлев Ю.В. Логика для юристов. – М., 1996. Глава 2, § 4.

• Сформировать общее представление

1. О целях и задачах КЛВ

2. О языке КЛВ и его выразительных возможностях.

3. О таблицах истинности

Постарайтесь понять основные принципы табличного построения КЛВ. Этот способ – содержательный, а не формальный (аксиоматический), что имеет свои преимущества. Таблица для каждой пропозициональной связки имеет очень простой и интуитивно ясный смысл.

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

При подготовке к семинарскому занятию студент должен

• Прочитать:

1. Бочаров В.А., Маркин В.И. Основы логики. – М., 1994. Глава 2, § 1-2.

2. Ивлев Ю.В. Логика для юристов. – М., 1996. Глава 2, § 4.

• Изучить дополнительные материалы:

1. Мендельсон Э. Ведение в математическую логику. – М., 1971. Глава 1.

2. Непейвода Н.Н. Прикладная логика. – Ижевск, 1997. Гл. 1-3.

3. Черч А. Введение в математическую логику. – М., 1960. Введение.

• Выполнить упражнения и практические задания:

1. в учебнике Горбатов В.В. Логика. Тема 3, упражнения 1-2.

2. в учебнике Ивлев Ю.В. Логика. Сборник упражнений. Глава 6, упражнения 5-8.

3. в учебнике Ивин А.А. Логика. Глава 7, упражнение 1-16

Обратите внимание на соотношение естественного языка и языка КЛВ. В чем преимущества языка КЛВ с точки зрения логики? Какие недостатки естественного языка в нем отсутствуют? На каких принципах строится семантика КЛВ? Позволяет ли она избежать семантических ловушек и парадоксов?

Тьюториал. В группах по 3-4 человека попробуйте передать суть главных пропозициональных связок – конъюнкции, дизъюнкции и отрицания – с помощью математических понятий максимума, минимума и разности. Для этого обозначьте истину как 1, а ложь как 0.

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

При изучении 2-го вопроса

Готовясь к лекции, студент должен

• Прочитать:

1. Бочаров В.А., Маркин В.И. Основы логики. – М., 1994. Глава 2, § 3.

2. Ивлев Ю.В. Логика для юристов. – М., 1996. Глава 3, § 3.

• Сформировать общее представление

1. Об основных законах КЛВ

2. О том, какую роль они играют в наших повседневных рассуждениях

Уделите особое внимание формальному характеру законов логики вообще, и законов КЛВ в частности. Подумайте, почему их часто называют «тавтологиями» (от греч. «то же через то же»). Почему, несмотря на свою бессодержательность, они играют такую важную роль в человеческом мышлении?

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

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

При подготовке к семинарскому занятию студент должен

• Прочитать:

1. Бочаров В.А., Маркин В.И. Основы логики. – М., 1994. Глава 2, § 3.

2. Ивлев Ю.В. Логика для юристов. – М., 1996. Глава 3, § 3.

• Изучить дополнительные материалы:

1. Мендельсон Э. Ведение в математическую логику. – М., 1971. Глава 1.

2. Непейвода Н.Н. Прикладная логика. – Ижевск, 1997. Гл. 1-3.

3. Черч А. Введение в математическую логику. – М., 1960. Введение.

• Выполнить упражнения и практические задания:

1. в учебнике Брюшинкин В.Н. Практический курс логики для гуманитариев. Практикум 6, упражнение 2.1.

2. в учебнике Горбатов В.В. Логика. Тема 3, упражнение 3.

3. в учебнике Ивлев Ю.В. Логика. Сборник упражнений. Глава 3, упражнения 2-3.

4. в учебнике Ивин А.А. Логика. Глава 7, упражнения 17-19.

Уделите некоторое время на то, чтобы проверить приведенные на лекции законы. Постройте к ним таблицы истинности. Подумайте над тем, как связаны эти законы с нашими представлениями об истине и о лжи.

Постарайтесь сформулировать несколько своих собственных законов и проверьте их общезначимость.

Чат. Обсудите проблему нормативности логических законов. Кто сказал, что наше мышление должно им подчиняться? Являются ли они субъективными или объективными? На что они больше похожи – на законы физики или на законы психологии? Может быть, они всего лишь продукт соглашения между людьми, конвенции мыслить именно так, а не иначе?

Результаты обсуждения изложите на семинаре.

При изучении 3-го вопроса

Готовясь к лекции, студент должен

• Прочитать:

1. Бочаров В.А., Маркин В.И. Основы логики. – М., 1994. Глава 2, § 4-5.

2. Ивлев Ю.В. Логика для юристов. – М., 1996. Глава 5, § 1.

• Сформировать общее представление

1. О понятии логического следования

2. О правильных умозаключениях

3. О критерии правильности для умозаключений КЛВ

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

Попробуйте проанализировать речь, выступление какого-нибудь человека (политика, общественного деятеля или просто знакомого) с точки зрения ее формально-логической структуры.

При подготовке к семинарскому занятию студент должен

• Прочитать:

1. Бочаров В.А., Маркин В.И. Основы логики. – М., 1994. Глава 2, § 4-5.

2. Ивлев Ю.В. Логика для юристов. – М., 1996. Глава 5, § 1.

• Изучить дополнительные материалы:

1. Мендельсон Э. Ведение в математическую логику. – М., 1971. Глава 1.

2. Непейвода Н.Н. Прикладная логика. – Ижевск, 1997. Гл. 1-3.

• Выполнить упражнения и практические задания:

1. в учебнике Брюшинкин В.Н. Практический курс логики для гуманитариев. Практикум 7.

2. в учебнике Горбатов В.В. Логика. Тема 3, упражнения 4-9.

3. в учебнике Ивлев Ю.В. Логика. Сборник упражнений. Глава 6, упражнения 9-10.

4. в учебнике Ивин А.А. Логика. Глава 7, упражнение 20.

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

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

Тьюториал. В группах по 3-4 человека постройте одно правильное и одно неправильное рассуждение с использованием аппарата КЛВ. Обоснуйте правильность первого, выявите ошибку во втором. К неправильному рассуждению подберите контрпример.