XIII в. И расцветшими в XIV в.

Из логиков XIII в. стоит упомянуть англичанина УИЛЬ-

яма Шервуда (Sherwood, или Shyreswood), который ро-

дился в начале века и умер между 1266 и 1271 гг. Неко-

торое время он преподавал в Оксфорде. В работе Syncate-

gorematc^ он исследовал свойства и употребление синка-

тегорематических терминов (логических констант), таких,

как "не", "если"-и "или". Слово "синкатегорематический",

по-видимому, восходит к стоикам, использовавшим его

для обозначения тех слов, которые не могут функциони-

ровать как субъект или предикат в высказывании, не вы-

полняют функции референции и значимы только благода-

ря их логическим функциям в высказываниях. УИЛЬЯМ

Шервуд написал также "Введения в логику" Qntroductiones

in Logicam) в шести частях^". В пятый трактат, посвящен-

ный свойствам терминов, он включил тему suppositio, имея

в виду функцию подразумевания объекта или объектов,

присущую самостоятельному термину (например, имя су-

ществительное "человек" подразумевает людей)*". Еще

один из трактатов Уильяма, De insolubutbus, посвящен па-

радоксам вроде того, который вытекает из предложения

"то, что я говорю, ложно", когда это предложение являет-

ся моим единственным высказыванием, т. е. является пред-

ложением, относящимся к самому себе. Под термином

"неразрешимое", как он используется в этой связи, сред-

невековые логики понимали не собственно неразрешимое,

но, скорее, трудноразрешимое.

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

в XIII в. трактат Петра Испанского Surmnulae Logicales. Уро-

женец Лиссабона, Петр учился в Париже Среди его учите-

лей были Альберт Великий и (вероятно) УИЛЬЯМ Шервуд. В

1245 Или 1246 г. Он покинул Париж и некоторое время пре-

подавал медицину и занимался врачебной практикой в Сие-

не. Наконец, он стал папой Иоанном XXI и именно в этом

качестве потребовал от Тампье, епископа Парижского, за-

няться исследованием учений, получивших распространение

в Париже на факультете искусств. Умер он в 1277 г.

Общепризнано, что как логик Петр Испанский усту-

пал Уильяму Шервуду. Но его трактат Summulae Logicales

стал излюбленным учебником. Логика, утверждает автор,

есть искусство искусств и наука наук, поскольку является

приготовлением ко всем другим наукам. Она есть искусство

рассуждения, но рассуждение должно вестись через посред-

ство языка. Поэтому изучение логики должно начинаться с

исследования терминов и их функций. Петр обсуждает ряд

тем, однако мы ограничимся лишь указанием на несколько

моментов, касающихся его трактовки suppositio. Одну из

форм последней он называет suppositio discreta. Это выраже-

ние указывает на функцию термина, который подразумева-

ет одного индивида, как в высказывании "Сократ - чело-

век". Раздельную суппозицию, таким образом, надо отли-

чать от общей суппозиции (suppositio commums), которая

встречается, например, когда субъектом высказывания вы-

ступает универсальный термин, как в высказывании "чело-

век смертен".

Общая суппозиция подразделяется на естественную и ак-

цидентальную. Такой термин, как "человек", есть знак с оп-

ределенной обозначающей функцией, или значением (sigm-

ficatio). Благодаря этому значению термин способен в вы-

сказывании подразумевать те вещи, которым он может быть