作者簡介
吳大英（1932—）是我國法學界和政治學界的知名學者，20世紀50年代曾在蘇聯留學，獲法學副博士學位。回國後一直在法學和政治學研究崗位上辛勤耕耘，發表了不少研究成果。
目錄
代序：偉大的時代輝煌的成就
——新中國人文社會科學50年李鐵映
總結50年走向新世紀
——在“新中國哲學50年”學術研討會上的講話李鐵映
新中國成立以來哲學研究事業的回顧和展望陳筠泉
馬克思主義研究50年靳輝明
……
書摘
1978年，在思想解放、改革開放的形勢下，邏輯學界提出了“邏輯現代化”的口號，號召加強對現代邏輯的研究，追趕國際邏輯研究的水平，這是一個富於遠見的主張，對我國邏輯學的發展具有重要意義。
現代邏輯的基本理論大致有以下6個方面：1．數理邏輯方面。包括一階邏輯、高階邏輯、模型論、證明論、遞歸論和公理集合論。數理邏輯是現代邏輯的基礎，它既是以推理規律為主要研究對象的邏輯科學，又是現代數學的一大分支。2．哲學邏輯方面。這是20世紀50年代以來興起的一些邏輯分支的群體。它們以數理邏輯特別是一階邏輯為基礎，與傳統哲學中的概念、範疇和問題有直接或間接的聯繫。可分為兩大類：一類是在原來經典的一階邏輯中增加初始概念，成為經典邏輯的擴充系統。例如，模態邏輯中有模態詞“必然”、“可能”；時態邏輯中有時態運算元“過去”、“未來”；在認知邏輯中有關於“知道”、“相信”的運算元；在道義邏輯中有關於“必須”、“允許”、“禁止”的運算元。另一類哲學邏輯主要是對通常所說的命題聯結詞和量詞作不同的解釋，成為經典邏輯的異釋系統。例如，直覺主義邏輯對聯結詞和量詞都作構造性解釋；相干邏輯認為蘊涵的前後件應當相干。3．自然語言邏輯。它是在現代邏輯、現代語言學和符號學的基礎上形成的一個分支。它不僅關注語言表達認知內容的功能，而且也關注語言表達情感內容的功能；不僅關注語言的表達功能，而且也關注語言的傳達和交際功能。4．邏輯與計算機科學的交叉研究。主要有：程式邏輯、邏輯型程式設計語言、變換型程式設計、程式驗證、程式綜合、形式語義學、計算複雜性理論等領域。5。現代歸納邏輯。它是用數理邏輯、哲學邏輯、機率論和數理統計等工具對歸納推理進行量化、形式化和公理化的研究，並對歸納推理中提出的理論問題進行方法論的研究。6．邏輯哲學。它形成為一門學科是現代邏輯與現代哲學相互作用的結果，它是對邏輯學中一些基本問題的哲學反思，例如，邏輯的範圍、邏輯真理的性質、邏輯與其它科學的關係、一些基本邏輯概念的解釋問題、意義理論、邏輯悖論、形式化的本質，等等。
近幾十年來，國際邏輯界在上述的現代邏輯諸領域都取得了舉世矚目的成果。現代邏輯的各個分支，現在正以飛快的速度向前發展，舊的課題不斷得到完滿解決，新的邏輯分支，特別是研究具體科學中邏輯問題的套用邏輯又不斷湧現。這是一個不可阻擋的發展潮流，在這股潮流之上形成了一個客觀的、不斷提高的“國際邏輯研究水平”。
……
