張金成

張金成，祖籍安徽，原黨校數學教師；類腦邏輯創始人；不僅在數學領域有多項前沿性研究成果，也在矛盾的等價性的基礎上提出了一個容納矛盾的新系統；

是推動中國形式邏輯主導學術向接納辯證邏輯，並向辯證邏輯作為邏輯學主流方向的推手之一。