Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Формальная эпистемология использует формальные методы теории принятия решений, логики, теории вероятностей и теории вычислимости для моделирования и рассуждений по вопросам, представляющим интерес для эпистемологии. Исследования в этой области охватывают различные академические дисциплины, включая философию, компьютерные науки, экономику и статистику. В формальной эпистемологии акцент несколько смещен по сравнению с традиционной эпистемологией, при этом больше внимания уделяется таким темам, как неопределенность, индукция и пересмотр убеждений, чем анализу знания, скептицизму и проблемам обоснования.
Formal epistemology uses formal methods from decision theory, logic, probability theory and computability theory to model and reason about issues of epistemological interest. Work in this area spans several academic fields, including philosophy, computer science, economics, and statistics. The focus of formal epistemology has tended to differ somewhat from that of traditional epistemology, with topics like uncertainty, induction, and belief revision garnering more attention than the analysis of knowledge, skepticism, and issues with justification.
История
Хотя эпистемологи, ориентированные на формальные методы, работали с момента возникновения формальной логики и теории вероятностей (если не раньше), только недавно они объединились под общим дисциплинарным названием. Рост популярности этой области можно объяснить организацией ежегодных семинаров по формальной эпистемологии Бранденом Фительсоном и Сахотрой Саркар, начиная с 2004 года, и конференций PHILOG, начиная с 2002 года (Сеть философской логики и ее приложений), организованных Винсентом Ф. Хендриксом. Философский факультет Университета Карнеги — Меллона ежегодно проводит летнюю школу по логике и формальной эпистемологии. В 2010 году факультет основал Центр формальной эпистемологии.
Though formally oriented epistemologists have been laboring since the emergence of formal logic and probability theory (if not earlier), only recently have they been organized under a common disciplinary title. This gain in popularity may be attributed to the organization of yearly Formal Epistemology Workshops by Branden Fitelson and Sahotra Sarkar, starting in 2004, and the PHILOG conferences starting in 2002 (The Network for Philosophical Logic and Its Applications) organized by Vincent F. Hendricks. Carnegie Mellon University's Philosophy Department hosts an annual summer school in logic and formal epistemology. In 2010, the department founded the Center for Formal Epistemology.
Бейсианская эпистемология
Байесовская эпистемология – важная теория в области формальной эпистемологии. Она берет начало в работах Томаса Бейса в области теории вероятностей. В ее основе лежит идея о том, что убеждения формируются постепенно, а степень уверенности в них можно описать как субъективные вероятности. Следовательно, они подчиняются законам теории вероятностей, которые выступают в качестве норм рациональности. Эти нормы можно разделить на статические ограничения, регулирующие рациональность убеждений в любой момент времени, и динамические ограничения, определяющие, как рациональные агенты должны изменять свои убеждения при получении новых доказательств. Наиболее характерным байесовским выражением этих принципов является концепция "голландской книги", которая демонстрирует иррациональность агентов посредством серии ставок, приводящих к убыткам агента независимо от того, какое из вероятностных событий произойдет. Байезианцы применяют эти фундаментальные принципы к различным эпистемологическим вопросам, однако байесианство не охватывает все темы традиционной эпистемологии. Например, проблему подтверждения в философии науки можно рассмотреть с помощью байесовского принципа условной вероятности, полагая, что доказательство подтверждает теорию, если оно повышает вероятность ее истинности. Различные предложения были выдвинуты для определения понятия согласованности в терминах вероятности, обычно в том смысле, что два утверждения согласованы, если вероятность их совместности выше, чем если бы они были нейтрально связаны друг с другом. Байесовский подход также оказался плодотворным в области социальной эпистемологии, например, при рассмотрении проблемы свидетельств или проблемы групповых убеждений. Байесианство по-прежнему сталкивается с различными теоретическими возражениями, которые не были полностью разрешены.
Bayesian epistemology is an important theory in the field of formal epistemology. It has its roots in Thomas Bayes' work in the field of probability theory. It is based on the idea that beliefs are held gradually and that the strengths of the beliefs can be described as subjective probabilities. As such, they are subject to the laws of probability theory, which act as the norms of rationality. These norms can be divided into static constraints, governing the rationality of beliefs at any moment, and dynamic constraints, governing how rational agents should change their beliefs upon receiving new evidence. The most characteristic Bayesian expression of these principles is found in the form of Dutch books, which illustrate irrationality in agents through a series of bets that lead to a loss for the agent no matter which of the probabilistic events occurs. Bayesians have applied these fundamental principles to various epistemological topics but Bayesianism does not cover all topics of traditional epistemology. The problem of confirmation in the philosophy of science, for example, can be approached through the Bayesian principle of conditionalization by holding that a piece of evidence confirms a theory if it raises the likelihood that this theory is true. Various proposals have been made to define the concept of coherence in terms of probability, usually in the sense that two propositions cohere if the probability of their conjunction is higher than if they were neutrally related to each other. The Bayesian approach has also been fruitful in the field of social epistemology, for example, concerning the problem of testimony or the problem of group belief. Bayesianism still faces various theoretical objections that have not been fully solved.