Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

Темы [ править ]

Некоторые из тем вычислительной эпистемологии включают:

  1. набор соответствующих возможностей ( возможных миров ), каждая из которых определяет некоторую потенциально бесконечную последовательность входных данных для метода ученого,
  2. вопрос, потенциальные ответы на который разделяют соответствующие возможности (в теоретико-множественном смысле),
  3. конвергентный критерий успеха и
  4. набор допустимых методов
  • понятие логической надежности для индуктивных задач

Котировки [ править ]

Определение вычислительной эпистемологии:

«Вычислительная эпистемология - это междисциплинарная область, которая занимается отношениями и ограничениями между реальностью, мерой, данными, информацией, знаниями и мудростью» (Ругаи, 2013)

Об упрощении решения индуктивных задач:

«Устранение соответствующих возможностей, ослабление критерия конвергенции, огрубление вопроса или увеличение набора потенциальных стратегий - все это облегчает решение проблемы» (Kelly, 2000a)

Об отличии вычислительной эпистемологии от байесовской теории подтверждения и тому подобного:

«Всякий раз, когда вы склонны объяснять какую-либо особенность науки с точки зрения вероятности и подтверждения, найдите момент, чтобы увидеть, как проблема будет выглядеть с точки зрения сложности и успеха» (Kelly, 2000a)

В двух словах о вычислительной эпистемологии:

Теория формального обучения очень проста в общих чертах. Индуктивная проблема определяет ряд эпистемически возможных миров, в которых можно добиться успеха, и определяет, какой вид вывода будет правильным, где правильность может воплощать как содержание, так и истину (или некоторую аналогичную добродетель, например эмпирическую адекватность). Каждый возможный мир создает входной поток, который индуктивный метод обрабатывает последовательно, генерируя собственный выходной поток, который может заканчиваться (заканчиваться отметкой, указывающей на этот факт) или продолжаться бесконечно. Понятие успеха определяет, как метод должен привести к правильному результату в каждом возможном мире. Метод решает проблему (в определенном смысле) на всякий случайметод преуспевает (в соответствующем смысле) в каждом из возможных миров, определенных проблемой. Мы говорим, что такой метод надежен, поскольку он действует во всех эпистемически возможных мирах. Из двух нерешений одно так же надежно, как и другое на тот случай, если оно преуспеет во всех мирах, в которых преуспеет другое. Вот и все, что нужно сделать! (Келли и др., 1997)

О надлежащей роли методологии:

«Эмпирическая наука должна исследовать детали механизмов, с помощью которых мы отслеживаем, а методологи должны разработать и усовершенствовать еще более совершенные (выводные) механизмы и методы» (Nozick, 1981)

См. Также [ править ]

