Аналогия и моделирование

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

В методе моделирования модель играет роль образца аналогии, а оригинал - роль субъекта аналогии.

Распространенность метода моделирования связана с недоступностью многих объектов научных исследований непосредственному экспериментированию. Это связано с космическими объектами, микрообъектами, обществом и т.п. Большое распространение в ХХ веке приобрели знаковые модели исследуемых явлений. К этой области относится математическое моделирование объектов самой разной природы - от элементарных частиц до психических и общественных процессов и логическое моделирование рассуждений, модели мира, свойственные различным культурам, компьютерные модели разнообразных явлений.

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

На этапе перенесения результатов исследования модели на оригинал главную роль играет аналогия свойств.

Метод моделирования, в силу использования умозаключений по аналогии, разделяет с ними основные познавательные характеристики, в частности, результаты моделирования всегда носят вероятностный характер.

Глава 15.

ДОКАЗАТЕЛЬСТВА И ОПРОВЕРЖЕНИЯ

§ 1. Доказательство

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

Доказательства и опровержения постоянно встречаются в нашей жизни. Нас часто приходится употреблять такие выражения: «Да, ты прав, потому что …», или «Нет, ты не прав, потому что …». Как только мы высказали что-либо похожее, мы вступаем в область доказательств и опровержений. Однако ест области человеческой жизни в которых доказательства и опровержения играют первостепенную, может быть, центральную роль. Это – наука, переговоры и судоговорение. С последнего мы и начнем рассмотрение учения логики о доказательстве.

Рассмотрим речь обвинителя на уголовном процессе, где слушается дело о поджоге склада, в котором обвиняется гражданинИ. Обвинитель строит свою аргументацию по следующей схеме:

Рис. 1

То, что пожар не мог произойти от посторонней причины, обвинитель аргументирует следующим образом:

Рис. 2

Что делает обвинитель? Он доказывает суждение: "Поджог совершилИ.", приводя в пользу этого суждения свою систему аргументов.