<p>Bayesian conditionalization is rigid: learning <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(E\)</EquationSource> </InlineEquation> fixes p(<InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(E\)</EquationSource> </InlineEquation>) at 1 while preserving probabilities conditional on <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(E\)</EquationSource> </InlineEquation>. Non-rigid update is preferable when, in the course of learning <i>that </i><InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(E\)</EquationSource> </InlineEquation> is true, we change our views about <i>how</i>—by way of which truthmakers <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\epsilon\)</EquationSource> </InlineEquation>. A Jeffrey-style generalization of Bayes—active conditioning—is developed which gives learning events a handle on <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\textrm{p}(\epsilon |E)\)</EquationSource> </InlineEquation> and p(<InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(E\)</EquationSource> </InlineEquation>) both. <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(E\)</EquationSource> </InlineEquation> brings a truthmaker-incorporating “probasition” to the table, rather than simply an intension.&#xa0; Confirmation relations go hyperintensional as a result. <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(E_{i}\)</EquationSource> </InlineEquation>s true in the same worlds may not license the same updates, if their truth flows from different sources.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Fine-grained evidence

  • Stephen Yablo

摘要

Bayesian conditionalization is rigid: learning \(E\) fixes p( \(E\) ) at 1 while preserving probabilities conditional on \(E\) . Non-rigid update is preferable when, in the course of learning that \(E\) is true, we change our views about how—by way of which truthmakers \(\epsilon\) . A Jeffrey-style generalization of Bayes—active conditioning—is developed which gives learning events a handle on \(\textrm{p}(\epsilon |E)\) and p( \(E\) ) both. \(E\) brings a truthmaker-incorporating “probasition” to the table, rather than simply an intension.  Confirmation relations go hyperintensional as a result. \(E_{i}\) s true in the same worlds may not license the same updates, if their truth flows from different sources.