...тором правомерность умозаключения определяется не наблюдением над частными случаями (как при индукции), а исключительно его (этого умозаключения) логической структурой. Дедуктивная логика от-личает правильные структуры рассуждения от неправильных. Основная методологическая проблема дедукции как раз связана с определением эмпирической надежности исходной посылки. Если посылка верна, то и вывод должен быть непременно истинным. Но в том-то и дело, что всегда сохраняется неуверенность в истинности исходной посылки.
Поскольку обоснование общих посылок, как правило, осуществляется индуктивным путем, говорят о единстве индукции и дедукции. А вопрос о единстве данных методов, в свою очередь, указывает на единство эмпири-ческого и теоретического знания. Однако исходная посылка дедуктивного рассуждения может быть выдвинута и рационально — как более или менее обоснованное предположение. Тогда проверяют эмпирические следствия из данного предположения, а весь метод называют гипотетико-дедуктивным.
Чтобы сделать правила получения выводов простыми и максимально однозначными, используется формализация. Это — перевод суждений об объекте с естественного языка на какой-либо более строгий и однозначный язык науки. Целью такого перевода является достижение однозначного взаимопонимания и практического результата в определенном применении знания. А сущностью формализации является абстрагирование отношений ("форм") от вещей и свойств, т.е. от "содержания", а затем исследование свойств и отношений этих отношений в качестве самостоятельных вещей. Существуют разные уровни формализации. На первом уровне форма-лизацией является всего лишь использование различных символов, схем, условных обозначений, специальных знаков, других средств экономного или наглядного выражения суждений о состоянии дел и указаний о необходимых действиях в конкретной ситуации. Такую формализацию применяют в рамках естественного языка, который на этом пути теряет многозначность лишь некоторых понятий.
Второй уровень характеризуется переводом рассуждений на один из искусственных языков науки, в частности, на один из языков математики или логики. Здесь появляется адекватная возможность исследовать отношения объекта не непосредственно, а через его формальную модель, опираясь на метод моделирования.
Третий уровень формализации — построение формализованной теории и использование аксиоматического метода. На этом уровне полностью отвлекаются от содержательного смысла исходных понятий, предлагают символьное обозначение базовых понятий, дают строгие определения тер-минам, предлагают систему аксиом, формулируют правила вывода, необ-ходимые для доказательства и вывода новых утверждений (теорем). Рас-суждение в формализованной теории становится "делом техники", может быть осуществлено практически любым количеством шагов, для чего могут использоваться и компьютеры. Когда все это сделано, для формальной теории ищут различные интерпретации содержательного характера: полу-ченные отношения (формулы) могут выполняться не обязательно только на одной предметной области.
Гипотетико-дедуктивный метод - метод научного познания, сущность которого заключается в создании системы дедуктивно связанных между собой гипотез, из которых в конечном счете выводятся утвержения об эмпирических фактах. Тем самым этот метод основан на выведении (дедукции) заключений из гипотез и других посылок, истинностное значение которых неизвестно. А это значит, что заключение, полученное на основе данного метода, неизбежно будет иметь лишь вероятностный характер.
Добавлять комментарии могут только зарегистрированные пользователи. [ Регистрация | Вход ]
|