NDLI: Bipolar Sets and YinYang Bipolar Dynamic Logic ( BDL )

Please wait, while we are loading the content...

Bipolar Sets and YinYang Bipolar Dynamic Logic ( BDL )

Content Provider	Semantic Scholar
Copyright Year	2016
Abstract	In this chapter an equilibrium-based set-theoretic approach to mathematical abstraction and axiomatization is presented for resolving the LAFIP paradox (Ch. 1) and for enabling logically definable causality (Ch. 2). Bipolar set theory is formally presented, which leads to YinYang bipolar dynamic logic (BDL). BDL in zeroth-order, 1st-order, and modal forms are presented with four pairs of dynamic De Morgan’s laws and a bipolar universal modus ponens (BUMP). BUMP as a key element of BDL enables logically definable causality and quantum computing. Soundness and completeness of a bipolar axiomatization are asserted; computability is proved; computational complexity is analyzed. BDL can be considered a non-linear bipolar dynamic generalization of Boolean logic plus quantum entanglement. Despite its nonlinear bipolar dynamic quantum property, it does not compromise the basic law of excluded middle. The recovery of BDL to Boolean logic is axiomatically proved through depolarization and the computability of BDL is proved. A redress on the ancient paradox of the liar is presented with a few observations on Gödel’s incompleteness theorem. Based on BDL, bipolar relations, bipolar transitivity, and equilibrium relations are introduced. It is shown that a bipolar equilibrium relation can be a non-linear bipolar fusion of many equivalence relations. Thus, BDL provides a logical basis for YinYang bipolar relativity–an equilibrium-based axiomatization of social and physical sciences.
File Format	PDF HTM / HTML
DOI	10.4018/978-1-60960-525-4.ch003
Alternate Webpage(s)	http://www.igi-global.com/viewtitlesample.aspx?id=52017&ptid=45961&t=bipolar+sets+and+yinyang+bipolar+dynamic+logic+(bdl)
Alternate Webpage(s)	https://www.igi-global.com/viewtitlesample.aspx?id=52017&ptid=45961&t=bipolar+sets+and+yinyang+bipolar+dynamic+logic+(bdl)
Alternate Webpage(s)	https://doi.org/10.4018/978-1-60960-525-4.ch003
Language	English
Access Restriction	Open
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in