As a new branch of logic, semi-symbolic logic intends to break through the limitation of traditional and modern logic to build up a logical system, which is both rigorous and easily to understand.

• 摘要半符号逻辑是一种新的逻辑分支，它试图突破传统和现代逻辑的局限性，建立一种既严格又易于掌握的逻辑体系。