Cтраница 2
Рассмотрим теперь приемы прогнозирования в отношении применяемой в них методики умозаключения. Все они строятся на принципах индуктивной логики, использующей элементы вероятностной логики. Кроме того, при любом прогнозировании учитываются динамика и тенденции развития прогнозируемого процесса. Однако, в отношении прогнозов, касающихся развития научных исследований, механизм этого учета разработан в недостаточной степени, в частности, в отношении аналитического подхода. Энтропийный подход, т.е. учет статистической природы адекватности когнитивной структуры научной информации изучаемому фрагменту действительности, позволяет аналитически уточнить результаты прогноза, в том числе указав на возможные скачки в знаниях. [16]
По признаку информационное основание метода приемы прогнозирования также базируются на индуктивной логике. Скорее даже наоборот, сами информационные основания методов прогнозирования ведут к неизбежному использованию индуктивной логики и элементов вероятностной логики. [17]
Сада известны Филонид, Аполлодор Афинский ( написавший св. Зенон Си-донский ( такжо плодовитый писатель), Деметрий Ла-конскнй, Филодем из Гадары, разрабатывавший вопросы индуктивной логики, и др. К среднему Саду относятся двое Птолемеев из Александрии по прозванию Черный и Белый, Диоген из Тарса. Наибольшего расцвета средний Сад достиг во 2 - й пол. [18]
Возрождения, явилось отсутствие плодотворных связей схоластикой с естествознанием, проявившееся, в частности, в недооценке проблематики индуктивной логики и методологии. [19]
Алгоритм, Массовая проблема, Разрешимое и перечислимое множества, Сводимость), исчисление Х - конверсин ( см. Оператор абстракции, Функция), логика комбинаторная и др. Из общих науч. Успехи, достигнутые в формальной теории дедукции, способствовали применению точных методов в разработке широкого комплекса проблем теории индукции и индуктивной логики ( см. ст. Логика индуктивная, раздел Современная логика индуктивная, ст. Научная индукция, Неполная индукция, Популярная индукция), и вероятностной логики. [20]
Однако, все существующие методы прогнозирования и сами по себе, если не получены, то внедрены в прогнозирование и апробированы также исключительно на основе принципов индуктивной логики. Это не дает возможности утверждать об оптимальности любого из них: индуктивная и вероятностная логика исключают достоверные утверждения. [21]
Сарацевича Введение в информатику. Наиболее известной является концепция И. Методы индуктивной логики позволяют определить, в какой степени подтверждается та или иная гипотеза, которая для этой цели формулируется на специальном языке. [22]
Как правило, экспертная система содержит базу данных, в которой накапливаются различные факты из предметной области, и базу знаний, где фиксируются некоторые правила, или закономерности, присущие данной области. В ЭС имеются средства общения со специалистами-экспертами, из которых система выкачивает знания, и со специалистами-пользователями, которым система помогает в их работе. Хорошо экипированные ЭС обладают средствами индуктивной логики, автоматизирующими переход от данных к знаниям, и практически в любую ЭС встроен механизм логического ( дедуктивного) вывода - от накопленных знаний к заключениям в конкретных ситуациях. [23]
Хиббен ( Hibben), Джон Грир ( 1861 - 1933) - американский философ-идеалист, в 1897 - 1918 годах - профессор Принстон-ского университета, затем его президент. Важнейшие работы посвящены проблемам логики. Основные произведения: Inductive Logic, 1896 ( Индуктивная логика); Hegel s Logic, an Essay in Interpretation, 1902 ( Логика Гегеля, опыт истолкования); Deductive Logic, 1905 ( Дедуктивная логика) и другие. [24]
Мне нравится простота этой модели. Поппер использовал ее для того, чтобы разрешить проблему индукции, то есть движения от частного к общему. Он показал, что научный метод не нуждается в индуктивной логике: вместо этого он может опираться на испытание. Лишь те теории, которые могут быть испытаны на практике, считаются научными. [25]
Здесь все далеко не так просто. Недаром в ХХ-м столетии исследования по вероятностной логике ( ее называют также индуктивной логикой ] развернулись по весьма широкому фронту. [26]
Независимо от того, являются ли индуктивные аргументы статистическими или категорными, главная проблема заключается в способе их оценивания. Сторонник этой теории Карнап прямо указывал на возможность рассмотрения степени подтверждения гипотезы Н путем основания Е как на степень общезначимости индуктивного аргумента типа Е, поэтому Н и подчеркивал возможность обрабатывать эту индуктивную общезначимость как аналог дедуктивной общезначимости. Он писал, что, называя теорию индуктивного вывода недедуктивной, термин вывод в индуктивной логике мы не понимаем в том же самом смысле, как в дедуктивной. Обе логики, как дедуктивная, так и индуктивная, едины в одном: они исследуют логические отношения между утверждениями, но если первая изучает отношение выводимости одних утверждений из других, то вторая - степень подтверждения утверждений, которая рассматривается как некоторая числовая мера. Другими словами, теория подтверждений сама по себе не устанавливает отношение логического следствия, поскольку любое основание только подтверждает любую гипотезу в определенной степени. Индуктивная логика, основанная на теории подтверждений, является логикой оценки гипотезы, а не ее образования. Поскольку меры убеждения выражают субъективные оценки агента об истинности гипотез, то процедуры оценки истинности гипотез являются тем средством, который отвечает на вопрос: Насколько правдоподобна эта гипотеза при данном основании. [27]
Представители первой школы предполагают возможным построение непротиворечивой логической схемы мышления индивидуума, применимой для оценки достоверности явлений реального мира. В формулировке Сэвиджа логическая вероятность измеряет степень обоснованности суждений, при которой одно множество предложений по логической необходимости и независимо от человеческого мнения подтверждает истинность другого. Отсюда ясно, что предполагается исключение человека, принимающего решение, из процесса самой оценки достоверности рассматриваемого события. Определение степени подтверждения должно быть получено по правилам индуктивной логики, какие бы они не были. Построить непротиворечивую логическую схему доказательств истинности суждений при естественных недостатке и неточности знаний о предмете суждения обычно не представляется возможным. Неизбежно степень достоверности доказательств оценивается человеком. Отсюда ясна несостоятельность такого подхода. [28]
Независимо от того, являются ли индуктивные аргументы статистическими или категорными, главная проблема заключается в способе их оценивания. Сторонник этой теории Карнап прямо указывал на возможность рассмотрения степени подтверждения гипотезы Н путем основания Е как на степень общезначимости индуктивного аргумента типа Е, поэтому Н и подчеркивал возможность обрабатывать эту индуктивную общезначимость как аналог дедуктивной общезначимости. Он писал, что, называя теорию индуктивного вывода недедуктивной, термин вывод в индуктивной логике мы не понимаем в том же самом смысле, как в дедуктивной. Обе логики, как дедуктивная, так и индуктивная, едины в одном: они исследуют логические отношения между утверждениями, но если первая изучает отношение выводимости одних утверждений из других, то вторая - степень подтверждения утверждений, которая рассматривается как некоторая числовая мера. Другими словами, теория подтверждений сама по себе не устанавливает отношение логического следствия, поскольку любое основание только подтверждает любую гипотезу в определенной степени. Индуктивная логика, основанная на теории подтверждений, является логикой оценки гипотезы, а не ее образования. Поскольку меры убеждения выражают субъективные оценки агента об истинности гипотез, то процедуры оценки истинности гипотез являются тем средством, который отвечает на вопрос: Насколько правдоподобна эта гипотеза при данном основании. [29]
Клавдий Гален, Пор-фирий, Аммоний Саккас, Симпликий, Филопон, Марци-ац Капелла, Боэций), византийских ( Михаил Пселл, Иоанн Итал) и арабских ( Ибн Сина, Ибн Рошд) мыслителей. Идеями Органона, давая им то или иное истолкование и развитие, в значит, мере жила ср. Бэкон в Новом Органоне закладывает основы индуктивной логики. [30]