邏輯對象（logical object）2008年公布的信息科學技術名詞。
基本介紹
- 中文名：邏輯對象
- 外文名：logical object
- 所屬學科：信息科學技術
- 公布時間：2008年
- 審定機構：全國科學技術名詞審定委員會
公布時間,出處,
邏輯對象
相關詞條
- 邏輯對象
邏輯對象（logical object）2008年公布的信息科學技術名詞。公布時間2008年，經全國科學技術名詞審定委員會審定發布。出處《海峽兩岸信息科學技術名詞》。1...
- 邏輯學(哲學分支學科)
對象 邏輯學是關於推理和論證的科學，它的主要任務是提供識別有效的推理、論證與無效的推理、論證的標準，並教會人們正確地進行推理和論證，識別、揭露和反駁錯誤的推理和論證。邏輯學是一門關於推理或論證的學問。它主要研究推理的有效性...
- 形式邏輯(邏輯學術語)
形式邏輯簡介 任何具體思維都有它的內容，也有它的形式。任何具體思維，都涉及一些特定的對象。例如，數學中的具體思維，就涉及數量與圖形這些特定對象；物理學中的具體思維，就涉及聲、光、電、力……這些特定的對象；政治經濟學中的具體...
- 邏輯(思維的規律和規則)
4．指邏輯學 以推理形式為主要研究對象的學科。王力 《龍蟲並雕齋文集·邏輯和語言》：“邏輯是關於思維的形式和規律的科學。”哲學定義 邏輯就是事情的因果規律，邏輯學就是關於思維規律的學說。有時邏輯和邏輯學兩個概念通用。從狹義...
- 邏輯(一門學科)
狹義上邏輯既指思維的規律，也指研究思維規律的學科即邏輯學。廣義上邏輯泛指規律。學科劃分 證明方法 直接證明 直接證明就是從論據的真實直接推出論題的真實的一種證明方法。間接證明 間接證明又稱反證法，它是通過證明反論題的虛假，從而...
- 數理邏輯(用數學方法研究邏輯或形式邏輯的學科)
它既是數學的一個分支，也是邏輯學的一個分支。是用數學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統。數理邏輯是基礎數學的一個不可缺少的組成部分。雖然名稱中有邏輯兩字，但並不...
- 科學邏輯學
第一，認為科學邏輯學是現有各種邏輯的綜合運用。它的對象“是科學研究中認識的種種方法和形式以及構成科學的種種要素；它的任務是分析知識在現代科學中如何產生，即分析如何發現新知識”；它的“內容包括說明科學研究特徵的範疇概念的體系...
- 邏輯分析法
邏輯分析策劃法是從純粹的、抽象理論的形態上,來揭示策劃對象的本質,通過概念、判斷、推理等思維形式完成策劃。 能力培養 播報 編輯 思維方式 推理的種類是根據一定的標準進行劃分。根據推理前提數量的不同,分為直接推理和間接推理;根據...
- 辯證邏輯(邏輯學名詞)
對稱邏輯的解悖能力說明，對稱邏輯是邏輯學的完成。概念釋義 辯證邏輯通過概念、判斷、推理等發生於思維中的抽象形式（見思維形式的辯證法），對外部世界作出概括的、近似的然而卻是本質的反映。它的基本特徵是把對象看作一個整體，從內在...
- 認知邏輯
認知邏輯 認知邏輯（epistemic logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 泛指刻畫“知道”“相信”等認知概念的邏輯系統。出處 《計算機科學技術名詞 》第三版。
- 基於邏輯的面向對象語言模型的研究
主要研究成果包括一個實驗系統和8篇學術論文。本項目從邏輯的觀點出發，通過對面向對象邏輯語言的研究，得出了面向對象範例中主要語義元素的邏輯語義，並建立了一個完備的計算模型，為面向對象範例提供了邏輯基礎。
- 面向對象空間邏輯
複雜系統包含若干複雜對象，邏輯系統也可以看成是一種對象。面向對象的思想來自對數據類型的抽象，它從問題域中客觀存在的事物出發來構造系統，用對象作為對這些事物的抽象表示，並以此作為系統的基本單位。面向對象的思想、方法和技術已經被...
- 複雜對象邏輯程式設計語言的研究與實現
《複雜對象邏輯程式設計語言的研究與實現》是依託中山大學，由李磊擔任項目負責人的面上項目。中文摘要 複雜問題的研究不但是邏輯程式設計，而且是資料庫領域的一個重要的研究課題。我們研究了目前具有代表意義和支持複雜對象的邏輯程式設計...
- 問題邏輯
所謂問題，從傳統二值邏輯看來，沒有斷定什麼，不表達命題，不具有真假，但在問題邏輯中問句成了研究的對象，它有自己的邏輯特徵：問題由預設與問式組成，是一種要求回答的思維形式。問題據答案可分成三種：第一種是是E否的問題。例如...
- 邏輯表示
一階謂詞邏輯 一階謂詞邏輯 又稱一階謂詞演算，簡稱一階邏輯或一階演算。構造一階邏輯的形式系統需要 6類符號。①個體詞或常元：代表所討論的對象。這種對象的全體所構成的不空集合稱為個體域或論域。圖中的 、、即為個體詞,代表不...
- 對稱邏輯學
傳統的形式邏輯蘊涵了線性思維方式。把“形式”邏輯思維方式看成唯一的思維方式，把“形式”邏輯運用範圍擴大到所有對象，特別是需要複雜性思維的經濟領域，就會出現悖論。對稱邏輯的產生，既是人類思維、理論與實踐發展的必然結果，也是“...
- lun
比如一個陣列櫃，主機那邊看作是一個Target Device，那為了某些特殊需要，我們要將磁碟陣列櫃的磁碟空間劃分成若干個小的單元給主機來用，於是就產生了一些什麼邏輯驅動器的說法，也就是比Target Device級別更低的邏輯對象，我們習慣於把...
- 同一性(哲學解釋)
所以，弗雷格排斥思維中的對象，要跳到客觀世界中去尋找“對象本身”，是無法做到的。他的“指稱”或“對象本身”，如果是人類已知的，則必定與人類思維中一定的意象、觀念或概念相聯繫；如果是人類未知的，也無法成為他的邏輯對象。至於...
- KIF
KIF語言基本內容包括對象、關係和函式等，對象可以是常量和變數，這裡常量用小寫英文字母a，b，c等表示。KIF中的單個變數通常表示為?x，?y等，x，y是變數名，而序列變數表示@y，y變數名。其關係和函式對應著一階邏輯中的謂詞。KIF中...
- 辯證思維(思維方式)
辯證思維的特點是從對象的內在矛盾的運動變化中，從其各個方面的相互聯繫中進行考察，以便從整體上、本質上完整地認識對象。辯證思維運用邏輯範疇及其體系來把握具體真理。辯證思維既不同於那種將對象看做靜止的、孤立的形上學思維，也不...
