On the basis of differently defined functions- than otherwise - for conjunction, disjunction and implication （＊）, we construct a formal system, as an axiomatic theory, on its three levels： propositional, predicate...On the basis of differently defined functions- than otherwise - for conjunction, disjunction and implication （＊）, we construct a formal system, as an axiomatic theory, on its three levels： propositional, predicate and arithmetical one, intended to be a formalizaton of identically false formulas. We argue somewhat in favor of such a system from the point of view of its meta theory （it is complete and consistent one）, of properties of duality, symmetry etc., as well as of a logic of a possible world.展开更多
文摘On the basis of differently defined functions- than otherwise - for conjunction, disjunction and implication （＊）, we construct a formal system, as an axiomatic theory, on its three levels： propositional, predicate and arithmetical one, intended to be a formalizaton of identically false formulas. We argue somewhat in favor of such a system from the point of view of its meta theory （it is complete and consistent one）, of properties of duality, symmetry etc., as well as of a logic of a possible world.
