Эдмунд Гуссерль - Избранные работы

Таким образом, в нашей гипотетической формуле должно оставаться открытым, функционирует ли словечко «есть» в одном или в другом смысле или, что сводится к тому же самому: значение связки в нашей формуле в дизъюнктивном расширении значения охватывает различные единичные значения. То, что это расширение, это «оставаться открытым» допустимо, основывается на том, что в пределах закономерностей гипотетических связей дизъюнктивно расширенное понятие соответствующих [связке] «есть» отношений функционирует формально точно так же, как более узкие понятия. Например, как для идентифицирующего, так и для атрибутирующего и суммирующего «есть» имеет силу закон транзитивности: если верны оба предложения «если нечто есть А, оно есть В» и «если нечто есть В, оно есть С», то также верно предложение «если нечто есть А, оно есть С». И не только это: закон продолжает действовать также для дизъюнктивно расширенного «есть», поскольку связь гипотетических предпосылок указанной формы даже при различном значении связки дает в итоге соответствующее придаточное предложение следствия, в котором связка обладает одним или другим из этих значений. Подобное имеет силу также для других логических законов, которые принимаются в расчет в отношении выступающих здесь форм предложений.

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

Высказывания, что каждое представление имеет объем, что каждое представляет предмет, можно было бы в соответствии с этим интерпретировать как просто модифицированные. Их буквальный смысл (eigentliche Meinung) был бы выражен, соответственно, косвенным образом намечен в предложении: каждое представление имеет объем, представляет один или много предметов, если предположить, что относящееся к нему утвердительное экзистенциальное суждение является действительно значимым. Цель и опора этой модификации прямого смысла могла бы заключаться только в ее практической полезности, стало быть в том, чтобы каждое представление могло бы вступать в гипотетические отношения рассмотренной формы; чтобы можно было объемами, которые допускаются при [условии] предположения таких экзистенциальных суждений, которые, естественно, не должны быть обязательно сформулированными, оперировать в широкой и четко ограниченной сфере точно таким же образом, как и объемами действительными; вместе с тем, чтобы эквивалентность в точности имела формальные свойства отношения равенства, субординация [имела] формальные свойства отношения включения и т. д., таким образом, чтобы, пока не выходят за пределы области гипотетических связей, прекратить любые суждения о существовании или несуществовании соответствующих предметов и объемов, [чтобы] с высказываниями об объемах и отношениях объемов можно было обращаться точно таким же образом, как если бы они были прямыми и безоговорочными; и с этим также связано, например, чтобы наглядные образы из различных сфер могли найти применение в качестве характерных символов и технической поддержки [для] оформления суждений. Cамо собой разумеется, в этом положении дел (я подразумеваю не познание его in abstracto) заключен весьма действенный мотив для естественного возникновения и сохранения модифицированных способов высказываний как внутри, так и вне логики.

Впрочем, их [возникновение] можно отнести на счет более глубоких и общих логических причин. Если мы представим себе внутри паутины мыслей рассмотренного здесь вида экзистенциальные предложения, которые были бы необходимы, чтобы модифицированным оборотам речи и мысли придать собственный смысл (Eigentlichkeit), конъюнктивно соединенный с одним единым предположением, то мы можем столкнуться с логической закономерностью, которая имеет всецело универсальную значимость и чрезвычайную важность для понимания научной методики: а именно, что формальные законы, которые регламентируют мышление при [условии] постоянного предположения, являются теми же самыми законами, что и те, которые имеют силу для, так сказать, свободного, т. е. не ограниченного никакими предпосылками [мышления]. С психологической точки зрения, мы можем предположение, которое мы «раз и навсегда» зафиксировали или которое лежит в основе наших последующих мыслительных ходов как «само собой разумеющееся», но без ясной фиксации (это указывает на предрасположенности к определенным дополнительным размышлениям и ограничениям), во время этих ходов часто совершенно игнорировать и можем делать это также на самом деле без ущерба для истины. Любой способ переформулировки, согласно чисто логическим законам, соответствующих, при [условии] предположения, вынесенных суждений или [любой способ] выведения из них следствий, который был бы оправданным, если бы эти суждения были безусловными, имеет также силу в имеющемся случае их зависимости от скрытого или невысказанного предположения: что выведенные суждения сами, в свою очередь, зависят от него. Или, с логической точки зрения: придаточные предложения одного и того же предположения подчиняются тем же самым законам дедукции, которые имеют силу для самостоятельных предложений, каждое заключение, которое имело бы силу исходя из таких придаточных предложений самих по себе, имеет силу также при предположении, а именно в качестве сделанного при его [условии]. С этим связано то, что каждое обусловленное высказывание об истине и ложности, существовании и несуществовании, следствии и его отсутствии, действительных или фиктивных предметах и т. д. может быть истолковано точно так же как безусловное, коль скоро уверены в том, что пределы имеющегося предположения не нарушаются. Это имеет важные следствия, в особенности в системах дедукции так называемой «формальной арифметики», где гипотетические соединения в определенном порядке формальных базисных понятий и относящихся к ним аксиом служат для конституирования замкнутой математической области, «алгебры», чье содержание образует разветвляющаяся в бесконечность система подлежащих выведению в чистой дедукции, формальных следствий этих основоположений. Здесь не только так говорят, скорее даже так судят, как будто дедуцированные истины, существования, отношения, несовместимости были бы значимы безоговорочно.