11/04 - 赵贤 (Zhao Xian)
Nanjing University, China
"On Logical Structure of Hope".
Abstract: One person has a hope means that he hopes a proposition be true, so that hope is the modality of the proposition. Hope logic studies on logical relations among hope modal propositions. Rational hope is deductively enclosed, consistent,self-affirmed, etc., and these properties can compose axioms of hope logic. An important property of hope is that people hope their hopes can be true, which are not necessarily true. It is the particular axiom of hope logic, which is called ‘hope axiom’. By means of possible worlds semantics, some complete and reliable hope logic systems can be obtained with different axioms.
Keywords: Hope logic, Hope axiom, Mental logic.