Определение «Вольво» – автомобиль семейного класса» не является определением через род и видовое отличие. Определение через род и видовое отличие обязано быть исключительным, а именно когда «семейный класс» рассматривается как видовое отличие, то оно должно выделить вид (в данном случае «марку») автомобиля из всех других видов. Здесь же не идет речь об уникальности вида: могут сказать «Форд»– автомобиль семейного класса». Если мыслить это определение как определение через род и видовое отличие, то «Вольво» и «Форд»– одно и то же. Но я не представляю себе дело таким образом. Меня совершенно не смущает ситуация, при которой:
«Вольво» | класс (семейный) |
«Форд» | класс (семейный) |
Меня ничем не смущают следующие соответствия «число»:
«0001» | «1» |
«0010» | «2» |
«0001» | «3» |
«0001» | «4» |
и т. п.
Получается, что 1=3=4. Ну и что?
Но тем не менее сами соответствия являются уникальными т. к.
0001 | «1» |
0001 | «3» |
0001 | «4» |
несомненно, разные числа.
В самом деле числа «1» – 0001» и «3» – 0001» являются различными, хотя согласно математическим операциям, которые могут над ними проводиться это одно и то же число.
В математике не существует понятия о таком виде «чисел». Я назову это соответствие
Соответствие:
«Вольво» | класс (семейный) |
«Форд» | класс (семейный) |
является стихийным, тогда как соответствие:
«Вольво» | класс (семейный) |
«Бентли» | класс (представительский) |
является деликатным.
На основании вышеизложенного, полагаю, категория соответствия стала ясна. Я считаю соответствие более фундаментальной идеей, чем общая идея и, хотя и не могу этого доказать, а сделать это только демонстративным, считаю, что идея соответствия лежит в основании того, что называют общей идеей. Соответствия же бывают деликатными и стихийными. Итак, соответствием я называю то, что философы называют родом. Аргументом соответствия я называю то, что называется видом. Значением соответствия я называю то, что философы называют видовым отличием.
Переход от стихийного соответствия к деликатному может быть осуществлен двумя путями. Во-первых, если речь идет об одном соответствии – через дифференциацию значения соответствия. Если возникает ситуация при которой оказывается, что аргументам «Вольво» и «Форд» соответствует одно значение – семейный класс, то следует добавить что-то еще, чтобы эти представительские классы были бы различными. Во-вторых соответствие может быть делимо, т. е. может распасться на два соответствия. Так, например я могу ввести соответствия «шведский автомобиль» и «американский автомобиль». Это будут два соответствия и тогда соответствия «Вольво»– семейный класс» и «Форд»– семейный класс» не будут представлять собой проблемы в смысле деликатности.
Скажут: «вы все равно никуда не денетесь от высказываний вроде «HP LaserJet 1020» это принтер». Пусть так, но я интерпритирую его не иначе, как соответствие, а именно соответствие тождества:
HP LaserJet 1020 | HP LaserJet 1020 |
Философы интерпритируют высказывание «HP LaserJet 1020» это принтер» как обращение к более общему и более фундаментальному – к общей идее. Я в ответ на это скажу: простите, но прежде всего должен заметить вам, что «HP LaserJet 1020» это прежде всего «HP LaserJet 1020». «HP LaserJet 1020» это сначала «HP LaserJet 1020», а только потом, на основании этого – «принтер».
Как видно из вышесказанного я в конце концов примирился с классическим типом определения через род и видовое отличие, но понимаю их совершенно особым образом. Если говорится: «Вольво»– автомобиль семейного класса», то говорится, я полагаю, следующее: «Вольво» это «Вольво», но ему поставлено в соответствие «семейный класс» и это соответствие как для «Вольво» и «семейного класса» так и другие мы называем «автомобиль». Дедуктивное определение понимается мною как индуктивное и является не определением понятия, а заданием соответствия.
Функция и инструкция.