Открытое общество и его враги

Действительно, вывод начинается с посылок и ведет к заключению. Определение начинается (если мы читаем его справа налево) с определяющих терминов и ведет к определяемому термину. Вывод говорит об истинности заключения при условии, что мы уже знаем истинность посылок. Определение говорит о значении определяемого термина при условии, что мы уже знаем значения определяющих терминов. Таким образом, вывод сдвигает проблему истины к посылкам, не будучи способным решить ее. А определение сдвигает проблему значения к определяющим терминам, также не будучи способным разрешить ее.

11.48

Причина того, что определяющие термины оказываются, скорее всего, менее ясными и точными, чем определяемый термин, состоит в том, что первые, как правило, более абстрактны и имеют более общий характер. Правда, это утверждение может оказаться неверным, если используются некоторые современные методы определения (например «определение через абстракцию» — один из методов символической логики). Однако это несомненно верно для всех определений, которые имеет в виду Р. Кроссман, в частности для всех аристотелевских определений (через genus и differentia specified, т. е. через род и видовые отличия).

Некоторые позитивисты под влиянием, в частности, Локка и Юма утверждают, что абстрактные термины, подобные терминам науки и политики (см. текст следующего примечания), можно определить при помощи конкретных, единичных наблюдений или даже ощущений. Такой «индуктивный» метод определения Р. Карнап назвал «конституированием» («constitution»). Однако мы можем сказать, что «конституировать» общее в терминах единичного невозможно. (См. мою книгу «The Logic of Scientific Discovery», в частности раздел 14, p. 64 и след. и раздел 25, р. 93 (русский перевод: К. Поппер. Логика и рост научного знания. М., 1983, с. 88-93, 124-126) и R. Carnap. Testability and Meaning // Philosophy of Science, vol. 3, 1936, p. 419 и след. и vol. 4, p. 1 и след.)

11.49

Речь идет о тех же самых примерах, определение которых требуют М. Коэн и Э. Нагель (М. R. Cohen, E. Naget. An Introduction to Logic and Scientific Method, 1936, p. 232 и след.) — см. прим. 46 к настоящей главе. Нам следует добавить также несколько общих замечаний о бесполезности эссенциалистских определений (см. также конец прим. 44 (1) к настоящей главе).

(1) Попытка решить ту или иную фактуальную проблему путем обращения к определениям обычно означает замену фактуальной проблемы чисто словесной. (У Аристотеля есть замечательный пример использования этого метода — см. Аристотель. «Физика», II, 6, ближе к концу.) Высказанное утверждение можно проиллюстрировать с помощью следующих примеров: (а) Существует фактуальная проблема: Возможно ли вернуться в клетку племенного строя, и если да, то какими средствами? (b) Существует нравственная проблема: Следует ли нам возвращаться в эту клетку?

Представитель философии значения, столкнувшись с (а) и (b), скажет: «Все зависит от того, какой смысл вы вкладываете в ваши неясные термины. Скажите мне сначала, каким образом вы определяете термин "возвращение", "клетка", "племенной строй", и с помощью этих определений я смогу разрешить вашу проблему». Я, напротив, утверждаю, что если решения можно добиться при помощи определений, т. е. если оно следует из определений, то решенная таким образом проблема была чисто словесной. Она была решена независимо от фактов или нравственных решений.

(2) Философ-эссенциалист, интересующийся значениями используемых нами слов, может пойти дальше того, о чем было сказано в (1), особенно в связи с проблемой (b). Он может предложить, например, такое решение проблемы (b): следует ли нам пытаться вернуться в клетку племенного строя или нет, зависит от «сущности», «сущностной характеристики» или, возможно, от «судьбы» нашей цивилизации (см. также прим. 61 (2) к этой главе.)