ДЕМОНСТРАЦИЯ ПО АНАЛОГИИ
Уподобления не доказывают, а лишь
объясняют доказанное. M.B. Ломоносов
Очень распространенным типом доказательства является демонстрация по аналогии (греч. analogía — соответствие, сходство). В доказательстве по аналогии обосновывается сходство двух предметов в каком-либо признаке на основании того, что эти предметы имеют ряд других сходных признаков.
Например, для того чтобы доказать идею о возможности существования органической жизни на какой-либо другой планете, ученые рассуждают так: на данной планете есть атмосфера с наличием в ней кислорода, есть вода, есть необходимая для возникновения жизни температура; на Земле есть такая атмосфера, есть вода, есть требуемая температура и есть органическая жизнь. Поскольку данная планета и Земля сходны в ряде существенных признаков, поэтому, вероятно, они сходны и еще в одном признаке — наличии органической жизни.
Схема доказательства по аналогии такова: пусть некоторый объект А обладает последовательностью свойств а1, а2, ..., an+1 —
А: а1 , а2 , а3 , аn ,..., аn+1.
Второй объект В обладает набором свойств, совпадающих со свойствами объекта А, за исключением аn+1, про который ничего не известно, —
B: a1,a2,a3, ..., аn.
Тогда из этих двух наблюдений можно сделать вывод, что и второй объект В обладает свойством аn+1 (формула 1).
Доказательство по аналогии основано на том, что предметы могут быть подобными, сходными в каких-либо свойствах, признаках или отношениях, причем такие предметы, которые в целом различны. Умозаключение по аналогии — это логический вывод, в результате которого достигается знание о признаках одного предмета на основании знания того, что этот предмет имеет сходство с другими предметами.
Очевидно, что доказательство по аналогии не является абсолютным, оно гипотетическое. Вы только предполагаете, что второй объект обладает еще и дополнительным свойством. Не являясь абсолютным, в определенных случаях доказательство по аналогии бывает крайне убедительным. Приведем исторический пример доказательства по аналогии, которое оказалось настолько убедительным, что под это доказательство была выделена очень крупная сумма денег. Человек по имени Гаргреве отправился в Австралию в район, который называется Новый Южный Уэльс, и обнаружил там горные породы, очень напоминающие породы знаменитых калифорнийских гор, которые находятся в США. Калифорнийские горы он хорошо знал, так как неоднократно бывал там и работал. Горы в Калифорнии очень богаты минералами.
Пусть в нашем определении A— это горы в Калифорнии, а В — это горы в Новом Южном Уэльсе. Гаргреве заметил поразительное сходство: олово есть и там, и там (а1), цинк есть и там, и там (а2), свинец есть и там, и там (a3), железная руда есть и там, и там (а4), и т.д.
Оценивая признаки, которые оказываются одинаковыми для этих двух горных массивов, он доходит до главного признака, который им не обнаружен, но он подозревает о его существовании. Этот признак an+1 — наличие золота. В горах Калифорнии очень много золота. И он делает предположение, что в Австралии в породе должно быть золото. Он возвращается домой, пишет доклад и в этом докладе, предлагая доказательство по аналогии, аргументирует наличие золота в Австралии. Доклад заканчивается просьбой о выделении очень крупной суммы денег на организацию экспедиции для поиска золота. Доказательство сочли убедительным. Деньги были выделены. Экспедиция отправилась в Австралию, и золото действительно нашли.
Основоположник кибернетики Н. Винер, приступая к исследованиям в области конструирования логических машин, вдохновлялся такой, оказавшейся очень эффективной аналогией. "С самого начала, — пишет он, — я был поражен сходством между принципами действия нервной системы и цифровых вычислительных машин. Я не собираюсь утверждать, что эта аналогия является полной, и мы исчерпаем все свойства нервной системы, уподобив ее цифровым вычислительным устройствам. Я хотел бы только подчеркнуть, что в некоторых отношениях поведение нервной системы очень близко к тому, что мы наблюдаем в вычислительных устройствах".
О том, какую огромную роль аналогия играет в кибернетике, свидетельствует французский ученый Л. Куффиньяль. Убедившись в аналогичности двух механизмов, показывает он, предполагают, что известные функции одного механизма присущи и другому механизму, для которого их наличие не установлено. Как, например, устанавливают дозы новых лекарств для человека? По аналогии функций организмов животного и человека. При изучении действия лекарственного препарата сначала проводят опыты на животных и затем предполагают, что при назначении этого лекарства человеку результаты будут аналогичны результатам, полученным в опытах с животными.
Умозаключение по аналогии, как и любое другое умозаключение, является отображением в нашем сознании обычных отношений вещей. Человек на практике многократно наблюдал постоянство и устойчивость связей между признаками в предметах и явлениях внешнего мира. С течением времени эти связи признаков вещей зафиксировались в сознании человека в виде определенной фигуры логики, которая приобрела аксиоматический характер. Так, человек давно заметил, что если в двух предметах или явлениях имеются какие-то общие существенные признаки, то вполне возможно, несмотря даже на ряд свойственных этим предметам отличительных черт, предполагать, что эти предметы обладают также и другими сходными признаками. Если есть корни, ствол и ветки, то, как правило, есть и листья; если тело жидкое, то в любых сообщающихся сосудах оно расположится на одинаковом уровне, хотя бы эти сосуды отличались формой; если тело хорошо проводит тепло, значит, можно ожидать, что оно хорошо проводит и электричество, и т.д.
Эта уверенность имеет и другое основание в окружающем мире: общая закономерность, которая выражается в существенных признаках предмета или явления, всегда встречается в связи с рядом одних и тех же постоянных устойчивых признаков, хотя условия, в которых проявляется данная общая закономерность, могут быть различными.
Привычка нашего ума к аналогии настолько сильна, что она иногда начинает действовать как бы механически. Аналогия, как мы уже видели, основана на том, что сходные в одном отношении вещи сходны и в остальном. Привыкнув к этому, люди удивляются, что шерстяные одеяла употребляются для предохранения льда от таяния, тогда как обычно шерстяные одеяла применяются для сохранения тепла.
Такой вид аналогии часто встречается в практике самых различных ученых и специалистов. Так, ботаник, замечая по некоторым признакам сходство какого-либо растения с известными ему представителями вида, относит данное растение к этому виду, предполагая, что в найденном растении есть все, еще и не исследованные видовые признаки. Говоря об аналогии, можно сослаться на ряд примеров из истории науки: на аналогию Ньютона между падением яблока и движением небесных тел, на аналогию Франклина между электрической искрой и молнией, на аналогию между распространением волн на воде и звука в воздухе и пр.
Ломоносов в одной из своих ранних работ на основании аналогии сделал вывод о том, что свет есть материя. "Один свет, — пишет он, — затемняет другой, например, солнце — свет свечи; подобно тому, как более сильный голос заглушает другой, слабый. Отсюда следует, что свет есть материя". Английский логик Джевонс говорит, что даже животные "делают заключения" до некоторой степени путем аналогии. Так, битая собака боится каждой палки, и существует очень немного собак, которые не убегут, если вы сделаете вид, будто поднимаете камень, хотя бы на этом месте не было никакого камня. Признание нормальной аналогии между двумя системами идей, говорит Дж.К. Максвелл, "приводит к более глубокому знанию обеих, чем познание, которое можно было получить, изучая каждую систему в отдельности".
Аналогия благодаря своей наглядности и доступности широко используется в математике: а) при изучении десятичных дробей подчеркивается их аналогия с натуральными числами; б) свойства алгебраических дробей аналогичны свойствам арифметических (обыкновенных) дробей; в) методика решения задач на составление уравнений второй степени аналогична методике решения задач на составление уравнений первой степени; г) свойства членов геометрической прогрессии во многом аналогичны свойствам членов арифметической прогрессии и т.п.
Ход умозаключения по этому виду аналогий можно записать в виде следующей формулы:
А имеет признаки а1, а2, а3, х;
В имеет признаки а1, а2, а3;
Вероятно, В имеет и признак х.
Возьмем такой пример: модель самолета (А) имеет такую же форму (а1), такое же отношение веса к плоскости крыльев (а2), такое же соотношение между весом носовой части и остальной части фюзеляжа (а3), как и конструируемый самолет. При испытании модели в аэродинамической трубе оказывается, что модель неустойчива (x). На основании аналогии (сходство модели и самолета в трех признаках) конструктор непременно сделает вывод, что самолет будет также неустойчив при полете.
Умозаключения по аналогии применяются в физике, строительстве плотин, в лингвистике, кибернетике, истории и т.д. Это, в частности, объясняется тем, что во всех областях науки начинает интенсивно внедряться моделирование, когда возможное поведение интересующих нас объектов исследуется на условных образах, аналогичных исследуемому объекту.
Под моделью (лат. modulus — мера, франц. modèle — образец) в науке понимается искусственно созданный объект в виде схемы, чертежа, логико-математических знаковых формул, физической конструкции и т.п., который, будучи аналогичен (подобен, сходен) исследуемому объекту (самолету, человеческому сознанию, клетке и т.д.), отображает и воспроизводит в более простом, уменьшенном виде структуру, свойства, взаимосвязи и отношения между элементами исследуемого объекта, непосредственное изучение которого невозможно, недоступно или связано со значительными трудностями, большими затратами средств и энергии, и тем самым облегчает процесс получения информации об интересующем нас предмете.
Исследуемый объект, по отношению к которому строится модель, называется черным ящиком, который представляет собой оригинал, образец, прототип, подчас не данный нам в наблюдении.
Все существующие модели обычно подразделяются на три типа: физические, вещественно-математические и логико-математические. Физические модели имеют природу, сходную с природой изучаемого объекта, и отличаются от него лишь размерами, скоростью течения исследуемых явлений и иногда материалом. Вещественно-математические модели имеют отличную от прототипов физическую природу, но допускают одинаковое с оригиналом математическое описание. Логико-математические модели конструируются из знаков. Это абстрактные модели, которые строятся как исчисления (лат. calculus — счет). Под исчислением понимается, таким образом, система изучения объектов внешнего мира, в которой предметам какой-либо определенной области ставятся в соответствие материальные знаки (цифры, буквы и др.), и с ними затем по принятым в системе точным правилам производятся операции, необходимые для достижения поставленной цели. Исчисление можно определить и как формальное устройство, позволяющее получать одни последовательности символов из других путем вывода. Исчисления имеют конечный алфавит и правило вывода (С.К. Клини). Математика, возникшая шесть тысячелетий тому назад в Древнем Египте и Вавилонии, строилась прежде всего как исчисление. Только в III в. до н.э. Евклид впервые построил математику в виде аксиоматической теории, т.е. теории, построенной из конечного числа аксиом (греч. axioma — значимое, достойное уважения, принятое, бесспорное) — истинных суждений, которые в рамках замкнутой теорий принимаются без доказательств в качестве исходного положения и которые кладутся в основу доказательства всех других положений этой теории. Из аксиом с помощью заданных правил вывода дедуктивно могут быть получены содержательно истинные предложения (теоремы), сформулированные на языке данной теории.
Но до сих пор в современной школе изучение математики начинается с нумерации и четырех действий арифметики, т.е. с оперирования знаками (цифрами), что само по себе является исчислением.
В математической логике имеется несколько взаимосвязанных исчислений:
1) исчисление высказываний, изучающее логические операции с простыми высказываниями, которые объединяются в сложные высказывания с помощью логических связок, сходных с принятыми в обычной речи союзами: и (конъюнкция, в математической логике он представлен символом &), или (дизъюнкция, символ V), если ... то... (импликация, символ ), тогда и только тогда, когда (эквивалентность, символ
), а также с отрицанием, обозначаемым частицей не (символ );
2) исчисление классов, изучающее символику Аристотеля;
3) исчисление предикатов, исследующее операции с высказываниями, расчлененными на субъект и предикат;
4) исчисление отношений, исследующее логические свойства и операции над двухместными, трехместными и т.п. отношениями.
Примером модели, построенной как исчисление, может служить модель (или теория) трансформационных порождающих грамматик (ТТПГ), предложенная выдающимся американским лингвистом Н. Хомским. ТТПГ опирается на тот факт, что любой носитель естественного языка может понять подавляющее большинство предложений, которые он никогда не слышал. Следовательно, в мозгу человека существует устройство, которое помогает ему понимать и воспроизводить правильные фразы известного ему языка (языков) и отвергать неверные. Это устройство, как уже говорилось, называется competence и является объектом изучения лингвистики, так как этот объект сегодняшними средствами естественных наук не может быть изучен. Ставится задача его моделирования. Под языком в ТТПГ понимается множество цепочек из конечного числа элементов. Одни цепочки являются предложениями, другие — нет. Основная задача лингвистики определяется как умение отличить грамматически правильные предложения от неправильных и исследовать структуру правильных предложений. Грамматика — это модель устройства, порождающего все правильные фразы данного языка и только их. Порождение — это не построение в мозгу правильной фразы, а перечисление правильных фраз. При этом грамматичность нельзя путать с осмысленностью и вероятностью встречаемости. Так, неправильными считаются предложения типа:
1)Furiously sleep ideas green colorless (англ.)
2) Read you a book on modern music (англ.)
3) Je n'ai vu rien (фр.)
4) Je n'ai personne vu (фр.).
А предложение Greencolorlessideassleepfuriosly(Зеленые бесцветные идеи яростно спят) рассматривается как правильное. Грамматичными являются предложения, в которых при замене одних членов другими с теми же грамматическими показателями получается правильная фраза. Каждый человек в своей жизни слышал не так уж много предложений, но всегда может отличить правильную фразу от неправильной. Лингвист моделирует структуру такого типа на базе конечного числа известных (наблюденных) правильных и неправильных предложений. В качестве примера могут быть рассмотрены следующие правила порождения, предлагаемые в ТТПГ:
(I) SNP+ VP (S — предложение, NP— группа существительного, VР — глагольная группа)
(II) NP Det +N
(III) VP V+ NP
(IV) Det the
(V) N man, ball...
(VI) V hit, took…
С помощью этих правил можно образовать правильную английскую фразу: Theman hittheball ( "Мужчина ударил по мячу"):
|
Скачать 2.7 Mb.