Глава 1. Интервал абстракции как проблема методологии 


Мы поможем в написании ваших работ!



ЗНАЕТЕ ЛИ ВЫ?

Глава 1. Интервал абстракции как проблема методологии



Педантичность во многом противоположна

игре словами.

(Стивен Бар, “Топологические Эксперименты”)

В моих статьях так часто встречается выражение “интервал абстракции” без явных претензий на определение, что это лингвистическое новшество можно принять как весёлую игру словами, придуманную лишь для того, чтобы запутать читателя. Между тем, у того, кто придумал это выражение, намерения были самые серьёзные. А придумали его – Феликс Лазарев и я в 1960 году в совместной статье, которую мы тогда же предложили журналу “Вопросы философии”. Эта статья не была напечатана по основанию действительно весьма забавному: редакция попала в ситуацию “буриданова осла”— половина рецензентов хвалила одну половину статьи, но порицала другую; другая половина рецензентов поступала в точности наоборот.

С тех пор Лазарев и я, каждый по-своему, старались внедрить это выражение в тезаурус научных понятий, оставляя за собой право действовать вполне самостоятельно, хотя в частых совместных беседах мы были единодушны в признании его полезности и постоянно работали над его содержанием, чтобы уяснить хотя бы для самих себя некоторые проблемы теории познания, которые нам тогда казались особенно важными[23]. Справедливости ради отмечу, что наш философский интервальный анализ зародился за шесть лет до того, как вышла первая монография по интервальной математике, которая сделала “интервал” основным предметом теории [24]. Только речь в ней шла, конечно же, не об интервалах абстракции.

Увы, как я теперь вижу, ввести эвристически ценное философское понятие легче, чем претворить в теоретическую разработку соответствующую ему идею. Ведь осуществление такой идеи похоже на цепную реакцию, когда приходится “передумывать” многие другие, уже привычные, понятия. Более того, философские идеи редко поддаются прямой “аппаратной реализации”, и философия не принадлежит к дисциплинам, методы и понятия которых пригодны для такой реализации. Но при любом начинании научных изысканий полезно всё же помнить слова Пьера Бейля, что точное и полное объяснение самого ничтожного предмета обязательно ведёт к высшей метафизике, а метафизика, как выразился уже другой учёный, может быть лучше и полнее всего определена как изучение главных абстракций человеческого ума [25].

В известном смысле теория интервала абстракции сравнима с аналитической теорией языка. Целью последней является выявление “типовых” структур предложений, их элементов и возможных отношений этих элементов. Цель первой – выявление типовых структур методов абстрагирования, их элементов и отношений между этими элементами. Идея интервала абстракции – это идея философского осмысления онтологических и гносеологических предпосылок неуниверсальности абстрактных моделей. При этом понятие интервала абстракции помогает оценить и выявить эти структуры с наибольшей полнотой, поскольку именно “интервальность” лежит в их основе.

1.1. Интервал абстракции. Между тем, указанная выше трудность определения этого понятия, по-видимому, вполне объективная и относится к тому случаю употребления понятий, когда бывает необходимо оставаться, так сказать, “контролируемо неточным” (Ст. Бар). А это случается даже в точных науках, таких, скажем, как математика.

И хотя, как отметил Кант, “и в метафизике, и в других науках можно многое с достоверностью сказать о предмете, не давая его дефиниции” [26], тем не менее любая, в том числе и контролируемая, неточность или неопределённость понятия должна быть как-то восполнена контекстом изложения. Применительно к понятию “интервал абстракции” таким восполнением может служить только объяснение его “появления на свет”.

Итак, начну с того, что интервальная концепция сложилась прежде всего на фактах независимости в мире событий и явлений. Можно предположить, что с понятия о независимости вообще начинается современная наука. Припомним хотя бы историю с доказательством независимости пятого постулата (Евклида), историю с постулатом о независимости от той или иной инерциальной системы отсчёта основных законов механики (принцип относительности Галилея), доказательство независимости скорости света от скорости движения источника света (опыт Майкельсона – Морли).

