The current corporate finance is based on the theory framework of new classical economics. Therefore, the main contents such as free cash flow, NPV method and capital structure decision-making are still based on the b...The current corporate finance is based on the theory framework of new classical economics. Therefore, the main contents such as free cash flow, NPV method and capital structure decision-making are still based on the balanced price of product and capital markets, they still can＇t reflect the essential character of corporation. The logic paradox, causes the current corporate finance study under a more and more embarrassing circumstance in the front of enterprise financial management practice, with the feature of value management.展开更多
This paper seeks to identify the minimal restrictions that need to be placed on the naive comprehension principle to avoid inconsistency in set theory. Analysis of the logical antinomies shows that at the root of inco...This paper seeks to identify the minimal restrictions that need to be placed on the naive comprehension principle to avoid inconsistency in set theory. Analysis of the logical antinomies shows that at the root of inconsistency in naive set theory are certain ＂self contradictory＂ predicate functions in extensional set descriptions containing the matrix ＂-（x∈y）＂ （or ＂-（x∈x）＂） rather than ＂size,＂ vicious circularity, or self-reference. A reformed set comprehension system is proposed that excludes extensional set descriptions that conform to the formula, （Vx） （Зy） （x∈y →P （x）） （3u） （u∈y→（u∈y））, from comprehension and otherwise preserves the ontology of na＇fve set theory. This reform avoids the paradoxes by scrutiny of a set＇s description without recourse to type or other constructivist limitations on self-membership and has the most liberal rules for set formation conceivable including self-membership. The intuitive appeal for such an approach is compelling because as a revision of na＇fve set theory, it allows all possible set descriptions that do not lead to inconsistency.展开更多
In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of...In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of minimal inconsistency is proposetl. Finally the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided.展开更多
文摘The current corporate finance is based on the theory framework of new classical economics. Therefore, the main contents such as free cash flow, NPV method and capital structure decision-making are still based on the balanced price of product and capital markets, they still can＇t reflect the essential character of corporation. The logic paradox, causes the current corporate finance study under a more and more embarrassing circumstance in the front of enterprise financial management practice, with the feature of value management.
文摘This paper seeks to identify the minimal restrictions that need to be placed on the naive comprehension principle to avoid inconsistency in set theory. Analysis of the logical antinomies shows that at the root of inconsistency in naive set theory are certain ＂self contradictory＂ predicate functions in extensional set descriptions containing the matrix ＂-（x∈y）＂ （or ＂-（x∈x）＂） rather than ＂size,＂ vicious circularity, or self-reference. A reformed set comprehension system is proposed that excludes extensional set descriptions that conform to the formula, （Vx） （Зy） （x∈y →P （x）） （3u） （u∈y→（u∈y））, from comprehension and otherwise preserves the ontology of na＇fve set theory. This reform avoids the paradoxes by scrutiny of a set＇s description without recourse to type or other constructivist limitations on self-membership and has the most liberal rules for set formation conceivable including self-membership. The intuitive appeal for such an approach is compelling because as a revision of na＇fve set theory, it allows all possible set descriptions that do not lead to inconsistency.
文摘In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of minimal inconsistency is proposetl. Finally the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided.
