15
Июл

ЛОГИКА

  Автор: admin   , категория Лекции

оперирует и пустыми множествами, чего не делала традиционная логика.
Если подставлять в вышеуказанные четыре модуса пустые множества,
силлогизм будет неправильным. В одной книге (Маркин В. И. Силлогисти-
ческие теории в современной логике. М., 1991) есть упоминание о модусе
четвертой фигуры Camenop, отсутствующем в списке традиционных 19
модусов. Словом, в этом следовало бы разобраться.

Силлогизм — это своего рода механизм извлечения из посылок того
знания, которое там скрыто. Тем самым неявное становится явным. Но
что в суждениях (и понятиях) содержится неявно? Кювье когда-то писал:

«если… кто-нибудь видит след двукопытной ноги, то он может заключить,
что животное, оставившее этот след, жвачное… Один такой след открыва-
ет наблюдателю и форму зубов, и форму челюсти, и форму позвонков, и
форму всех костей ног, плеча, таза только что прошедшего животного».
Кювье, говорят, заявлял: дайте мне зуб ископаемого животного и я вос-

Зегет В. Элементарная логика. М., 1985, с. 161.

105

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

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

Мы применим метод, по-видимому, менее субъективный — сравним
схемы объемов суждений (посылок).

На схемах у нас будет два вида штриховки. Одна — косая, обозначаю-
щая объемы суждений (посылок), другая — прямая, обозначающая объем
среднего члена, т. е. того, что на обеих схемах взаимозаменяемо. Напом-
ним фактические термины фигур силлогизма:

fl

Si-рп ш-pi

s^-ы ы-^

S^-Si Р,-Р,

Средний термин в каждой из посылок выступает в роли субъекта или
предиката. Следовательно, с М находятся в_каких-то отношениях (пересе-
каются, совпадают, включают) S и Р (или Р) суждения. А тем самым они
находятся в каких-то отношениях друг с другом. Силлогизм — это не что
иное, как механизм вскрытия этих отношений. М может выступать в по-
сылках в следующих ролях:

1) для обеих субъект (третья фигура);

2) для обеих предикат (вторая фигура);

3) для первой субъект, для второй предикат (первая фигура);

4) для первой предикат, для второй субъект (четвертая фигура).
Заметим, что неправильными являются еще и те модусы, которые при-
водят к противоречивым и неопределенным заключениям: S и Р и Р или
S то ли Р, то ли Р.

1.2.1. Первая фигура. В этой фигуре традиционная логика выделяет че-
тыре правильных модуса. Если присмотреться к схемам объемов посылок
силлогизмов этой фигуры, станет очевидным, что традиционные правиль-
ные модусы получаются в том случае, когда объемы той и другой посылок
включены в средний термин (заштрихованы двойным образом) и когда
при этом S; может быть определено через Р] однозначно, непротиворечи-
во. По-видимому, только такие выводы воспринимаются на слух как пра-
вильные и приемлемые с точки зрения правил и норм общеупотреби-
тельной речи. Но это не значит, что из посылок следуют только они. Срав-

106

нение схем посылок показывает, что выводов, которые следуют из посы-
лок с необходимостью (т. е. правильные выводы), более четырех. Рассмот-
рим каждую пару посылок отдельно:

На этой схеме мы видим, что сред-
ний термин представляет собою S]P|
и SiPi — S дР;,. То есть эти две формулы
S Р’/^ ~1 — одно и то же, они взаимозаменяе-

Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96

Запись оставлена Воскресенье, Июль 15th, 2012 в 8:47 пп в категории Лекции. Вы можете следить за комментариями по RSS 2.0 комментариям. Комментарии и пинги закрыты, извините.

Комментарии закрыты.