Эти и другие примеры преподают для философии следующий урок: постулат диалектической философии о всеобщей связи явлений, о том, что каждая “вещь (явление, процесс etc.) связаны с к а ж д о й”[27], необходимо отбросить как теологический, заменив его научно обоснованным утверждением о существовании независимых явлений. Отсюда, как следствие, “одной из важнейших задач философии естественных наук... является выяснение и уточнение тех предпосылок, при которых можно какие-либо данные действительные явления рассматривать как независимые”[28].

Почти сорок лет назад, когда Ф.В. Лазрев и я продумывали концепцию интервальной теории познания, мы сформулировали шуточный принцип этой теории: “всё, что можно оторвать, должно быть оторвано, не следует отрывать того, чего нельзя оторвать”. Я думаю, этот принцип совершенно ясен тому, кто принимает абстракцию не только как метод намеренно неполного знания, но и как единственно доступный нам метод исчерпывающего “познания по частям”. Но для этого необходима гипотеза объективной независимости явлений.

В интервальной концепции эта гипотеза оформилась в логический постулат посторонней посылки: прибавление или удаление посторонней посылки не изменяет следствия. При этом вопрос о доказательстве постороннего уточняется следующей теоремой: “Если С является следствием в контексте событий А & В и в контексте событий А & В, то С является независимым от событий В и В, а последние, соответственно, – посторонними по отношению к событию С “.

Справедливости ради напомню, что эта теорема уже была указана Ст. Джевонсом под именем “отвлечение безразличных обстоятельств”[29], хотя, размышляя над интервальным смыслом процесса абстракции, я открыл её для себя независимо от Джевонса, придав ей ещё иную форму логического закона:

((А & В Й С) & (А Й С))Й(АВ Й С) [30].

По существу эта вторая форма закона посторонней посылки формально воспроизводит неформальную мысль Аристотеля: “присутствие или отсутствие чего незаметно, не есть часть целого”[31].

Как нетрудно заметить, теорема о посторонней посылке (при отсутствии закона ex falso sequitur quodlibet) очень естественно локализует противоречие как средство дедукции, указывая на его посторонний характер по отношению к следствиям из действительных посылок. В самом деле, имея противоречие и получив вывод В из G (при любых непротиворечивых G и В), мы можем преобразовать этот вывод в два других с посылками G & А в одном и G & А в другом, что вернёт нас к исходному пункту, подтвердив (в силу теоремы о посторонней посылке), что мы не извлекли из допущенного противоречия никакой новой информации. С другой стороны, имея противоречие и построив два аналогичных вывода, мы отбросим оба члена противоречия как посторонние посылки.

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

Тем не менее, выяснение того, какие из многочисленных свойств объекта являются посторонними – это по существу главный вопрос абстракции: пренебречь можно только посторонним, но посторонним необходимо пренебречь, как в гносеологическом контексте, когда просто “мешают трудности, не относящиеся к делу” [32], так и в семиотическом контексте “установления и прослеживания связей”, когда речь идёт об обосновании научной теории [33].

Очевидно, что этот главный вопрос не совпадает с традиционным философским вопросом о существенных и несущественных свойствах хотя бы потому, что отвлечение от постороннего предполагает направленность внимания не на объект сам по себе, а на его роль в определённой гносеологической ситуации, когда явно фиксируются цели, средства и объективные условия для области значения абстракции. Вопрос о границах этой области не всегда допускает априорный ответ. Но он естественно приводит к вопросу об интервале абстракции – либо как количественной характеристике меры свободы отвлечения, либо как меры информационного содержания абстракции, совпадающего с набором общих свойств класса её возможных моделей. Таков, в частности, случай основных абстракций какой-либо формальной теории, которые очерчивают и замыкают круг возможных моделей этой теории, независимо от их онтологического статуса и индивидуальных особенностей, хотя обычное осмысление теории, включая её аксиомы и прочие принципы, идёт, как правило, иным путём – путём интерпретации этой теории в заведомо данных моделях. Типичный пример – осмысление решений обыкновенных дифференциальных уравнений или уравнений в частных производных как законов природы посредством предварительного выбора “краевых условий”.

