
206
Логические основания
теории
знаков
тийно схватываемой — conceived) информации.
Специ
фикация
есть термин, обычно (и, должен сказать, к со-
жалению) употребляемый в значении увеличения глуби-
ны без изменения широты — посредством увеличения
утверждаемой информации.
Суппозиция
употребляется
в значении того же процесса, но в том случае, когда он
происходит лишь посредством мыслимого (conceived)
увеличения информации.
Детерминация
— в значении
любого увеличения глубины. Ограничение
(restriction]
—
в значении любого уменьшения широты; но особенно в
значении уменьшения широты без изменения глубины —
посредством допускаемого уменьшения информации.
Понижение (descent) — для уменьшения широты и уве-
личения глубины без изменения
информации.
1
1
Повышение
(ascent)
есть наиболее недвусмысленный тер-
мин,
денотирующий
переход от более широкого и менее глу-
бокого понятия без перемены информации, — для того же
употребляются и другие слова со сходным буквальным зна-
чением. Прямо, конечно же, выражается здесь лишь уменьше-
ние глубины, а увеличение широты
предполагается.
Расшире
ние,
прямо выражающее увеличение широты, имеет несколько
иное значение. Этот термин применяется для того открытия
(посредством увеличения информации), что предикат приме-
ним — mutatis mutandis — к субъектам, к которым мы рань-
ше не догадывались его применить. Это не подразумевает
уменьшения глубины. Так, Герберт Спенсер
[«The
Genesis of
Science», British Quarterly
Review,
July, 1854] говорит, что
изобретение барометра позволило нам расширить принципы
механики так, чтобы их можно было применять в исследова-
нии атмосферы. Математики часто говорят о расширении тео-
ремы. Так, видоизменение теоремы об отношениях плоскостных
кривых в сторону ее применения ко всем пространственным
кривым будет называться расширением этой теоремы. Рас-
ширенная теорема утверждает все, что утверждалось в изна-
чальной, но также и что-то еще. Обобщение в строгом смысле
значит открытие посредством размышления о каком-то ко-
личестве случаев применимого к ним всем общего описания.
Это то мыслительное движение, которое я в другом месте [291]
назвал формальной гипотезой, или рассуждением от опреде-
ления к определяемому. Таким образом понятое, оно оказы-
вается не увеличением широты, а увеличением глубины. На-
пример, сегодня я получил несколько книг на английском,
Grammatica
Speculativa
207
205. Рассмотрим теперь действие, которое оказыва-
ют разные виды рассуждения на широту, глубину и об-
ласть обоих входящих в заключение терминов.
В случае дедуктивного рассуждения будет при необ-
ходимости легко показать, что произойдет только уве-
личение экстенсивной отчетливости большего
термина
и
охватной отчетливости меньшего термина — без како-
го-либо изменения информации. Конечно, если заклю-
чение будет отрицательной или частной пропозицией, то
даже указанное действие не будет иметь места.
206. Индукция заслуживает более пристального вни-
мания. Возьмем следующий пример:
напечатанных индусами из Калькутты. Их изделия, не отли-
чаясь изяществом, тем не менее доставляют глазу своеобраз-
ное удовольствие. Вспоминая другие виденные мной индийс-
кие изделия, я получаю более определенное понятие о том, что
характерно для индийского вкуса. А поскольку эта идея полу-
чается в результате сравнения некоторого числа объектов, то
она будет называться
обобщением.
И тем не менее она будет не
расширением уже имевшейся идеи, но, наоборот, увеличени-
ем определенности понятий, которые я применяю к уже извест-
ным вещам. Кроме этого, собственного значения слова обоб-
щение, у него есть еще два широко употребляемых значения,
которые тем не менее, несмотря на такую их распространен-
ность, ни в коем случае не должны браться на вооружение
теми, кто сердцем привержен точности философской терми-
нологии. Конкретнее, обобщением называют частную разно-
видность расширения — расширение, в котором изменение
предиката, произведенное с целью сделать последний приме-
нимым к новому классу субъектов, далеко не очевидно —
настолько,
что оказывается частью того умственного процес-
са, который очень привлекает наше внимание. Например, те-
орема, обычно называемая теоремой Ферма, заключается в
том, что если p это простое число, и ft — любое число, не
кратное р, то
а^
1
при делении на p дает остаток 1. В то же
время теорема, называемая обобщенной теоремой Ферма, зак-
лючается в том, что если k это любое целое число, и
(pk
—
его тотиент (totient), или число чисел, которые столь же малы
как k и относятся к нему как простые, а также если α есть
простое число по отношению к fe, то
О.
ф|1
при делении на k
дает остаток 1. Вместо того чтобы называть такой процесс
обобщением, гораздо лучше было бы назвать его обобщаю-
щим
расширением. — 1893.