Ссылки [ править ]

  • Блюм М. и Блюм Л. (1975). « К математической теории индуктивного вывода », Информация и управление, 28.
  • Фельдман, Ричард, Натурализованная эпистемология , Стэнфордская энциклопедия философии (издание осень 2001 г.), Эдвард Н. Залта (ред.).
  • Глимур, К. и Келли, К. (1992). «Совершенно современный Менон», в: Заключение, объяснение и другие разочарования, под ред. Джон Эрман, Калифорнийский университет Press.
  • Голд, Е.М. (1965) "Ограничивающая рекурсия", Журнал символической логики 30: 27-48.
  • Голд, Э. Марк (1967), Идентификация языка в пределах (PDF) , 10 , Информация и контроль , стр. 447–474 [1]
  • Хаек, Алан, Интерпретации вероятностей , Стэнфордская энциклопедия философии (издание летом 2003 г.), Эдвард Н. Залта (ред.).
  • Харрелл, М. (2000). Хаос и надежные знания, доктор философских наук. Диссертация, Калифорнийский университет в Сан-Диего.
  • Харрелл, М. и Глаймур, К. (2002). "Подтверждение и хаос", Философия науки, том 69 (2002), страницы 256–265.
  • Хоторн, Джеймс, Индуктивная логика , Стэнфордская энциклопедия философии (издание зима 2005 г.), Эдвард Н. Залта (ред.).
  • Хендрикс, Винсент Ф. (2001). Конвергенция научных знаний, Dordrecht: Springer.
  • Хендрикс, Винсент Ф. (2006). Мейнстрим и формальная эпистемология, Нью-Йорк: издательство Кембриджского университета.
  • Хендрикс, Винсент Ф., Эпистемическая логика Джона Саймона , Стэнфордская энциклопедия философии (издание весна 2006 г.), Эдвард Н. Залта (ред.).
  • Ходжес, Уилфрид, Логика и игры , Стэнфордская энциклопедия философии (издание зима 2004 г.), Эдвард Н. Залта (ред.).
  • Келли, Кевин (1996). Логика надежного расследования, Оксфорд: Oxford University Press.
  • Келли, Кевин (2000a). «Логика успеха», Британский журнал философии науки 51: 4, 639-660.
  • Келли, Кевин (2000b). «Логизированный натурализм», в After Popper, Kuhn and Feyerabend: Current Issues in Scientific Method, R. Nola и H. Sankey, eds, 34 Dordrecht: Kluwer, 2000, pp. 177–210.
  • Келли, Кевин (2002). «Эффективная конвергенция подразумевает бритву Оккама», Труды Международного семинара 2002 г. по вычислительным моделям научного обоснования и приложений, Лас-Вегас, США, 24–27 июня 2002 г.
  • Келли, Кевин (2004a). "Невычислимость: проблема индукции усвоена", " Теоретическая информатика", стр. 317: 2004, 227-249.
  • Келли, Кевин (2004b). "Теория обучения и эпистемология , в Справочнике по эпистемологии, И. Ниинилуото, М. Синтонен, и Дж. Смоленский, ред. Дордрехт: Kluwer, 2004"
  • Келли, Кевин (2004c). «Обоснование как эффективность установления истины: как работает бритва Оккама», Minds and Machines 14: 2004, стр. 485–505.
  • Келли, Кевин (2005a). Рукопись «Простота, правда и бесконечная игра в науку»
  • Келли, Кевин (2005b). Рукопись «Обучение, простота, правда и дезинформация»
  • Келли, К., и Глимур, К. (2004). «Почему вероятность не улавливает логику научного обоснования», Кристофер Хичкок, изд., «Современные дебаты в философии науки», Лондон: Блэквелл, 2004 г. Келли К. и Шульте О. (1995) «Вычислимые Проверяемость теорий, делающих невычислимые предсказания », Erkenntnis 43, pp. 29–66.
  • Келли, К., Шульте, О. и Джул, К. (1997). «Теория обучения и философия науки», Philosophy of Science 64, 245-67. Келли К., Шульте О. и Хендрикс В. (1995) «Надежный пересмотр веры». Материалы XII Объединенного международного конгресса по логике, методологии и философии науки.
  • Нозик Р. (1981) Философские объяснения, Кембридж: Издательство Гарвардского университета.
  • Ошерсон Д., Стоб М. и Вайнштейн С. (1985). Системы, которые обучаются, 1-е изд., Кембридж: MIT Press.
  • Патнэм, Х. (1963). «Степень подтверждения» и «Индуктивная логика», в «Философии Рудольфа Карнапа», изд. Па Шилпп, Ла Саль, Иллинойс: Открытый суд.
  • Патнэм, Х. (1965). «Предикаты методом проб и ошибок и решение проблемы Мостовского», Journal of Symbolic Logic, 30 (1): 49-57, 1965.
  • Куайн, Западная Вирджиния (1992) Погоня за истиной, Кембридж: издательство Гарвардского университета.
  • Райхенбах, Ганс (1949). «Прагматическое обоснование индукции», в «Чтениях по философскому анализу», под ред. Х. Фейгл и В. Селларс (Нью-Йорк: Appleton-Century-Crofts, 1949), стр. 305–327.
  • Ругаи, Н. (2013) «Вычислительная эпистемология: от реальности к мудрости», второе издание, книга, Lulu Press, ISBN 978-1-300-47723-5 . 
  • Салмон, В. (1967) Логика научного вывода, Питтсбург: Университет Питтсбурга Press.
  • Лосось, W. (1991). «Оправдание индукции Ганса Райхенбаха», Erkenntnis 35: 99-122.
  • Шульте, О. (1999a). «Эпистемология средств и целей», Британский журнал философии науки, 50, 1-31.
  • Шульте, О. (1999b). «Логика надежного и эффективного исследования», Journal of Philosophical Logic 28, 399-438.
  • Шульте, О. (2000). «Выведение принципов сохранения в физике элементарных частиц: исследование проблемы индукции», Британский журнал философии науки, 51: 771-806.
  • Шульте, О. (2003). Теория формального обучения , Стэнфордская энциклопедия философии (издание осень 2003 г.), Эдвард Н. Залта (ред.).
  • Шульте О. и Джул К. (1996). «Топология как эпистемология», Монист 79, 1: 141-147.
  • Зиг, Уилфрид (2002a). « Вычисления человеком и машиной: математическое представление » в: Материалы Краковского международного конгресса по логике, методологии и философии науки, серия Synthese, Kluwer Academic Publishers, 2002, 245-260.
  • Зиг, Уилфрид (2002b). «Вычисления человека и машины: концептуальный анализ» в: Размышления об основах математики (Sieg, Sommer, and Talcott, eds.), 2002, 396-415
  • Стюп, Матиас, Эпистемология , Стэнфордская энциклопедия философии (издание зима 2005 г.), Эдвард Н. Залта (ред.).
  • Тэлботт, Уильям, Байесовская эпистемология , Стэнфордская энциклопедия философии (издание осень 2001 г.), Эдвард Н. Залта (ред.).

Внешние ссылки [ править ]

  • Области исследований: вычислительная эпистемология , Кевин Келли.