传统逻辑的创始人亚里士多德认为判断的主词和宾词的联系就反映了事物之间的客观关系,列宁说他的逻辑学是寻求、探索,它接近于黑格尔的逻辑学。亚里士多德的逻辑是西方重要的形式逻辑、传统逻辑的起点,所以亚里士多德的逻辑又叫做传统逻辑(Traditional logic),他的逻辑是专门研究思想的形式,所以又叫做形式逻辑。传统逻辑主要的推理是用演绎法来推理,所以亚里士多德的逻辑又叫做演绎逻辑。
亚里士多德逻辑学 Aristotelian logic
亚里士多德逻辑学说 aristotelian logical theory
亚里士多德之教育逻辑 Aristotle's Logic of Education
证明理论是亚里士多德逻辑学说的主要内容。
The theory of demonstration is the major content of Aristotle's doctrine of logic.
非形式化是墨家逻辑的主要特点,而亚里士多德逻辑的主要特点是形式化。
Mohist logic has the character of non-formalization, while Aristotlian logic is mainly charactered by its formalization.
圣anselm成立士林,综合亚里士多德逻辑到神学,并认为原因及启示是相容的。
St. Anselm founded Scholasticism, integrated Aristotelian logic into theology, and believed that reason and revelation are compatible.
As he puts it, there's a famous syllogism that people learn in their logic classes from Aristotle.
他的说法是,人们在亚里士多德的,逻辑课堂上学到一个著名的推论。
应用推荐