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

редактировать

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

Содержание

1 История
2 Темы
3 Список современных формальных эпистемологов
4 См. Также
5 Ссылки
6 Внешние ссылки

История

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

Темы

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

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

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

Горацио Арло-Коста, Карнеги-Меллон, Философия (байесовская эпистемология, эпистемологическая логика, пересмотр убеждений, условности, рациональный выбор, нормативная и поведенческая теория решений)
Александру Балтаг (динамико-эпистемологическая логика, вероятностная логика, пересмотр убеждений и т. Д.)
Люк Бовенс (байесовская эпистемология, вероятность и т. Д.)
Самир Чопра (пересмотр верований, физика, et c.)
Джейк Чендлер (байесовская эпистемология, пересмотр убеждений и т. д.)
Джон Коллинз Колумбия, философия (пересмотр убеждений, теория причинных решений)
Франц Дитрих (коллективный принятие решений и т. д.)
Трент Догерти (радикальный вероятностный подход Джеффри, семантика модальных окон, теории вероятностей)
Игорь Дувен (байесовская эпистемология и т. д.)
Эллери Иллс (подтверждение, вероятность)
(вероятностные рассуждения, законы и т. Д.)
Бранден Фителсон (подтверждение, логика и т. Д.)
(подтверждение, простота, причинная связь)
Хаим Гайфман Колумбия, Философия (основы вероятности, математическая логика)
Энтони Гиллис (пересмотр убеждений, формальная семантика)
Алан Хайек (основы вероятности, теория принятия решений, и т. д.)
Джозеф Халперн (рассуждения о знании и неопределенности)
Свен Ове Ханссон (риск, теория принятия решений, пересмотр убеждений, деонтическая логика)
Гилберт Харман (эпистемология, теория статистического обучения, разум и язык д)
Стефан Хартманн (байесовская эпистемология, вероятность, коллективное принятие решений и т. д.)
Джеймс Хоторн (теория подтверждения, индуктивная логика, пересмотр убеждений, немонотонная логика)
Джефф Хельцнер Колумбия, философия (теория принятия решений, рациональный выбор)
Винсент Ф. Хендрикс Копенгаген и Колумбия, философия (эпистемическая логика, формальная теория обучения, обработка информации и анализ демократии)
Франц Хубер (формальная эпистемология, философия науки, философская логика)
Ричард Джеффри (вероятностное рассуждение)
Джеймс Джойс (теория принятия решений)
Кевин Т. Келли, Карнеги-Меллон, Философия (вычислительная эпистемология, пересмотр верований и т. Д.)
Мэтью Коцен (формальная эпистемология, философия науки)
Марион Ледвиг (проблема Ньюкома)
Ханнес Лейтгеб (пересмотр верований, вероятность, байесовство и т. д.)
Исаак Леви Колумбия, философия (пересмотр убеждений, теория принятия решений, вероятность)
Патрик Махер (подтвердить
Дэвид Миллер (вероятность, индукция, логика, Поппер)
Лука Моретти (подтверждение, согласованность, передача ордера, эпистемическая истина)
Дэниел Ошерсон (индуктивная логика, рассуждение, неопределенность)
Рохит Парих CUNY, Computer Science (эпистемическая логика, общеизвестные )
(пересмотр убеждений, теория принятия решений)
Джон Л.. Поллок (теория принятия решений, рассуждение, ИИ)
Ганс Ротт (пересмотр убеждений, немонотонная логика, рациональный выбор)
Даррелл Роуботтом (основы вероятности, подтверждения, философия науки, и т. д.)
(вычислительная эпистемология )
(эпистемология, этика)
Тедди Зайденфельд Карнеги-Меллон, Философия (теория статистических решений, теория вероятностей, теория игр)
Вольфганг Спон (рассуждение, вероятность, причинно-следственная связь, философия науки и т. д.)
Пол Торн (прямой вывод, доказуемое рассуждение, индукция и т. д.)
Бас Ван Фраассен (неточное доверие, вероятностная кинематика)
Питер Вранас (подтверждение, деонтическая логика, путешествия во времени, этика и т. Д.)
Грегори Уиллер (вероятность, логика)
Роджер Уайт (подтверждение, космология)
Соня Сметс (Динамико-эпистемическая логика, пересмотр убеждений и т. Д.)
Джон Уильямсон (байесианство, вероятность, причинно-следственная связь)
Тимоти Уильямсон (знание, модальность, логика, неопределенность и т. Д.)
Дэвид Вулперт (теоремы о запрете бесплатного обеда, т. Е. Юм, сделанный строго; физика и вывод, т.е. теоремы монотеизма, иерархия устройств вывода по Хомскому и т. д.)

См. также

Ссылки

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

Внешние ссылки