Semantics for Finite Linear Orders and Generalized Peirce's Laws
Zhuanghu Liu
DOI: https://doi.org/10.3969/j.issn.1674-3202.2008.02.004
2008-01-01
Abstract:In this article we generalize the traditional concept of bivalence to that of finite linear orders,and thus generalize in a more general semantic framework the sort of truth preservation which characterizes material implication in traditional bivalent logics. Based on the generalized conception of"truth preservation",that is,an implication holds when the value of the antecedent is not stronger than the value of the consequent,we can establish semantic conditions for the sort of implication that figures in finite linear orders: implications are assigned full truth if they meet the above condition,otherwise they are assigned the same value as the consequent.This gives rise to a special many-valued semantics that is based on finite linear orders and includes concepts like s-validity and validity,which turn out to be decidable.To formally capture this semantics for finite linear orders,we coin a logical system FO,which is an extension of the usual positive propositional logic by two new axioms,characterizing the principle of comparability and the semantic condition for implication,respectively.We then proceed to prove the soundness,completeness and decidability of FO.Finally,based on the observation that the ordinary Peirce's Law is 2-valid but not 3-valid,we obtain the generalized notion of m-order Peirce's Law,which is provably m-valid but not m+l-valid,and thus can be used to distinguish between finite linear orders of different cardinalities.This leads to systems FO_m that extend FO by adding to it the m-order Peirce's Law as an axiom.We prove that FO_m is sound and complete with respect to m-validity,and hence show that this system characterizes linear orders of m elements.