МЕТОДИЧЕСКИЕ УКАЗАНИЯ К ВЫПОЛНЕНИЮ

ЛОГИКА

 

МЕТОДИЧЕСКИЕ УКАЗАНИЯ К СЕМИНАРСКИМ ЗАНЯТИЯМ

ПО ЛОГИКЕ

 

При подготовке к первому семинарскому занятию по теме «Логика высказываний» Вы должны, во-первых, научиться переводить предложения русского языка на язык логики высказываний, а во-вторых, уметь строить таблицу истинности для сложного высказывания. Обратите внимание, что первая операция требует не формальных знаний, а понимания неявного смысла предложений русского языка. Для тренировки разберем несколько достаточно простых задач. Предположим, что у нас есть три стакана, в каждом из которых налито либо молоко, либо кефир. Запишите в символической форме выражение: «Молока нигде нет».

Решение: пусть а – высказывание «Молоко в первом стакане»; b – высказывание «Молоко во втором стакане»; с – высказывание «Молоко в третьем стакане». Тогда соответствует высказыванию: «В первом стакане молока нет». Но так как пустым стакан быть не может, то отсутствие в нем молока соответствует наличию в нем кефира. Следовательно, – это высказывание «Кефир в первом стакане», – высказывание «Кефир во втором стакане»; – высказывание «Кефир в третьем стакане». Тогда высказывание «Молока нигде нет» по-другому можно записать в виде «В первом стакане кефир, во втором стакане кефир и в третьем стакане кефир». Или в символическом виде: ÙÙ. Теперь попробуйте решить следующую задачу:

Запишите в символической форме высказывание: «Во всех стаканах налиты одинаковые жидкости».

Решение: Очевидно, что данная фраза соответствует либо такому положению дел, когда во всех стаканах молоко (в символическом виде это записывается так: aÙbÙc); либо такому, когда во всех стаканах кефир (символически это можно записать следующим образом ÙÙ). Следовательно, исходное высказывание имеет вид (aÙbÙc )(ÙÙ). Знак строгой дизъюнкции употребляется потому, что не может быть во всех трех стаканах налиты и кефир и молоко одновременно.

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

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

Решение: Число таких переменных на первый взгляд равно шести. Однако, тот вариант, когда в первом (или во втором стакане) ничего не налито, не требует для своего обозначения специальных букв. Дело в том, что если фразы «Молоко в первом стакане» и «Кефир в первом стакане» обе одновременно будут ложными, то тогда в первом стакане ничего не налито, и фраза «Первый стакан пустой» – истинна.

Таким образом, мы можем ограничиться всего четырьмя переменными. Пусть а – высказывание «Молоко в первом стакане»; b – высказывание «Молоко во-втором стакане»; с – высказывание «Кефир в первом стакане»; d – высказывание «Кефир во втором стакане». Исходная таблица истинности в этом случае будет иметь такой вид (справа от переменных, в каждой строчке указан один из девяти вариантов фактического положения дел, соответствующего данным значениям переменных):

 

a	b	c	d	Фактическое положение дел
и	и	л	л	В обоих стаканах налито молоко
и	л	л	и	В первом стакане молоко, а во втором – кефир
и	л	л	л	В первом стакане молоко, второй стакан – пустой
л	л	и	и	В обоих стаканах налит кефир
л	и	и	л	В первом стакане кефир, а во втором – молоко
л	л	и	л	В первом стакане кефир, второй стакан пустой
л	л	л	л	Оба стакана – пустые
л	и	л	л	Первый стакан пуст, во втором – молоко
л	л	л	и	Первый стакан пуст, во втором – кефир

 

Как показывает практика, наибольшую сложность у студентов при изучении темы «Логика предикатов» вызывает простой категорический силлогизм. Как известно, теоретически возможно задать ровно 8 категорических суждений (с использованием кванторов общности и существования), связывающих при помощи связок «есть» или «не есть» объемы двух понятий. Однако предложения «Некоторые А есть В» и «Некоторые В есть А» эквивалентны друг другу. Также эквивалентны друг другу предложения «Все А не есть В» и «Все В не есть А». Таким образом, при решении задач мы можем ограничиться рассмотрением всего лишь шести типов предложений.

 

1. Все А есть В.

 

2. Все В есть А.

3. Все А не есть В.

 

4. Некоторые А есть В.

 

5. Некоторые А не есть В.

 

6. Некоторые В не есть А.

 

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

1. Ввести символические обозначения.

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

3. Записать 6 предложений, которые могут являться выводами.

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

5. Те суждения, к которым нельзя построить контрпример, являются выводами; выделите их.

