Формальная эпистемология

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

История [ править ]

Хотя формально ориентированные эпистемологи работают с момента появления формальной логики и теории вероятностей (если не раньше), лишь недавно они были объединены под общим дисциплинарным названием. Этот рост популярности можно объяснить организацией ежегодных семинаров по формальной эпистемологии Брэнденом Фительсоном и Сахотрой Саркар , начиная с 2004 года, а также конференций PHILOG , начиная с 2002 года (Сеть философской логики и ее приложений), организованных Винсентом Ф. Хендриксом. . Факультет философии Университета Карнеги-Меллона ежегодно проводит летнюю школу по логике и формальной эпистемологии. В 2010 году на кафедре основан Центр формальной эпистемологии .

эпистемология Байесовская

Байесовская эпистемология — важная теория в области формальной эпистемологии. Ее корни лежат в работах Томаса Байеса в области теории вероятностей. Он основан на идее о том, что убеждения сохраняются постепенно и что сильные стороны убеждений можно описать как субъективные вероятности . Как таковые, они подчиняются законам теории вероятностей , которые действуют как нормы рациональности . Эти нормы можно разделить на статические ограничения, определяющие рациональность убеждений в любой момент, и динамические ограничения, определяющие, как рациональные агенты должны менять свои убеждения при получении новых доказательств. Наиболее характерное байесовское выражение этих принципов встречается в виде голландских книг , которые иллюстрируют иррациональность агентов посредством серии ставок, приводящих к проигрышу агента независимо от того, какое из вероятностных событий произойдет. Байесианцы применили эти фундаментальные принципы к различным эпистемологическим темам, но байесианство не охватывает все темы традиционной эпистемологии. Проблема подтверждения в К философии науки , например, можно подойти через байесовский принцип обусловленности, утверждая, что часть фактов подтверждает теорию, если она повышает вероятность того, что эта теория верна. Были сделаны различные предложения по определению понятия когерентности с точки зрения вероятности, обычно в том смысле, что два предложения связаны, если вероятность их соединения выше, чем если бы они были нейтрально связаны друг с другом. Байесовский подход также оказался плодотворным в области социальной эпистемологии , например, в отношении проблемы свидетельств или проблемы групповых убеждений. Байесианство до сих пор сталкивается с различными теоретическими возражениями, которые до конца не решены. ^[1]^[2]^[3]^[4]

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

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

Амплиативный вывод (включая индуктивную логику );
пересмотра убеждений Теория
Теория игр и теория принятия решений ;
Теория алгоритмического обучения ( вычислительная эпистемология );
Формальные подходы к парадоксам убеждений и/или действий;
Формальные модели эпистемических состояний, таких как убеждение и неопределенность ;
Формальные теории когерентизма и подтверждения;
Основы вероятности и статистики.

Список формальных эпистемологов современных

