Формальная эпистемология - Formal epistemology
Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) (Узнайте, как и когда удалить этот шаблон сообщения)
|
Формальная эпистемология использует формальные методы из теория принятия решений, логика, теория вероятности и теория вычислимости моделировать и рассуждать о проблемах эпистемологический интерес. Работа в этой области охватывает несколько академических областей, в том числе философия, Информатика, экономика, и статистика. Фокус формальной эпистемологии имел тенденцию несколько отличаться от традиционной эпистемологии, при этом такие темы, как неопределенность, индукция и пересмотр убеждений, привлекали больше внимания, чем анализ знания, скептицизм и проблемы с обоснованием.
История
Хотя формально ориентированные эпистемологи трудятся с момента появления формальная логика и теория вероятностей (если не раньше), только недавно они были организованы под общим дисциплинарным названием. Этот рост популярности может быть объяснен организацией ежегодных семинаров по формальной эпистемологии. Бранден Фителсон и Сахотра Саркар, начиная с 2004 г., а ФИЛОГ -конференции, начиная с 2002 г. (Сеть философской логики и ее приложений), организованные Винсент Ф. Хендрикс. Факультет философии Университета Карнеги-Меллона ежегодно проводит летнюю школу по логике и формальной эпистемологии. В 2010 году кафедра основала Центр формальной эпистемологии.
Темы
Некоторые из тем, которые подпадают под заголовок формальной эпистемологии, включают:
- Амплиативный вывод (включая индуктивная логика );
- Пересмотр веры теория
- Теория игры и теория принятия решений;
- Теория алгоритмического обучения (вычислительная эпистемология );
- Формальные подходы к парадоксы веры и / или действия;
- Формальные модели эпистемических состояний, например вера и неуверенность;
- Формальные теории когерентизм и подтверждение;
- Основы вероятности и статистики.
Список современных формальных эпистемологов
- Орасио Арло-Коста, Карнеги-Меллон, философия (байесовская эпистемология, эпистемологическая логика, пересмотр убеждений, условные утверждения, рациональный выбор, нормативная и поведенческая теория принятия решений)
- Александру Балтаг (динамико-эпистемическая логика, вероятностная логика, пересмотр убеждений и т. д.)
- Люк Бовенс (Байесовская эпистемология, вероятность и т. Д.)
- Самир Чопра (пересмотр веры, физика и т. д.)
- Джейк Чендлер (Байесовская эпистемология, пересмотр убеждений и т. Д.)
- Джон Коллинз Колумбия, Философия (пересмотр убеждений, теория причинных решений)
- Франц Дитрих (коллективное принятие решений и др.)
- Трент Догерти (Радикальный вероятностный подход Джеффри, семантика модальных окон, теории вероятностей)
- Игорь Дувен (Байесовская эпистемология и др.)
- Эллери Эллс (подтверждение, вероятность)
- Адам Эльга (вероятностные рассуждения, законы и т. д.)
- Бранден Фителсон (подтверждение, логика и т. д.)
- Малькольм Форстер (подтверждение, простота, причинность)
- Хаим Гайфман Колумбия, Философия (основы вероятности, математическая логика)
- Энтони Гиллис (пересмотр убеждений, формальная семантика)
- Марио Гомес-Торренте
- Алан Хайек (основы вероятности, теория принятия решений и др.)
- Джозеф Халперн (рассуждения о знаниях и неопределенности)
- Свен Уве Ханссон (риск, теория принятия решений, пересмотр убеждений, деонтическая логика)
- Гилберт Харман (эпистемология, статистическая теория обучения, разум и язык)
- Стефан Хартманн (Байесовская эпистемология, вероятность, коллективное принятие решений и т. Д.)
- Джеймс Хоторн (теория подтверждения, индуктивная логика, пересмотр убеждений, немонотонная логика)
- Джефф Хельцнер Колумбия, Философия (теория принятия решений, рациональный выбор)
- Винсент Ф. Хендрикс Копенгаген и Колумбия, философия (эпистемологическая логика, формальная теория обучения, обработка информации и анализ демократии)
- Франц Хубер (формальная эпистемология, философия науки, философская логика)
- Ричард Джеффри (вероятностное рассуждение)
- Джеймс Джойс (теория принятия решений)
- Кевин Т. Келли, Карнеги-Меллон, Философия (вычислительная эпистемология, пересмотр убеждений и т. Д.)
- Мэтью Котцен (формальная эпистемология, философия науки)
- Марион Ледвиг (проблема Ньюкома)
- Ханнес Лейтгеб (пересмотр убеждений, вероятность, байесианство и т. д.)
- Исаак Леви Колумбия, философия (пересмотр убеждений, теория принятия решений, вероятность)
- Патрик Махер (подтверждение, индуктивная логика)
- Дэвид Миллер (вероятность, индукция, логика, Поппер)
- Лука Моретти (подтверждение, согласованность, передача довода, эпистемическая истина)
- Дэниел Ошерсон (индуктивная логика, рассуждения, нечеткость)
- Рохит Парих CUNY, Компьютерные науки (эпистемическая логика, всем известный факт )
- Габриэлла Пигоцци (пересмотр убеждений, теория принятия решений)
- Джон Л. Поллок (теория принятия решений, рассуждение, AI)
- Ганс Ротт (пересмотр убеждений, немонотонная логика, рациональный выбор)
- Даррелл Роуботтом (основы вероятности, подтверждения, философия науки и др.)
- Ник Ругаи (вычислительная эпистемология )
- Мириам Шонфилд (эпистемология, этика)
- Тедди Зайденфельд Карнеги-Меллон, Философия (теория статистических решений, теория вероятностей, теория игр)
- Вольфганг Шпон (рассуждение, вероятность, причинность, философия науки и т. д.)
- Пол Торн (прямой вывод, доказуемое рассуждение, индукция и т. Д.)
- Бас Ван Фраассен (неточная достоверность, вероятностная кинематика)
- Питер Вранас (подтверждение, деонтическая логика, путешествия во времени, этика и т. Д.)
- Грегори Уиллер (вероятность, логика)
- Роджер Уайт (подтверждение, космология)
- Соня Сметс (Динамико-эпистемическая логика, пересмотр убеждений и т. Д.)
- Джон Уильямсон (Байесианство, вероятность, причинность)
- Тимоти Уильямсон (знание, модальность, логика, неопределенность и т. д.)
- Дэвид Вольперт (Теоремы об отсутствии бесплатного обеда, т. е. Юм сделан строго; физика и вывод, то есть теоремы монотеизма, иерархия устройств вывода Хомского и т. д.)
Смотрите также
- Теория алгоритмического обучения
- Пересмотр веры
- Теория вычислимости
- Теория вычислительного обучения
- Теория игры
- Индуктивная логика
Рекомендации
- Арло-Коста, Х., ван Бентем, Дж. И Хендрикс, В. Ф. (ред.) (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). Эпистемическая логика. Стэнфордская энциклопедия философии, Стэнфорд. КА: США.
- Wolpert, D.H., (1996) Отсутствие априорных различий между алгоритмами обучения, Neural Computing, стр. 1341–1390.
- Wolpert, D.H., (1996) Существование априорных различий между алгоритмами обучения, Neural Computing, стр. 1391–1420.
- Wolpert, D.H., (2001) Вычислительные возможности физических систем. Physical Review E, 65 (016128).
- Чжу, Х. и R. Rohwer, (1996) Нет бесплатного обеда для перекрестной проверки, стр. 1421–1426.
внешняя ссылка
- Вайсберг, Джонатан. «Формальная эпистемология». В Залта, Эдуард Н. (ред.). Стэнфордская энциклопедия философии.
- Формальная эпистемология на Проект онтологии философии Индианы
- Формальная эпистемология в PhilPapers
- Семинар по формальной эпистемологии
- Формальная эпистемология встречает семинар по экспериментальной философии
- Официальный архив эпистемологии
- Летняя школа Карнеги-Меллона по логике и формальной эпистемологии
- Формальная философия
- Формальная эпистемология, бесплатный онлайн-журнал.
- Причина
- Формальный эпистемологический проект
- Центр формальной эпистемологии Карнеги-Меллона
- Формальная эпистемология
- Формальная эпистемология и логика