基本介紹
- 中文名：非標準邏輯
- 外文名：non-standard logic
- 所屬學科：哲學
非標準邏輯
相關詞條
- 非標準邏輯
非標準邏輯（non-standard logic）“非經典邏輯”的別稱。與“標準邏輯”相對。隨著現代邏輯的發展而產生的直覺主義邏輯、多值邏輯、模態邏輯、模糊（弗晰）邏輯等等。邏輯學家在稱經典邏輯為標準邏輯的同時，也就相應...
- 非標準邏輯中的自動演繹
非標準邏輯中的自動演繹是指許多複雜的常識推理問題如能直接用高階邏輯或非經典邏輯來處理最為自然，然而這種技術還不夠成熟。已出現一些運用非單調邏輯的自動演繹系統，但理論根據還不充分。許多複雜的常識推理問題如能直接用高階邏輯或非...
- 非標準模型
的非標準模型。最有名的非標準模型是佩亞諾算術（Peano arithmetic）的非標準模型。佩亞諾算術的理論是自然數集 的理論。這裡 +，·就是通常的自然數的加法和乘法，S 是後繼函式，0 為通常的整數 0。 是佩亞諾算術的標準模型，而與...
- 非標準模態邏輯
非標準模態邏輯 非標準模態邏輯（non-standard model logic）見“廣義模態邏輯”。
- 非標準算術模型
非標準算術模型(nonstandard model of peano arithmetic)是皮亞諾算術理論的一種模型，指與自然數模型N初等等價，但不同構的模型。自然數集合的皮亞諾公理(Peano Axiom)不僅有通常的自然集N為其標準模型（即包括可數多個元素），還有...
- 非標準分析(又可稱為實無限分析,是一個數學分支)
非標準分析(Non-standard analysis)，概念上又可稱為實無限分析，是一個數學分支，它用嚴格定義的無限小的數（infinitesimal number）的概念來構建分析學。數學中利用現代數理邏輯把通常實數結構擴張為包括無窮小與無窮大的結構而形成的一個...
- 非標準分析概論
它叫做：“非標準分析”。這一名稱容易使人誤解。其實，修飾詞“非標準”與日常語言“不是正規的”，是風馬牛不相及的。A.Robinson以其深邃的洞察力和卓越的聯想對比，發現現代數理邏輯的一個分支即模型論的成果，與實無窮小有著內在...
- 非標準分析(1980年科學出版社出版的圖書)
《非標準分析》是1980年9月科學出版社出版的圖書，作者是(美)魯濱遜(A. Robinson)。內容簡介 本書介紹作者在六十年代初建立的非標準分析理論及其在數學各個分支的套用．第一章為引言；第二章介紹非標準分析的數理邏輯的形式工具；第三...
- 非標準拓撲
非標準拓撲(nonstandard topology)是在非標準全域中展開的拓撲學。正像使用無限小數和無限大數可使微積分的基本概念更加直觀，推理更加簡明一樣，在非標準全域中展開拓撲學，使用單子及飽和性可使拓撲學的基本概念更加直觀，推理更加簡明。...
- 非形式邏輯
非形式邏輯》雜誌(英文：《Informal logic》)主編拉爾夫·詹森（Ralph H. Johnson）和安東尼·布萊爾（J. Anthony Blair）提出：“非形式邏輯是邏輯的一個分支，其任務是講述日常生活中分析、解釋、評價、批評和論證建構的非形式標準、...
- 非形式邏輯導論
經過30餘年的發展，現已成為在諸多領域有廣泛套用價值的邏輯理論。這種邏輯的出發點是現實生活中的人們從事理性論證所運用的多種論證類型、複雜論證結構和合理性評估標準。非形式邏輯是培養批判性思維能力和精神氣質（是創造性思維的前提）的...
