{"title":"双极逻辑和双极模糊逻辑——真理、模糊性和双极性的统一","authors":"Wen-Ran Zhang","doi":"10.1109/NAFIPS.2002.1018071","DOIUrl":null,"url":null,"abstract":"It is observed that bipolar equilibrium is truth. Bipolarity like fuzziness, as an integral part of truth, is inseparable from the truth. It is argued that Boolean logic and its extensions cannot be directly used to represent and reason with the coexistence of bipolar truth. A crisp bipolar combinational logic BCL/sub I/ and its fuzzy counterpart BCL/sub F/ are proposed for bipolar modeling based on the ancient Chinese Yin-Yang philosophy. The new family of logical systems is distinguished from other models. Bipolar zero-order completeness and 1st-order soundness are proved with a Hilbert style proof theory based on unipolar axioms and rules of inference. In addition, the lair's case in the ancient paradox is redressed.","PeriodicalId":348314,"journal":{"name":"2002 Annual Meeting of the North American Fuzzy Information Processing Society Proceedings. NAFIPS-FLINT 2002 (Cat. No. 02TH8622)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Bipolar logic and bipolar fuzzy logic - a unification of truth, fuzziness, and bipolarity\",\"authors\":\"Wen-Ran Zhang\",\"doi\":\"10.1109/NAFIPS.2002.1018071\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"It is observed that bipolar equilibrium is truth. Bipolarity like fuzziness, as an integral part of truth, is inseparable from the truth. It is argued that Boolean logic and its extensions cannot be directly used to represent and reason with the coexistence of bipolar truth. A crisp bipolar combinational logic BCL/sub I/ and its fuzzy counterpart BCL/sub F/ are proposed for bipolar modeling based on the ancient Chinese Yin-Yang philosophy. The new family of logical systems is distinguished from other models. Bipolar zero-order completeness and 1st-order soundness are proved with a Hilbert style proof theory based on unipolar axioms and rules of inference. In addition, the lair's case in the ancient paradox is redressed.\",\"PeriodicalId\":348314,\"journal\":{\"name\":\"2002 Annual Meeting of the North American Fuzzy Information Processing Society Proceedings. NAFIPS-FLINT 2002 (Cat. No. 02TH8622)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-08-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2002 Annual Meeting of the North American Fuzzy Information Processing Society Proceedings. NAFIPS-FLINT 2002 (Cat. No. 02TH8622)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NAFIPS.2002.1018071\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2002 Annual Meeting of the North American Fuzzy Information Processing Society Proceedings. NAFIPS-FLINT 2002 (Cat. No. 02TH8622)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NAFIPS.2002.1018071","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Bipolar logic and bipolar fuzzy logic - a unification of truth, fuzziness, and bipolarity
It is observed that bipolar equilibrium is truth. Bipolarity like fuzziness, as an integral part of truth, is inseparable from the truth. It is argued that Boolean logic and its extensions cannot be directly used to represent and reason with the coexistence of bipolar truth. A crisp bipolar combinational logic BCL/sub I/ and its fuzzy counterpart BCL/sub F/ are proposed for bipolar modeling based on the ancient Chinese Yin-Yang philosophy. The new family of logical systems is distinguished from other models. Bipolar zero-order completeness and 1st-order soundness are proved with a Hilbert style proof theory based on unipolar axioms and rules of inference. In addition, the lair's case in the ancient paradox is redressed.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