6. В случае необходимости объедините несколько выводов в один и запишите окончательный ответ. Рассмотрим применение этого метода на трех конкретных примерах.

ПРИМЕР 1

 

Исходные посылки:

 

Все ослики – козлики.

 

Все свинки – козлики.

 

Введем символические обозначения. Пусть А – множество осликов, В – множество козликов, С – множество свинок. Тогда наши предложения будут иметь вид:

Все А есть В.

Все С есть В.

Обратите внимание, что то множество, которое дважды участвовало в посылках, в выводе должно исчезнуть. Следовательно, в нашем случае в выводе участвуют лишь множества, обозначенные буквами А и С. Запишем все 6 гипотетических выводов, а справа от каждого из них нарисуем контрпример.

 

 

1. Все А есть С.

 

2. Все С есть А.

 

 

3. Все А не есть С.

 

 

4. Некоторые А есть С.

 

 

5. Некоторые А не есть С .

 

 

 

6. Некоторые С не есть А.

 

Как вы видите, к предложениям 1, 2 и 4 подошел один и тот же рисунок. Кроме того, к предложениям 3 и 5 в качестве контрпримера также использован один и тот же рисунок. Поэтому, в дальнейшем, мы не будем рисовать один и тот же рисунок по нескольку раз, а с помощью стрелок будем указывать: контрпримером для каких именно предложений он является.

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

 

ПРИМЕР 2

 

Все ослики – свинки.

 

Все козлики – не свинки.

 

Пусть А – множество осликов; В – множество свинок; С – множество козликов. Тогда наши посылки имеют вид:

Все А есть В.

Все С не есть В.

 

1. Все А есть С.

 

2. Все С есть А.

 

3. Все А не есть С.

4. Некоторые А есть С.

 

5. Некоторые А не есть С.

 

6. Некоторые С не есть А.

К предложениям 3, 5 и 6 контррисунков привести нельзя. Это выводы. Но два из этих выводов – слабые и лишь один – «Все А не есть С» – сильный. Дело в том, что если он выполняется, то очевидно, что выполняются и выводы «Некоторые А не есть С» и «Некоторые С не есть А» (но не наоборот). Поэтому в ответе нужно записать следующий вывод: «Все ослики – не козлики».

 

ПРИМЕР 3

 

Все слоники – мюмзики.

 

Все мюмзики – козлики.

 

Пусть А – множество слоников, В – множество мюмзиков, С – множество козликов. Тогда исходные посылки можно записать в виде:

 

Все А есть В.

 

Все В есть С.

 

1. Все А есть С.

 

 

2. Все С есть А.

 

3. Все А не есть С.

 

4. Некоторые А есть С.

 

 

5. Некоторые А не есть С.

 

 

6. Некоторые С не есть А

 

Таким образом, у нас получилось два вывода. Но вывод «Некоторые А есть С» – слабый, по отношению к выводу: «Все А есть С». Следовательно, из исходных посылок можно сделать вывод: «Все слоники – козлики».

ПЛАНЫ СЕМИНАРСКИХ ЗАНЯТИЙ

 

ТЕМА 1. Высказывания – 2 часа.

План.

1. Высказывания и его виды.

2. Таблица истинности и ее смысл.

3. Метод «вычеркивания строчек».

4. Основные формулы логики высказываний.

ТЕМА 2.Силлогистические выводы – 2 часа.

План.

1. Простой категористический силлогизм и его структура.

2. Решение задач с помощью кругов Эйлера.

3. Энтимема и ее применение в юриспруденции.

4. Полисиллогизм.

 

ТЕМА 3.Логика и общение – 2 часа.

План.

1. Аргументация как логико-коммуникативная процедура.

2. Вопрос и его суггестивная функция.

3. Структура аргументационной речи.

4. Виды аргументов.

МЕТОДИЧЕСКИЕ УКАЗАНИЯ К ВЫПОЛНЕНИЮ

КОНТРОЛЬНЫХ РАБОТ

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

 

Последняя цифра номера зачетной книжки	Номер Вашего варианта	Номера заданий контрольной работы, которые Вы обязаны выполнить
		10; 20; 30; 40; 50; 60
		1; 11; 21; 31; 41; 51
		2; 12; 22; 32; 42; 52
		3; 13; 23; 33; 43; 53
		4; 14; 24; 34; 44; 54
		5; 15; 25; 35; 45; 55
		6; 16; 26; 36; 46; 56
		7; 17; 27; 37; 47; 57
		8; 18; 28; 38; 48; 58
		9; 19; 29; 39; 49; 59

 

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