Орасио Арло-Коста. Архивировано 13 октября 2007 г. в Wayback Machine , Карнеги-Меллон, философия (байесовская эпистемология, эпистемическая логика, пересмотр убеждений, условные обозначения, рациональный выбор, нормативная и поведенческая теория принятия решений).
Александру Балтаг (динамически-эпистемическая логика, вероятностная логика, пересмотр убеждений и т.д.)
Люк Бовенс (байесианская эпистемология, вероятность и т. д.)
Самир Чопра (пересмотр убеждений, физика и т. д.)
Джейк Чендлер (байесианская эпистемология, пересмотр убеждений и т. д.)
Джон Коллинз. Архивировано 23 апреля 2013 г. в Wayback Machine. Колумбия, Философия (пересмотр убеждений, теория причинно-следственных решений).
Франц Дитрих (коллективное принятие решений и т. д.)
Трент Догерти (радикальный вероятностный подход Джеффри, семантика модальных окон, теории вероятностей)
Игорь Дувен (байесианская эпистемология и др.)
Эллери Илс (подтверждение, вероятность)
Адам Эльга (вероятностные рассуждения, законы и т. д.)
Брэнден Фительсон (подтверждение, логика и т. д.)
Малькольм Форстер (подтверждение, простота, причинно-следственная связь)
Хаим Гейфман Колумбия, Философия (основания вероятности, математическая логика)
Энтони Гиллис (пересмотр убеждений, формальная семантика)
Марио Гомес-Торренте
Алан Хайек (основы вероятности, теории принятия решений и т. д.)
Джозеф Халперн (рассуждения о знании и неопределенности)
Свен Уве Ханссон (риск, теория принятия решений, пересмотр убеждений, деонтическая логика)
Гилберт Харман (эпистемология, статистическая теория обучения, разум и язык)
Стефан Хартманн (байесианская эпистемология, вероятность, коллективное принятие решений и т. д.)
Джеймс Хоторн ^{[ постоянная мертвая ссылка ]} (теория подтверждений, индуктивная логика, пересмотр убеждений, немонотонная логика)
Джефф Хельцнер Колумбия, Философия (теория принятия решений, рациональный выбор)
Винсент Ф. Хендрикс Копенгаген и Колумбия, философия (эпистемическая логика, теория формального обучения, обработка информации и анализ демократии)
Франц Хубер (формальная эпистемология, философия науки, философская логика)
Ричард Джеффри (вероятностное рассуждение)
Джеймс Джойс (теория принятия решений)
Кевин Т. Келли. Архивировано 12 мая 2008 г. в Wayback Machine , Карнеги-Меллон, Философия (вычислительная эпистемология, пересмотр убеждений и т. д.).
Мэтью Котцен (формальная эпистемология, философия науки)
Мэрион Ледвиг (Задача Ньюкомба)
Ханнес Лейтгеб (пересмотр убеждений, вероятность, байесианство и т. д.)
Исаак Леви Колумбия, философия (пересмотр убеждений, теория принятия решений, вероятность)
Патрик Махер (подтверждение, индуктивная логика)
Дэвид Миллер (вероятность, индукция, логика, Поппер)
Лука Моретти (подтверждение, последовательность, передача ордера, эпистемическая истина)
Дэниел Ошерсон (индуктивная логика, рассуждения, неопределенность)
Рохит Парих CUNY, Информатика ( эпистемическая логика , общеизвестные знания )
Габриэлла Пигоцци (пересмотр убеждений, теория принятия решений)
Джон Л. Поллок (теория принятия решений, рассуждения, искусственный интеллект)
Ганс Ротт (пересмотр убеждений, немонотонная логика, рациональный выбор)
Даррел Роуботтом (основания вероятности, подтверждения, философии науки и т. д.)
Ник Ругай ( вычислительная эпистемология )
Мириам Шенфилд (эпистемология, этика)
Тедди Зайденфельд. Архивировано 13 мая 2008 г. в Wayback Machine. Карнеги-Меллон, философия (статистическая теория принятия решений, теория вероятностей, теория игр).
Вольфганг Шпон (рассуждение, вероятность, причинность, философия науки и т. д.)
Пол Торн (прямой вывод, опровергаемые рассуждения, индукция и т. д.)
Бас Ван Фраассен (неточное доверие, кинематика вероятности)
Питер Вранас (подтверждение, деонтическая логика, путешествия во времени, этика и т. д.)
Грегори Уиллер (вероятность, логика)
Роджер Уайт (подтверждение, космология)
Соня Сметс (Динамико-эпистемическая логика, пересмотр убеждений и т. д.)
Джон Уильямсон (байесианство, вероятность, причинно-следственная связь)
Тимоти Уильямсон (знание, модальность, логика, неопределенность и т. д.)
Дэвид Вулперт ( Теоремы «Нет бесплатного обеда» , т. е. строго Юма; физика и вывод, т. е. теоремы монотеизма, иерархия устройств вывода Хомского и т. д.)

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

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

