演绎逻辑
西方逻辑,古希腊罗马时期创立,经过欧洲中世纪、文艺复兴时期的发展,到现代时期在欧美所形成的逻辑科学。
西方逻辑史:主要指形式逻辑和归纳逻辑在西方孕育、产生和发展的历史。它大致分为 4个时期:①古希腊罗马时期的逻辑;②欧洲中世纪时期的逻辑;③自文艺复兴开始的近代时期的逻辑;④现代时期的逻辑
古希腊逻辑在亚里士多德那里达到了最高的成就。亚里士多德集前人逻辑思想之大成,建立了系统的完整的形式逻辑体系,从而奠定了西方逻辑发展的传统方向。他的逻辑学说主要体现在<工具论>一书中,他所提出的直言三段论学说是其逻辑中最重要的部分。