对于在中学講授数理邏輯的初步意見

目前,随着全国范围內轰轰烈烈的技术革命文化革命广泛深入的发展,我国数学界也在进一步开展羣众性的大搞数学联系实际以及关于数学教学彻底改革的討論及試驗。在中学数学向現代化方向改革的討論中,不少同志提出应該在中学讲授一些数理邏輯基本知識;作者也同意这样的意見,为了参加討論,現在談一些不成熱的看法,难免有片面或錯誤之处,希望得到批評。一、数理邏輯的主要內容数理邏輯这門科学,就其原来的内容說,是用数学方法来帮助研究某些較初級的思維过程中的規律性。应該說明,絕不是任何思維規律的研究都适于引用数学方法;数理邏輯的研究对象,主要是一些形式邏輯中的規律,特别是数学論証中的思維規律。研究的途径是将这些思維的进行作数学的抽象和描述,使之符号