Вопросы о релевантном и постороннем, об общности и интервале абстракции нередко решаются одновременно. Например, обобщение законов движения на область электромагнитных явлений “переводит” фактор конечности скорости материальных взаимодействий из постороннего (для классической механики) в релевантный (для релятивистской механики), чем одновременно уточняются и границы применимости (интервал) абстракций классической механики и, в частности, интервал её гносеологической точности [34]. При этом отношение между этой теорией и её моделями определяется метрической организацией опыта, поставляющего эти модели, а экстраполяция её абстракций на новые (другие) модели требует, в свою очередь, улучшения измерительной техники, что рано или поздно приводит к границам экстраполяции.

Разумеется, когда я связываю понятие интервала абстракции с понятием граничных условий, я имею в виду не те границы, которые обнаруживаются после того, как в процессе применения абстракции (обычно экстраполяции) для неё обнаруживается контрпример. Нет, я имею в виду прежде всего тот случай, когда границы абстракции можно заведомо предусмотреть, когда информация об этих границах представлена теоретически или может быть выявлена одним логическим анализом абстракции, как, например, в случае распознавания области определения функции по одному только аналитическому выражению этой функции. Только такие границы, по определению, я называю интервалом абстракции, придавая таким образом этому понятию собственно информационный смысл.

Можно предположить (впрочем, без явной уверенности), что понятие интервала абстракции в этом смысле родственно гегелевскому понятию “абстрактное значение”, которое в самом себе обладает завершённостью и выражает своего рода “долженствование” собственной реализации, требование объективировать своё субъективное значение. Переход к модели абстракции, её интерпретация – это и есть такое объективирование.

Конечно же, данное толкование термина “интервал абстракции” не единственное. Лазарев, например, склонен придавать этому термину онтологический смысл, называя интервалом абстракции “объективные границы, определяющие рамки однозначной применимости той или иной абстракции”[35]. Однако такое понимание интервала абстракции ничем по существу не отличается от его толкования как области истинности абстракции, а все разговоры о границах истинности абстракции до интервального подхода к этой проблеме ограничивались именно этим и не касались вопроса определённости абстракции на области её значений. Между тем, не одно и то же, идёт ли речь об области истинности абстракции или об области её значений. Здесь та же трудность редукции, как и в случае экстенсионала и интенсионала понятия.

Пусть, например, теория задана двумя абстрактными условиями:

1. " х (хRх),

2. " х " у " z (хRy & yRz Й xRz),

где R – это имя некоторого отношения, а переменные x, y, z пробегают некоторый класс объектов (универсум возможной модели теории).

Ясно, что в этом случае ни подразумеваемый класс, ни названное отношение не определены однозначно и, следовательно, речь здесь не может идти об однозначности интервала абстракции в его онтологическом смысле. Анализируя подробнее систему аксиом 1 и 2, нетрудно убедиться, что она описывает класс синтаксически неразличимых отношений порядка. Но мы можем пойти значительно дальше в исследовании того, что нам доступно только “изнутри” этой системы. Так, обе аксиомы a priori говорят, что отношение R не может быть отношением тождества, эквивалентности, различия или нестрогим порядком. Следовательно, если универсум возможной модели не пуст, то он не может быть одноэлементным. Но утверждать, что этот универсум содержит только два элемента или что число элементов больше двух, вообще говоря, тоже нельзя – их по меньшей мере два. Добавление новых различных элементов сохраняет истинность аксиом. Но она сохранится и в том случае, если новые элементы (например, начиная с третьего) мы станем отождествлять (не различать) с любыми из уже известных. Такого рода отождествления, разумеется, не определены заранее, их произвольный характер допустим лишь до тех пор, пока мы находимся внутри интервала абстракции. Но когда определённая онтология для абстракции выбрана, разрешаются уже не любые отождествления.

