我国的数理逻辑，经过几代数理逻辑工作者们的不懈努力，取得长足进步，使我国的数理逻辑研究在国际数理逻辑大家庭中占有重要一席之地。如今在国际数理逻辑的多个前沿研究领域都活跃着中国数理逻辑工作者的身影。特别可喜的是我国年轻一代数理逻辑青年才俊迅速茁壮成长，正逐渐成为国际数理逻辑队伍中的核心人物。数理逻辑专业委员会成立于1987年，中国科学院软件研究所杨东屏研究员任理事长。之后，黄且圆、丁德成、冯琦分别继任理事长。各届理事分别由中国科学院和各大高校的著名数理逻辑学家担任。数理逻辑专业委员会1989年举办第一届全国数理逻辑大会，之后每3年举办一届。从2014年起每两年举办一届全国数理逻辑大会，并且近些年来每年都举办数理逻辑专题学术会议，有力地促进了我国数理逻辑的发展。2016年5月21-22号在复旦大学召开了全国数理逻辑学术研讨会。会议期间讨论了专业委员会章程并经投票选举出了丁龙云，郝兆宽，喻良，张树果，赵希顺等新一届数理逻辑专业委员会常务委员，之后经常务委员会讨论确定了新一届数理逻辑专业委员会的委员名单。在这次大会上参会代表们一致表示应申请设立中国数学会领导之下的“中国数学会数理逻辑专业委员会