非標準邏輯(non-standard logic)“非經典邏輯”的別稱。與“標準邏輯”相對。隨著現代邏輯的發展而產生的直覺主義邏輯、多值邏輯、模態邏輯、模糊(弗晰)邏輯等等。...
非標準邏輯中的自動演繹是指許多複雜的常識推理問題如能直接用高階邏輯或非經典邏輯來處理最為自然,然而這種技術還不夠成熟。已出現一些運用非單調邏輯的自動演繹...
非標準算術模型(nonstandard model of peano arithmetic)是皮亞諾算術理論的一種模型,指與自然數模型N初等等價,但不同構的模型。自然數集合的皮亞諾公理(Peano ...
非標準分析(Non-standard analysis),概念上又可稱為實無限分析,是一個數學分支,它用嚴格定義的無限小的數(infinitesimal number)的概念來構建分析學。數學中利用...
非標準拓撲(nonstandard topology)是在非標準全域中展開的拓撲學。正像使用無限小數和無限大數可使微積分的基本概念更加直觀,推理更加簡明一樣,在非標準全域中展開...
廣義模態邏輯是“標準模態邏輯”與“非標準模態邏輯”(道義邏輯、認識論邏輯、時態邏輯等)的通稱。與“狹義模態邏輯”相對。狹義模態是指必然性、或然性、偶然性...
本書《非標準分析概論》是“北京科學出版社”於1995年出版的非標準分析的專著。作者:孫廣潤教授(曲阜師範大學)。全書35萬字。本書闡述非標準分析的基礎理論和基本...
劃界標準是英國波普用語。針對邏輯實證主義的有關理論所提出的劃分科學與非科學的標準。邏輯實證主義把可證實性作為區分科學與非科學的標準,認為只有能被經驗證實的...
規範邏輯還要研究並建立規範邏輯的演繹系統。它在標準命演算的基礎上,加上規範運算元,增加有關的公理、形成規則和變形規則而建立„採用不同的公理和推理規則可以建立...
非標準模態邏輯(non-standard model logic)見“廣義模態邏輯”。 ...... 非標準模態邏輯(non-standard model logic)見“廣義模態邏輯”。 [1] 參考資料 1. 金炳...
《中國邏輯史》的最大特點和優點之一,是第一次全面總結了20世紀後50年對中國...名辯作用和是非標準,提出了“由一以之萬”和“會萬而歸一”等歸納和演繹...
目前(截止2011年)發現的最少提示數9×9標準數獨為17個提示,截止2011年11月24日16:14,共發現了非等價17提示數謎題49151題,此數量仍在緩慢上升中,如果你先發現...
真理標準即檢驗真理的標準。實踐是檢驗真理的根本標準。所謂實踐是檢驗真理的唯一標準,就是指實踐是檢驗真理的根本標準。邏輯是檢驗真理的直接標準。形式邏輯是檢驗...
其中有的以主觀心理狀態、感覺、觀念為標準,如王陽明把所謂與“良知”相等同的“天理”作為標準,G.巴克萊把“集體的知”說成是“實在性的證據”,邏輯實證主義者...