Из сказанного непосредственно и опять-таки a priori вытекает некатегоричность приведённой выше системы аксиом. Эта информация заключена внутри самой системы (теории), хотя, оставаясь исключительно в рамках теории, нельзя привести ни одного примера неизоморфизма её возможных моделей: любые попытки построения таких моделей требуют обращения к каким-либо внешним фактам, выходящим за границы абстракции. Теория указывает только на возможность их существования. Над интервалом абстракций данной теории её модели могут быть конечными или бесконечными, но внутри интервала абстракций нет средств, различающих мощности её моделей.

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

Такой “подход от абстракции” к онтологии понятия “мир” делает относительным противопоставление действительного мира возможным мирам, поскольку сама онтология оказывается функцией наших гносеологических установок. Вместе с тем на этом примере, по моему, ясно, почему и в каком смысле понятие “универсум теории” является гносеологическим понятием и почему вообще имеет смысл говорить об универсуме теории независимо от понятий “универсум структуры” или “универсум модели”, хотя в естественных науках такое разделение универсумов не принято, поскольку “картины мира” здесь обычно всецело определяются как образы той или иной теории. Но в логике мы редко встречаем такую “информационную однозначность”.

Рассмотренное выше понятие об интервале абстракции определяется, как легко заметить, не объективными условиями “восхождения” от конкретного к абстрактному, а только собственной логикой абстракции, которая отражается в её синтаксической или смысловой структуре. Но именно это обстоятельство и позволяет естественным образом заявить об абсолютном гносеологическом содержании абстракций, которое, говоря словами Лобачевского, будучи однажды приобретённым, сохраняется навсегда. Кроме того, термин “интервал абстракции” в таком его истолковании приобретает известную эвристическую ценность, характеризуя содержание абстракции как некоторое требование, “вынуждающее” если и не сами модели, независимые от абстракций, то весьма общие “модельные условия”, в которых отражается замысел абстракции.

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

Вторая основная идея, из которой выросла интервальная концепция, – это идея относительности. И здесь опять пришлось вступить в противоречие с главной чертой диалектического метода: объективность рассмотрения – это “вещь сама в себе”. При этом невозможно было обойти молчанием замечание Эйнштейна о том, что тезис о реальности “самой по себе” (независимой от каких-либо наблюдений) не имеет смысла внутренне ясного утверждения; он обладает только программным характером и нужен для того, чтобы избежать солипсизма [37].

Тут стоит упомянуть по крайней мере три разных смысла, которые мы вкладываем в термин “относительность”.

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

Но, принимая относительность как неизбежный постулат познания (хотя бы в том элементарном значении, что всё познаётся в сравнении, и следовательно, – в отношении одного к другому), желательно избежать “плюрализма истины” в его чисто субъективистском смысле, а с объективностью истины связать не только её программный характер.

Хотя тема относительности, никогда не покидала пределы философского поля зрения, собственно научную прописку она получила заботами современной физики, которая начала с того, что способ описания сделала неотъемлемой частью физической теории, утвердив относительность знания к средствам наблюдения. Такая гносеологическая роль относительности (относительность “с точки зрения”) вполне соответствует практике эксперимента, а также “аппарату теоретической физики, уравнения которой пишутся в тех или иных координатах”[38]. Она соответствует и тому образу мысли, который утвердился в начале 30-х годов, когда центральным для физической науки стал вопрос о моделях математических абстракций новой (волновой, квантовой) механики. Чтобы избежать употребления “пустых” абстракций, постулировали принцип наблюдаемости физических величин. Он призван был одновременно оправдать и ограничить игру воображения рамками естественных условий наблюдения, нашим макроскопическим опытом. Заглядывать за кулисы этого опыта, вообще говоря, не запрещалось, но возможность в принципе указать наблюдаемые макроскопические параметры считалась необходимой для реальной характеристики физических явлений.

