Order:
See also
Xuefeng Wen
Sun Yat-Sen University
  1.  22
    Judgment Aggregation in Nonmonotonic Logic.Xuefeng Wen - 2018 - Synthese 195 (8):3651-3683.
    Judgment aggregation studies how to aggregate individual judgments on logically correlated propositions into collective judgments. Different logics can be used in judgment aggregation, for which Dietrich and Mongin have proposed a generalized model based on general logics. Despite its generality, however, all nonmonotonic logics are excluded from this model. This paper argues for using nonmonotonic logic in judgment aggregation. Then it generalizes Dietrich and Mongin’s model to incorporate a large class of nonmonotonic logics. This generalization broadens the theoretical boundaries of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  67
    A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis.Xuefeng Wen - 2007 - Studia Logica 85 (2):251-260.
    We construct a a system PLRI which is the classical propositional logic supplied with a ternary construction , interpreted as the intensional identity of statements and in the context . PLRI is a refinement of Roman Suszko’s sentential calculus with identity (SCI) whose identity connective is a binary one. We provide a Hilbert-style axiomatization of this logic and prove its soundness and completeness with respect to some algebraic models. We also show that PLRI can be used to give a partial (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  32
    An N -Player Semantic Game for an N + 1-Valued Logic.Shier Ju & Xuefeng Wen - 2008 - Studia Logica 90 (1):17-23.
    First we show that the classical two-player semantic game actually corresponds to a three-valued logic. Then we generalize this result and give an n-player semantic game for an n + 1-valued logic with n binary connectives, each associated with a player. We prove that player i has a winning strategy in game G if and only if the truth value of φ is $t_i $ in the model M, for 1 ≤ i ≤ n; and none of the players has (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  36
    On Formalizing Causation Based on Constant Conjunction Theory.Hu Liu & Xuefeng Wen - 2013 - Review of Symbolic Logic 6 (1):160-181.
    Constant conjunction theory of causation had been the dominant theory in philosophy for a long time and regained attention recently. This paper gives a logical framework of causation based on the theory. The basic idea is that causal statements are empirical, and are derived from our past experience by observing constant conjunction between objects. The logic is defined on linear time structures. A causal statement is evaluated at time points, such that its value depends on what has been in the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  5.  38
    Semantic Games with Chance Moves Revisited: From IF Logic to Partial Logic.Xuefeng Wen & Shier Ju - 2013 - Synthese 190 (9):1605-1620.
    We associate the semantic game with chance moves conceived by Blinov with Blamey’s partial logic. We give some equivalent alternatives to the semantic game, some of which are with a third player, borrowing the idea of introducing the pseudo-player called Nature in game theory. We observe that IF propositional logic proposed by Sandu and Pietarinen can be equivalently translated to partial logic, which implies that imperfect information may not be necessary for IF propositional logic. We also indicate that some independent (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  28
    Plausibility, Necessity and Identity: A Logic of Relative Plausibility. [REVIEW]Xiaowu Li & Xuefeng Wen - 2007 - Frontiers of Philosophy in China 2 (4):629-644.
    We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics. Using the language of RPL, we demonstrate that it can define well-studied notions of necessity, conditionals and propositional identity.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  7.  8
    Simulative Belief Logic.Hu Liu, Yuan Ren & Xuefeng Wen - 2013 - Journal of Applied Logic 11 (2):217-228.