逻辑与西方形而上学的明证性

西方形而上学与逻辑的本质关联起源于语言上对系词的追问。逻辑学整体上可以分为无内容的逻辑与有内容的逻辑。无内容的逻辑即是以亚里士多德所创立的形式逻辑为开端,经中世纪经院哲学发展,在现代通过弗雷格、罗素、逻辑实证主义及分析哲学发展到顶峰的纯粹形式化的符号系统。