现代逻辑的历史发展

历史逻辑学如果包括传统逻辑的古典内容的话,那末它从古希腊哲学家亚里士多德试创的最初系统以来就具有漫长的历史。这种传统逻辑一直被看作是属于哲学的基础学问,但是这门学问和漫长的历史相比较并没有什么较大的实质性进展。后来人们发现逻辑学属于数学,就把它从哲学中独立出来了,因此正如今天所见,逻辑学和其他科学一样取得了日新月异的显著发展。于是当把作为数学的逻辑学同传统逻辑学突出区分开来的时候,就将其称为符号逻辑或者数理逻辑。但是也有许多时候只称它为逻辑学或现代逻辑学。