<p>The last 50 years of research has taught us that conditionals are non-monotonic in the antecedent. That is, they invalidate Antecedent Strengthening. Many accounts have been developed for such conditionals, starting with Stalnaker and Lewis. These accounts converge roughly to Burgess’ conditional logic <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2025_9787_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{\textsf{B}}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mi mathvariant="sans-serif">B</mi> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> or the non-monotonic reasoning system <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2025_9787_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">P</mi> </math></EquationSource> </InlineEquation>. The latter two have Cautious Monotonicity as a weak replacement for Antecedent Strengthening. Lewis’ weakest conditional logic <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2025_9787_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{\textsf{V}}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mi mathvariant="sans-serif">V</mi> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> or its non-monotonic reasoning counterpart system <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2025_9787_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">R</mi> </math></EquationSource> </InlineEquation> are obtained by adding a stronger proxi for Antecedent Strengthening – the law of Rational Monotonicity. I argue that Rational Monotonicity is too much while Cautious Monotonicity is not enough monotonicity. I investigate two other monotonicity postulates, which are jointly weaker than Rational Monotonicity. One of them is related to Disjunctive Rationality, the other one is related to the idea of replacing the preservation law encoded in Rational Monotonicity by a pivoting principle – instead of conserving a conclusion when adding a compatible supposition, the principle recommends pivoting from a disjunction to another disjunction when the reason for the first is undermined by such an addition. This gives rise to three logics in between <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2025_9787_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{\textsf{B}}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mi mathvariant="sans-serif">B</mi> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2025_9787_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{\textsf{V}}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mi mathvariant="sans-serif">V</mi> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> and three other logics in between <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2025_9787_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{\textsf{BN}}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mi mathvariant="sans-serif">BN</mi> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2025_9787_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{\textsf{VN}}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mi mathvariant="sans-serif">VN</mi> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> obtained by strengthening <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2025_9787_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{\textsf{B}}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mi mathvariant="sans-serif">B</mi> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2025_9787_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{\textsf{V}}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mi mathvariant="sans-serif">V</mi> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> by a consistency axiom. I prove soundness, completeness and decidability results for these six new logics, using set-selection semantics, its correspondence theory, and filtrations. In the second follow-up paper, I investigate five other semantics for the new logics: well founded strict order semantics, a new closeness semantics, several weakenings of ranking semantics, and new versions of Lewis’ and Burgess’ similarity semantics.</p>

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

Between Burgess and Lewis – Part I: Logics without Rational Monotonicity

  • Eric Raidl

摘要

The last 50 years of research has taught us that conditionals are non-monotonic in the antecedent. That is, they invalidate Antecedent Strengthening. Many accounts have been developed for such conditionals, starting with Stalnaker and Lewis. These accounts converge roughly to Burgess’ conditional logic \({{\,\mathrm{\textsf{B}}\,}}\) B or the non-monotonic reasoning system \(\textbf{P}\) P . The latter two have Cautious Monotonicity as a weak replacement for Antecedent Strengthening. Lewis’ weakest conditional logic \({{\,\mathrm{\textsf{V}}\,}}\) V or its non-monotonic reasoning counterpart system \(\textbf{R}\) R are obtained by adding a stronger proxi for Antecedent Strengthening – the law of Rational Monotonicity. I argue that Rational Monotonicity is too much while Cautious Monotonicity is not enough monotonicity. I investigate two other monotonicity postulates, which are jointly weaker than Rational Monotonicity. One of them is related to Disjunctive Rationality, the other one is related to the idea of replacing the preservation law encoded in Rational Monotonicity by a pivoting principle – instead of conserving a conclusion when adding a compatible supposition, the principle recommends pivoting from a disjunction to another disjunction when the reason for the first is undermined by such an addition. This gives rise to three logics in between \({{\,\mathrm{\textsf{B}}\,}}\) B and \({{\,\mathrm{\textsf{V}}\,}}\) V and three other logics in between \({{\,\mathrm{\textsf{BN}}\,}}\) BN and \({{\,\mathrm{\textsf{VN}}\,}}\) VN obtained by strengthening \({{\,\mathrm{\textsf{B}}\,}}\) B and \({{\,\mathrm{\textsf{V}}\,}}\) V by a consistency axiom. I prove soundness, completeness and decidability results for these six new logics, using set-selection semantics, its correspondence theory, and filtrations. In the second follow-up paper, I investigate five other semantics for the new logics: well founded strict order semantics, a new closeness semantics, several weakenings of ranking semantics, and new versions of Lewis’ and Burgess’ similarity semantics.