Конечно, здесь речь не о принципе относительности (в узком смысле), из которого мы извлекаем (как следствие) абсолютный характер физических явлений (в смысле их абсолютной неразличимости относительно инерциальных систем отсчёта) [39]. Речь главным образом о такой относительности, где способы описания неотделимы от условий наблюдения и становятся частью физической реальности. По существу только в этом случае возникает “плюрализм истины”, которая становится истиной “с точки зрения”. И если мы принимаем, что только законы природы инвариантны относительно определённого вида (теоретически допустимых) преобразований, нам ничего не остаётся другого, как разделить реальность на ту, что существует “сама по себе” (законы природы), и ту, что существует только “для нас” как кантовский феномен. Таким образом, вопрос об объективности законов природы дополняется вопросом об объективности всех других явлений нашего познания, являющихся своего рода функциями от положения наблюдателя, от его системы отсчёта.

В связи с этим последним вопросом замечу, что если у каждого отдельного наблюдателя “самого по себе” система отсчёта может быть своя, то в связке “наблюдатель – теория” выбор системы отсчёта естественно ограничивается постулатами теории. Точка зрения (логика) наблюдателя поглощается точкой зрения (логикой) теории. В результате относительность научного познания всегда относительна к постулатам этого познания, которые сохраняют абсолютный характер в интервале принятых при этом абстракций. Признание этого факта, вообще говоря, не означает признания реальности, независимой ни от каких описаний этой реальности. К примеру, теоретико-множественная реальность в математике существует только как модель той или иной аксиоматической системы теории множеств и в этом смысле (в отличие от физической реальности) не является однозначной. Этот факт порождает общий вопрос о релевантности тех или иных описаний, о том, какие описания “к делу”, а какие нет. При этом в теоретическом плане решающую роль приобретает система принятых основных абстракций, а в методологическом – требование их обоснования, их анализ и анализ абстрагирующей деятельности вообще.

Вместе с тем известно, что традиционное философское требование объективности познания соответствует такой гносеологической установке, согласно которой в конкретном истолковании научных фактов аргументация от способов описания является посторонней, своего рода логической ошибкой ad hominem, поскольку кажется, что релятивисткая установка возрождает софистический “критерий основания” – мнение человека есть мера истины. А на это уже Платон заметил, что основание не может зависеть от субъективной воле человека, иначе придётся признать законность противоречий, и поэтому любые суждения считать обоснованными. Эта мысль Платона нашла отражение в аристотелевском “принципе непротиворечия”. Позднее она увлекала и стоиков: “того, что кажется так каждому, недостаточно, чтобы было так” [40].

Можно сказать, что интервальная концепция в теории познания – это отклик на такого рода коллизии, когда речь идёт о необходимости корреляции классических и неклассический представлений об объективности научных фактов и научных теорий. Это стремлении разрешить такие коллизии привлечением языка интервальных образов (понятий) там и для представления того, что обычно представлялось и описывалось на языке точечных образов.

Проблема связи интервальных и точечных образов для логики познания не нова. В научном сознании точечные образы как чисто теоретические абстракции обычно индуцируются из интервальных или определяются через них. При этом, чем грубее наш интервальный образ, тем дальше мы от образа точечного. Находясь как бы в обратном отношении, интервальные образы ассоциируются с познанием интуитивным и эмпирическим, а точечные – с познанием логическим. Таковы, в частности, понятие предела функции, определяемое через открытый интервал; понятие производной как идеальный точечный образ, получаемый предельным переходом из интервального образа отношения конечных приращений функции и её аргумента; понятие математического континуума, каждая точка которого определяется через интервальный образ её рациональных приближений и т.д., и т. п. И так обстоит дело не только в математике. В той мере, в какой естественные науки, желая получить абсолютно точную картину реальности, математизировались на основе анализа, в естествознании сам собою утверждался взгляд, что именно в точечных образах (дифференциальных уравнений) должны выражаться его основные законы и понятия. “Момент! – улови его”, иронизируя, восклицал философ. А естествоиспытатель без тени иронии улавливал его в образах производной и дифференциала. Мгновенная скорость свободно падающего тела, ускорение, давление, удельная теплота и пр. – всё это конкретные модели точечного образа производной. Соответственно логика и методология, создавая свою естественнонаучную картину мира, ориентировалась, как правило, на точечные образы как на её абстрактный вариант. По крайней мере, топология пространства и времени всегда представлялась в ней как топология на точечных образах (вещественной прямой).

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

