相關詞條
-
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果，涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
證明標準
證明標準，又稱“證明要求”。是指法律要求的訴訟證明中運用證據證明案件事實所要達到的程度。從近代訴訟史開始，就有刑事訴訟和民事訴訟兩種不同的證明標準。英美...
簡介 分類 中國標準 基本概念 基本外延 -
一階邏輯
一階邏輯(first order logic,FOL)也叫一階謂詞演算，允許量化陳述的公式，是使用於數學、哲學、語言學及計算機科學中的一種形式系統。一階...
簡介 概念 語法 辭彙表 生成規則 -
高階邏輯
高階邏輯又稱廣義謂詞邏輯。它是一階邏輯（見一階理論及其元邏輯）的推廣。
高階邏輯 正文 配圖 相關連線 -
對稱邏輯
對稱邏輯是以對稱規律為基本的思維規律，天與人、思維與存在、思維內容與思維形式、思維主體與思維客體、思維層次與思維對象、科學本質與客觀本質對稱的邏輯。對稱...
從傳統邏輯到對稱邏輯 性質 創立者簡介 -
《科學發現的邏輯》
《科學發現的邏輯》是一本研究科學哲學的書籍。主要內容包括：歸納，分界，驗證，客觀機率和主觀機率等。
內容簡介 作者生平簡介 點評 部分導讀 -
西方邏輯史
主要指形式邏輯和歸納邏輯在西方孕育、產生和發展的歷史。它大致分為 4個時期：①古希臘羅馬時期的邏輯；②歐洲中世紀時期的邏輯；③自文藝復興開始的近代時期的...
古希臘邏輯 歐洲中世紀邏輯 近代邏輯 現代邏輯 參考書目 -
邏輯實證主義
邏輯實證主義又稱“邏輯經驗主義”。現代西方最有影響的哲學思潮之一。形成於20世紀20年代。包括以石里克、卡爾納普為代表的維也納學派，以萊欣巴赫為首的柏林...
介紹 觀點 意義 發展 -
《語言與現代邏輯》
《語言與現代邏輯》書中周斌武以通俗易懂的方式講述了現代邏輯包括命題演算、謂詞演算、模態邏輯、時態邏輯、問句邏輯、模糊邏輯、內涵邏輯等分支的實用常識，並運...
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
《語言、真理和邏輯》
《語言、真理和邏輯》又翻譯為《語言、真理與邏輯》。於1936年英國出版，為艾耶爾的成名作，也是代表作之一。對於邏輯實證主義的主要觀點作了系統的論述，也是...
內容簡介 邏輯實證主義 主要論點 背景資料