^ Тэлботт, Уильям (2016). «Байесовская эпистемология» . Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета . Проверено 6 марта 2021 г.
^ Олссон, Эрик Дж. (2018). «Байесовская эпистемология». Введение в формальную философию . Спрингер. стр. 431–442.
^ Хартманн, Стефан; Шпренгер, Январь (2010). «Байесовская эпистемология». Путеводитель Рутледжа по эпистемологии . Лондон: Рутледж. стр. 609–620.
^ Хаек, Алан; Лин, Ханти (2017). «Повесть о двух эпистемологиях?» . Рес Философия . 94 (2): 207–232. дои : 10.11612/resphil.1540 . S2CID 160029122 .

Библиография [ править ]

Арло-Коста, Х., ван Бентем, Дж. и Хендрикс, В.Ф. (ред.) (2012). Читатель формальной эпистемологии. Кембридж: Издательство Кембриджского университета.
Бовенс Л. и Хартманн С. (2003). Байесовская эпистемология. Оксфорд: Издательство Оксфордского университета.
Браун, Б. (2017). Мысли и образ мышления: теория источников и ее приложения. Лондон: Ubiquity Press . [1] .
Хендрикс, В.Ф. (2001). Конвергенция научных знаний: взгляд со стороны. Дордрект: Kluwer Academic Publishers.
Хендрикс, В.Ф. (2006). Мейнстрим и формальная эпистемология. Нью-Йорк: Издательство Кембриджского университета.
Хендрикс, В.Ф. (ред.) (2006). Специальный выпуск «8 мостов между мейнстримом и формальной эпистемологией», Философские исследования.
Хендрикс, В.Ф. (ред.) (2006). Специальный выпуск «Пути миров I-II», Studia Logica.
Хендрикс В.Ф. и Притчард Д. (ред.) (2006). Новые волны в эпистемологии. Олдершот: Эшгейт.
Хендрикс В.Ф. и Саймонс Дж. (ред.) (2005). Формальная философия. Нью-Йорк: Автоматическая пресса / VIP . [2]
Хендрикс В.Ф. и Саймонс Дж. (ред.) (2006). Массы формальной философии. Нью-Йорк: Автоматическая пресса / VIP. [3]
Хендрикс В.Ф. и Хансен П.Г. (ред.) (2007). Теория игр: 5 вопросов. Нью-Йорк: Автоматическая пресса / VIP. [4]
Хендрикс В.Ф. и Саймонс Дж. (2006). Эпистемическая логика. Стэнфордская энциклопедия философии, Стэнфорд. КА: США.
Вулперт, Д.Х. (1996) Отсутствие априорных различий между алгоритмами обучения, Neural Computation, стр. 1341–1390.
Вулперт, Д.Х. (1996) Существование априорных различий между алгоритмами обучения, Neural Computation, стр. 1391–1420.
Вулперт, Д.Х. (2001) Вычислительные возможности физических систем. Физический обзор Е, 65(016128).
Чжу, Х.И. и Р. Ровер, (1996) Никакого бесплатного обеда для перекрестной проверки, стр. 1421–1426.

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

[Talbott-1] Тэлботт, Уильям (2016). «Байесовская эпистемология» . Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета . Проверено 6 марта 2021 г.

[2] Олссон, Эрик Дж. (2018). «Байесовская эпистемология». Введение в формальную философию . Спрингер. стр. 431–442.

[3] Хартманн, Стефан; Шпренгер, Январь (2010). «Байесовская эпистемология». Путеводитель Рутледжа по эпистемологии . Лондон: Рутледж. стр. 609–620.

[4] Хаек, Алан; Лин, Ханти (2017). «Повесть о двух эпистемологиях?» . Рес Философия . 94 (2): 207–232. дои : 10.11612/resphil.1540 . S2CID 160029122 .

[1]

[2]

[3]

[4]