Именно на такой самодовлеющей роли интервальных образов и основывается интервальная концепция в теории познания. Она не претендует на глобальный охват всех фактов познания, а рассчитана только на то, чтобы адекватно отразить некоторые реалии, входящие в сферу научной методологии. И поскольку эта концепция родилась по зрелому размышлению над логикой процессов абстрагирования, её основная задача – интервальный анализ этих процессов, их истолкование в терминах интервальной семантики.

К примеру, наиболее полному такому истолкованию подверглась абстракция тождества. Подобно тому, как прикладная математика решение уравнения
f (x) = 0 сводит к решению неравенства | f (x) | < e, так и интервальная концепция понятие о логическом тождестве сводит (обобщает) к понятию о тождестве по e-неразличимости (0 Ј e Ј µ), развивая свои собственные представления о тождестве неразличимых [41]. Уже это само по себе гносеологически очень существенно, поскольку от наших представлений (понятий) о тождестве зависят и наши представления об универсумах научных теорий со всеми вытекающими отсюда последствиями для научной картины мира. Иначе говоря, проблема тождества затрагивает самые основы наших знаний. Но об этом в соответствующих параграфах этой книги.

1.2. Интервальная ситуация. Выше я постарался пояснить, в каком смысле интервал абстракции играет роль гносеологической парадигмы, являясь отправным пунктом для анализа познавательных процессов. Теперь я хочу остановится на другом важном понятии интервальной методологии. Прошло уже более двадцати лет, как я ввёл это понятие [42]. К сожалению, оно остаётся невостребованным другими методологическими установками, отличными от интервальной. Между тем, я считаю его весьма полезным и далеко идущим обобщением понятия относительности к системе (телу) отсчёта.

Итак, термином “интервальная ситуация” я называю всю совокупность граничных условий, включая условия реального или мысленного эксперимента, в которых приходится ставить и решать гносеологические задачи, и, соответственно, оценивать осмысленность возможных вопросов и ответов в рамках этих условий. Речь тут, конечно, об условиях гносеологических, о гносеологических ситуациях, в которых приходится создавать теоретическую картину явлений.

К примеру, любая мыслимая инерциальная система отсчёта задаёт интервальную ситуацию в гносеологическом смысле, порождая определённые условия для изучения механических свойств физических явлений; любое фиксированное число измерений пространства задаёт определённую интервальную ситуацию в таком же гносеологическом смысле, ограничивая или расширяя возможности не только для решения геометрических задач, но и для создания той или иной физической картины Вселенной.

Если сумму знаний определить как базу наличных данных в совокупности с возможностями абстрактного мышления (логикой), то интервальную ситуацию естественно считать источником наличных данных. Любые две интервальные ситуации, если они являются источником одних и тех же наличных данных, эквивалентны. Можно сказать и по-другому: две интервальные ситуации эквивалентны, если наблюдатель, создавая гносеологическую картину явлений и находясь поочерёдно в каждой из них, необходимо приходит к одним и тем же результатам. В противном случае интервальные ситуации неэквивалентны.

