相關詞條
-
《語言與現代邏輯》
《語言與現代邏輯》書中周斌武以通俗易懂的方式講述了現代邏輯包括命題演算、謂詞演算、模態邏輯、時態邏輯、問句邏輯、模糊邏輯、內涵邏輯等分支的實用常識，並運...
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
初始序數
初始序數(initial ordinals number)是一類重要的序數。若序數α不與任何序數β
概念 集合論 序數 等勢 基數 -
邏輯代數
邏輯代數是一種用於描述客觀事物邏輯關係的數學方法，由英國科學家喬治·布爾(George·Boole)於19世紀中葉提出，因而又稱布爾代數。邏輯代數有一套...
基本介紹 乘法加法原理 基本規則 邏輯函式 其他 -
西方邏輯史
主要指形式邏輯和歸納邏輯在西方孕育、產生和發展的歷史。它大致分為 4個時期：①古希臘羅馬時期的邏輯；②歐洲中世紀時期的邏輯；③自文藝復興開始的近代時期的...
古希臘邏輯 歐洲中世紀邏輯 近代邏輯 現代邏輯 參考書目 -
演繹邏輯
演繹邏輯在一般的邏輯教課書上通常被定義為，從一般到特殊的邏輯推理方法，也常被稱之謂一種必然性推理，或保真性推理。
簡介 反駁 統一性 總結 -
機率邏輯
機率邏輯的一種現代類型。它的特點是運用現代的邏輯與數學工具，主要是運用數理邏輯與機率理論對歸納邏輯、歸納方法進行形式化、數量化的研究。亞里士多德在論述歸...
簡介 相關內容 機率邏輯的價值及其套用 -
謂詞邏輯
謂詞，在謂詞邏輯中，原子命題分解成個體詞和謂詞。 個體詞是可以獨立存在的事或物，包括現實物、精神物和精神事三種。謂詞則是用來刻劃個體詞的性質的詞，即刻畫...
概述 謂詞與量詞 注意事項 公式與解釋 命題形式 -
語言與現代邏輯
語言與現代邏輯是一本復旦大學出版社出版的圖書。作者是周斌武，張國梁。
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
《邏輯套用多視角叢書》
《邏輯套用多視角叢書》原名是《邏輯套用多視角》，在1990年由北京師範大學出版社陸續出版的。蘇越副教授主編、20餘名邏輯工作者參加編寫。叢書共10個分冊...
概述 邏輯工作者的一項重要任務 對邏輯學進行了多層次的利用開發 -
預設邏輯
預設邏輯是 Ray Reiter 提出的用來形式化有預設假定的推理的非單調邏輯。 預設邏輯可以表達像“預設的，某個事物是真的”的事實；相反的，標準邏輯只...
預設邏輯的變體 轉換 複雜性 實現
