<p>In the paper, we consider a particular way of obtaining modal extensions of the discussive logic <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2024_9781_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {D}} _{{\textbf {2}} }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">D</mi> <mn mathvariant="bold">2</mn> </msub> </math></EquationSource> </InlineEquation> (Jaśkowski <CitationRef CitationID="CR5">1948</CitationRef>; <CitationRef CitationID="CR6">1949</CitationRef>). The proposed framework of defining modal discussive logics is a novelty compared to the one presented in Mruczek-Nasieniewska et al. (<CitationRef CitationID="CR8">2019</CitationRef><i>Logic Journal of IGPL, 27</i>(4), 451–477). In this case, different discussants may have different views about what is necessary (resp. possible) in a given world. We enrich the intuitive model of discussion given by Jaśkowski. This is obtained by considering two-sorted frames. The first sort consists of discussants and the second of situations. We have a universal accessibility relation between the discussants, i.e., we use the standard semantic formulation of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2024_9781_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {S5}} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">S</mi> <mn mathvariant="bold">5</mn> </mrow> </math></EquationSource> </InlineEquation>, which is characteristic of the original variant of the discussive logic <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10992_2024_9781_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {D}} _{{\textbf {2}} }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">D</mi> <mn mathvariant="bold">2</mn> </msub> </math></EquationSource> </InlineEquation>. For a frame, a valuation assigns to each discussant a set of atomic sentences they accept in a given situation. Although different discussants may have different views about what occurs in a given world, their views should be within the same “domain of possibilities”. Therefore, we have a common set of possible situations and an accessibility relation for all discussants. The introduction of modal operators allows for specifying strict discussive implications, which—as it seems—correspond to colloquial discussive conditionals better than Jaśkowski’s discussive implication. We also analyze various semantic and syntactic (including axiomatizations) aspects of modal discussive logics resulting from the proposed framework.</p>

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

Modal Discussive Logics

  • Krystyna Mruczek-Nasieniewska,
  • Marek Nasieniewski,
  • Andrzej Pietruszczak

摘要

In the paper, we consider a particular way of obtaining modal extensions of the discussive logic \({\textbf {D}} _{{\textbf {2}} }\) D 2 (Jaśkowski 1948; 1949). The proposed framework of defining modal discussive logics is a novelty compared to the one presented in Mruczek-Nasieniewska et al. (2019Logic Journal of IGPL, 27(4), 451–477). In this case, different discussants may have different views about what is necessary (resp. possible) in a given world. We enrich the intuitive model of discussion given by Jaśkowski. This is obtained by considering two-sorted frames. The first sort consists of discussants and the second of situations. We have a universal accessibility relation between the discussants, i.e., we use the standard semantic formulation of \({\textbf {S5}} \) S 5 , which is characteristic of the original variant of the discussive logic \({\textbf {D}} _{{\textbf {2}} }\) D 2 . For a frame, a valuation assigns to each discussant a set of atomic sentences they accept in a given situation. Although different discussants may have different views about what occurs in a given world, their views should be within the same “domain of possibilities”. Therefore, we have a common set of possible situations and an accessibility relation for all discussants. The introduction of modal operators allows for specifying strict discussive implications, which—as it seems—correspond to colloquial discussive conditionals better than Jaśkowski’s discussive implication. We also analyze various semantic and syntactic (including axiomatizations) aspects of modal discussive logics resulting from the proposed framework.