К примеру, Эйншейн, объясняя специальную теорию относительности, указывает для начала на абсолютную абстрактность интервальной ситуации, в которой формулируются законы классической механики. В самом деле, чтобы их сохранить по отношению к разнообразию инерциальных систем отсчёта, приходится снять верхнюю границу для возможных значений скоростей. Теорема сложения скоростей естественно вводит эти значения в рамки абстракции потенциальной бесконечности. Вот почему условие (с ® Ґ), при котором преобразования Лоренца переходят в преобразования Галилея, отнюдь не является бессмысленным, как иногда полагают. Но для классических представлений в этом условии нет необходимости, поскольку понятия “траектория” и “скорость” не входят в число “непосторонних” (инвариантных) понятий классической механики. И хотя скорость света (в первом приближении вычисленная Рёмером в 1676 г.) была известна до появления системы ньютоновских “Начал”, этот опытный факт мыслился как рядовой и не мог повлиять на формулировку системы, поскольку он не выводил за пределы той интервальной ситуации, которая отвечает абстракциям классической механики. В этих условиях чисто математический характер ньютоновской механики очевиден.

Опираясь на преобразования Лоренца, подтверждающие гипотезу о независимости скорости света от выбранной системы отсчёта (в противоречии с классической теоремой о сложении скоростей) и включая скорость света как предельную скорость в систему аксиом механики, Эйнштейн меняет интервальную ситуацию. Теперь, с учётом константы с, интервал возможных скоростей определяется постулатом " v (0 Ј v Ј c), которому удовлетворяют модели и классической, и релятивистской механики. Но при этом интервальная ситуация, в которой формируется гносеология релятивистской механики, приобретает подлинно эмпирический статус. Реальность, в которой $ v (v і c), в принципе возможна, но теория такой реальности будет уже “над интервалом” фундаментальных абстракций СТО.

А вот другой пример согласованности двух понятий – “интервала абстракции” и “интервальной ситуации”. Закон спектрального распределения Релея – Джинса принято считать теоретически неверным и противоречащим результатам эксперимента – экспериментальному спектральному распределению энергии. Но если опыт с тепловым излучением рассматривать как случай интервальной ситуации, то факт несоответствия экспериментального распределения с теоретическим (по закону Релея – Джинса) можно попытаться объяснить, не впадая в противоречие. При этом ошибочность закона, основанного на классических представлениях, должна означать только недопустимость экстраполяции классической гипотезы о связи энергии и частоты излучения (о непрерывности распределения энергии) в условиях определённой интервальной ситуации, но отнюдь не абсолютный отказ от этой гипотезы. Начиная с некоторых значений частот, для классической формулы (закона) возникает ситуация неразличимости. Отсюда естественный, согласующийся с гипотезой (постулатом) непрерывности, результат – бесконечно большая энергия электромагнитного поля внутри полости. С интервальной точки зрения этот результат не является “внутренне противоречивым” и внутри классических представлений не может квалифицироваться как абсурдный. Напротив, закон Релея – Джинса даёт совершенно верную картину “бесконечности энергии” и функции распределения “изнутри” классических представлений об энергии как непрерывной функции состояния вещества, а утверждение, что энергия электромагнитного поля внутри полости не может быть бесконечно большой, не является логическим следствием из этих представлений. Другое дело, что опыт с осциллятором выводит объяснение за рамки классических абстракций к квантовым представлениям.

Любопытно, что аналогичная ситуация возникает и в теории связи, где на основании классических представлений (теоремы Винера – Хинчина) приписывают сигналу способность к передаче бесконечной информации и, таким образом, допускают как факт бесконечную энергию для её передачи. На деле, в реальной практике передачи сообщений, это условие, разумеется, не будет выполняться. Поэтому здесь, как и в случае с электромагнитным излучением, принимают аксиому о “конечности энергии”, которая является индуктивным выводом из фактов “земной среды”[43].



Поделиться:


Последнее изменение этой страницы: 2016-09-20; просмотров: 291; Нарушение авторского права страницы; Мы поможем в написании вашей работы!

infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 44.193.11.123 (0.037 с.)