隨著中國高等教育的迅猛發展與知識體系的更新，高校新專業與新課程日益增加，作為傳統基礎課程的邏輯學與其他基礎課程一樣，面臨著教學內容調整、課時減少與方法革新的壓力...
關鍵詞 : 高校,邏輯,學的,困境,爭論,改革,路徑,隨著,中國,高等教
2024-04-11
做知識級分析的系統稱為主體(Agent) ，比如:人、具有智能的高級動物和仿人機器人均可視為 A-gent)［1］。主體強調理性作用，是描述人類智能、動物智能和...
關鍵詞 : Cohen,Levesque,行動,時間,信念,偏好,邏輯,
2024-03-18
在弗雷格、卡爾納普、羅素、蒯因和克里普克等邏輯哲學家的努力下，關于名稱的意義理論研究形成了一個傳統，即將名稱意義分為意義（meaning）和指稱（referen...
關鍵詞 : 知道,信念,述論,笛卡爾假定,辯護,可能,弗雷,卡爾納,羅素
2024-02-10
中國古代有沒有邏輯？中國的邏輯是否存在？中國古代邏輯研究的困難是什么？中國古代邏輯研究的出路究竟是演繹化還是歸納化？這些重要問題近年來逐漸成為邏輯學界和哲學界爭...
關鍵詞 : 中國,古代,邏輯,研究,困境,出路,中國,古代,有沒有,邏輯
2023-10-28
弗完全( paracomplete) 是弗協調( paraconsis-tent，又譯次協調、亞相容、超一致等) 的對偶( dual) 概念，此概念最早是由弗協...
關鍵詞 : 完全,邏輯,作為,解悖,方案,機制,完全,paracompl
2024-04-23
顯示理論是維特根斯坦為解決劃界問題而提出的一種語言分析思想，它在《邏輯哲學論》中占有重要地位。對顯示理論的研究是重要的，之所以這樣認為是因為劃界問題是維特根斯坦...
關鍵詞 : 基于,顯示,理論,新的,解釋,思路,顯示,理論,維特根斯坦,
2024-02-09
一、引言 廣義量詞理論( generalized quantifier theory)是一階邏輯的擴展理論，它比一階邏輯更有利于計算機進行知識表示和知識推理，這...
關鍵詞 : 廣義,量詞,單調性,調性,其他,語義,質的,關聯,引言,廣義
2023-08-20
20 世紀中期，人們發現: ( 1) 自然語言中存在很多不能夠用一階邏輯中的標準量詞\ue02f和\ue055來加以定義的，但卻具有非常有趣的數學推理性質的量詞...
關鍵詞 : 廣義,量詞,現代,對當,方陣,具有,邏輯,一致性,世紀,中期
2023-11-03
近年來，隨著國際學術交流的日益頻繁，當代著名邏輯學家和哲學家克里普克（S. Kripke）的邏輯哲學思想，已被國內學界越來越多地認知?？耸详P于個體本質的觀點在分...
關鍵詞 : 歸類性屬性,個體,別的,啟發,近年來,隨著,國際,學術,流的
2023-03-28
