Химические типы», теорию которых Ж. Б. Дюма развивал с 1839 года, следуя гипотезе замещения Лорана, следует пока отделить от «механических типов» того же автора. Последние можно здесь оставить в стороне, так как они не смогли достичь того классификационного значения, которое обещал их создатель. Химические типы Дюма представляли собой прежде всего ряды химических соединений со сходными основными свойствами, в которых предполагалось одинаковое число эквивалентов, объединенных одинаковым способом. Соединения такого типа Дюма сравнивал с планетарными системами. Атомы удерживаются вместе благодаря их сродству.
«Если атом одной материи заменить другим, то останется та же система. Простой атом может быть заменен сложным атомом без изменения общей структуры. Если замена производится в соответствии с тем же числом видов и взаимное расположение атомов остается тем же, новое соединение сохраняет тот же тип».
Видно, что аналогия, которая приводит к обозначению типа, заключается в идее абстрактного чертежа в смысле Кювье-Бленвиля, который, хотя и дал название бегло связанным видам, тем не менее, уже должен был быть определен выше из области этих самых видов. Затем Герхардт в своей систематической разработке придал этому абстрактному так называемому типу более конкретное, репрезентативное значение. В этом смысле представителями этих серий «типов» стали: вода (H2O), соляная кислота (HCl), аммиак (NH3) и водород (H2); или, согласно другому расположению «основных типов»: водород (HH), вода (H2O), аммиак (NH3) и, кроме того, рудничный газ (NH4). Позже были добавлены пятый и шестой типы. Но в то же время, в отличие от морфологических CUVIER, эти химические типы превратились из типов химической конституции в типы групп химических процессов. Уже Герхардт подчеркивал, что абстрактные типы это не символы внутреннего строения, рассеяния атомов, а формулы преобразования, аналогии метаморфоз:
«Тип это просто единица сравнения для всех тех тел, которые демонстрируют аналогичные разложения, как и он, или которые являются продуктом аналогичных разложений».
Эти виды преобразования усложнились, когда Уильямсон ввел «конденсированные», а Кекуле «смешанные типы», а реализация неполного насыщения потребовала создания «остатков» или «неполных молекул». Но даже эти тонкости ничего не изменили в логической структуре этих типов, так же мало, как и споры, возникшие в связи с попытками свести четвертый тип к третьему, а также в связи с изменяемостью рациональных формул. Ведь химические соединения, представленные формулами, не сливаются плавно друг с другом, а следуют закону постоянных пропорций. Конечно, некоторые явления, которые химик привлекает в свою область, демонстрируют плавные связи. Например, рассмотренные ранее агрегатные состояния, сплавы и так далее. Но именно те виды соединений, которые химик знает как типы, имеют общий логический характер с некоторыми логическими типами. В остальном же они даже логически не находятся на одном уровне с надуманными типами организмов, которые относятся примерно к тому же периоду развития науки. Ведь только там, где они ошибочно интерпретируются как конститутивные формулы, они предстают, как мы видели, как абстрактные или конкретные символы молекулярного строения химических соединений. С другой стороны, они связаны более тесно, чем эти «чертежи», поскольку связаны количественно. По всей видимости, те же отношения сохраняются и тогда, когда наш логический вопрос ставится перед гипотезами фон Гоффа и Вислиценуса о механических условиях валентности и молекулярном строении соединений.
Столь же фиксированные типы в конечном итоге присутствуют и в подразделениях кристаллов. Однако внутри отдельных кристаллографических систем, которые могут быть жестко разделены теоретическим выведением, из «типичных» основных и наиболее общих форм путем строго непрерывных переходов могут быть выведены другие формы. Но, согласно обсуждениям второго раздела выше, это предельное рассмотрение смещает фиксированную структуру форм, которые оно приводит в плавную связь, так же мало, как предельное рассмотрение в геометрии и анализе. Биквадратичная призма остается строго отделенной от биквадратичной двойной пирамиды, хотя она получается из этой наиболее общей формы квадратичной системы, когда главной оси позволено пересекаться на бесконечном расстоянии; точно так же «тип» гексакисоктаэдра, наиболее общей формы регулярной системы, от «типа» октаэдра, простейшей базовой формы системы. Мотив для представления этих форм как типов снова заключается исключительно в их репрезентативном значении. Они не способны к преобразованию, которое превратило бы репрезентативный член фиксированных типов в логический тип текучей связности.
XI. Резюме
Общие результаты вышеприведенного исследования заключаются в следующем:
1) Помимо тех делений, члены которых могут быть строго отделены друг от друга, логика должна признавать и те, члены которых сливаются друг с другом через множество промежуточных ступеней, и члены которых находятся, таким образом, в текучей связи.
2) Текучая связь не обязательно является непрерывной. Скорее, во многих случаях она обусловлена неравномерностью корреляций коллективного эпитома, которые остаются со всеми возможными причинами для разделения.
3) Подлежащее делению целое, члены которого имеют непрерывную связь, не обязательно является родом, но может быть и индивидуальным объектом, развитием индивидуального эпитома.
4) Область классификации понятий, члены которых бегло связаны, простирается не только на естественные науки, но и на наше практическое и теоретическое познание в целом.
5) Слово «тип», которое в практическом познании имеет в основном значение репрезентативного члена, а в научном познании было первоначально использовано Блейнвилем по отношению к группам организмов в таком смысле, постепенно натурализовалось в научном употреблении как обозначение видов, находящихся в свободной связи.
6) Классификации объектов, члены которых находятся в плавной связи, поэтому уместно называть классификациями типов.
7) Существуют различные типы:
a) схематические типы (III)
б) Репрезентативные типы (IV)
в) Типы развития организмов (VI)
d) Типы языков (VIII)
д) типы периодов (IX)
8) Логическая классификация типов сама является типологическим делением коллективного эпитома, члены которого находятся в сложной текучей связи, а именно типологическим делением на репрезентативные типы.
9) Первоначально (Бленвиль-Кювье) так называемые типы зоологии и ботаники были не типами текучей связности, а просто репрезентативными родами фиксированной ограниченности (V). Химические и кристаллографические так называемые типы также не являются типами в логическом смысле этого слова (X).
10) Непрерывная текучая связь, которую математический пограничный взгляд устанавливает между типами с фиксированным ограничением, не делает эти типы типичными в логическом смысле слова (II).
LITERATUR Benno Erdmann, Theorie der Typen-Einteilungen, Philosophische Monatshefte, Bd. 30, Berlin 1894.
Принцип идентичности как принцип воображения
Глава 33
203. Тривиальное замечание, что каждый предмет представляется тем, чем он является по своему содержанию, т.е. что он представляется тождественным самому себе. Кажущаяся тривиальность, однако, таит в себе двусмысленность этой версии. С кажущимся большим основанием можно было бы сделать парадоксальное утверждение, что никакой предмет не представляется тождественным самому себе. Доказательство этого было бы простым: то, что представляется в воображении, является сознанием (43). Если бы, таким образом, каждый предмет представлялся тождественным самому себе, то сознание этого тождества с самим собой должно было бы присутствовать в каждом представлении, должно было бы быть постоянным компонентом, вечно повторяющейся характеристикой каждого предмета. Самонаблюдение, однако, кажется, решительно противоречит этому. Представляя себе дерево в восприятии, событие в памяти, страну молока и меда в воображении, полицию в абстракции, мы находим в себе воплощения характеристик, присущих каждому из этих предметов; однако никакие следы обычно не указывают нашему вниманию, что в каждом из них, кроме того, мы представляем себе тождество с собой как ту же самую характеристику.