Смекни!
smekni.com

О принципиальной возможности аксиоматической перестройки произв0льн0й научной теории (стр. 2 из 5)

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

Второе различие между понятиями /в моем подходе/ и абстракт-ными объектами В.Степина вытекает из первого. Понятия,так как они определе-ны выше, связаны с аксиомами,построенными на них,одно однозначной связью, т.е. не только набор аксиом однозначно определяет понятия /как в геометрии Евклида/ но и набор понятий однозначно определя-ет аксиомы. Это следует из того, что аксиомы есть не что иное, как провозглашение свойств понятий коррелятивно друг другу. На-пример, аксиома, что через две точки можно провести одну и только одну прямую, есть утверждение свойства прямых в отношении точек или точек в отношении прямых. Второй закон Ньютона есть утвержде-ние коррелятивных свойств СИЛЫ ускорения и массы. Причем, npи аксиоматическом построении теории ни о каких иных свойствах поня-тий, кроме утвержденных в аксиомах, мы ничего не можем сказать. Если же помимо аксиом используются неаксиоматические определения понятий /как у Ньютона пространства и времени или массы, которую он определил как количество корпускул в теле/, это значит, что данная теория лишь частично выстроена аксиоматически.

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

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

Проиллюстрируем вышеразобранное сравнение абстрактных объектов с понятиями на примерах. Сравним абстрактный объект "электрон", рассматриваемый на определенных этапах генезиса теории тока в проводнике и теории строения атома, с понятием носителя тока/кото-рый также именовался в определенный период электроном/, определя-емым аксиомой теории тока в проводнике, именуемой законом Ампера-Ома: J=V/R. /Для этого сравнения нам не важно, выстроена ли данная теория чисто аксиоматически и каковы другие ее аксиомы, достаточно рассмотрение одной этой/. Физическое содержание /онтология/ абстрактного объекта "электрон" менялось много раз по ходу развития теорий тока, строения атома и других, связанных с этим объектом. Изначально абстрактный объект, пере-носящий ток, был вообще не электрон, а электрическая жидкость /флюид/. Затем появился электрон со свойствами заряда и массы определенной величины, сконцентрированными в практически точеч-ного размера шарике. Затем оказалось, что масса его - это не обычная масса покоя, но специфическая масса движения. Затем, что это не точечный шарик, а облако или пакет волн. Все это время закон Ампера-Ома оставался незыблем. Он определяет понятие носителя электрического тока двумя свойствами: наличием заряда и способностью перемещаться в проводнике под действием разности, потенциалов /а точнее к этому в соответствии с аксиомой следует добавить: передвигаться, перенося в единицу времени количество заряда пропорциональное напряжению и обратно пропорци-ональное сопротивлению/. Все остальное, как то форма шарика, облака, пакета волн или чемодана, и наличие какой бы то ни было массы, к данной аксиоме и вообще к аксиоматической теории тока отношения не имеет.

Т.е. мы видим, что абстрактный объект "электрон" обладает свойствами, помимо свойств, определенных аксиоматически в теории тока. Причем по ходу эволюции теории свойства, не определяемые аксиомами, меняются, а свойства, определенные аксиомами, оста-ются неизменными. /Отсюда - неопределенность смысла теории, если ее выводы относить к абстрактным объектам, а не к понятиям, и однозначность выводов - в приложении к понятиям/. Далее, несмотря на давно приня-тое наукой требование минимума допущений при построении теории, пользование абстрактными объектами влечет за собой непременную избыточность допущений. Так в случае с электроном избыточным оказалось не только допущение о его "шариковости", но и /для тео-рии тока именно/ о наличии у носителя тока определенной массы. Из закона Ампера-Ома оно не вытекает и в нем нет никакой нужды для обьяснения явлений тока в проводнике. И действительно, как мы знаем сегодня, ток может осуществляться не только электронами с их массой, но и ионами с совершенно другой массой или "дырками" /в случае дырочной проводимости/, не обладающими, естественно, никакой массой. Единственное аксиоматическое требование - это, как уже сказано, чтобы двигался заряд.

А вот в теории строения атома "электрон" не только, как абстрактный объект, но и как аксиоматическое понятие обязан обладать конкретной массой. Теперь это свойство /наличие массы/ фиксируется той аксиомой, которая объясняет почему отрицательно заряженный электрон не падает на положительно заряженное ядро под действием сил взаимодействия разноименных зарядов /без массы электрона не было бы центробежной силы, уравновешивающей притяжение/. Таким образом получается, что электрон, как абстракт-ный объект, это одно и то же в теории строения атома и в теории тока, а как понятие - это два разных понятия двух разных теорий и им соответствуют разные множества реальных объектов /под поня-тие электрона, как носителя тока, подпадут и ионы/. И хотя при этом возникает вопрос о правильности сохранения названия "электрон" за носителем тока, но это вопрос семантический, не существенный для аксиоматической теории, ибо в ней слова-наименования лишь знаки, символы конкретных понятий, определяются же последние развернутыми определениями/.

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

Теперь рассмотрим первую проблему-возражение В.С.Степина против принципиальной аксиоматичности. Она состоит в том, что в процессе генезиса научной теории процедура дедуктивного вывода утверждений из начально принятых аксиом / "движение внутри математического формализма», как называет это 3.С.Стенин/ время от времени прерывается применением генетического метода, о кото-ром, в связи с этим, Степин пишет так:

В отличие от аксиоматического метода ..., генетический метод предполагает оперирование непосредственно с абстрактными объектами теории, зафиксированными в соответствующих знаках. Процесс рассуждения в этом случае предстает "в форме мысленного эксперимента о предметах, которые взяты, как конкретно наличные».