邏輯釋義(logical definition)是2011年公布的語言學名詞。
基本介紹
- 中文名:邏輯釋義
- 外文名:logical definition
- 所屬學科:語言學
- 公布時間:2011年
邏輯釋義(logical definition)是2011年公布的語言學名詞。
邏輯釋義(logical definition)是2011年公布的語言學名詞。定義釋義方法的一種。用邏輯定義的方法,通過揭示語詞指稱概念的內涵和外延等來解釋詞目的特有屬性,通常直接回答“××是什麼”,其特點是概念的闡釋全...
把思維形式和思維內容割離開來,是靜止片面的結果,這是與形式邏輯毫不相干的。釋義 對象決定內容,特定的對象決定特定的內容。任何事物都是相對靜止狀態和絕對運動狀態的統一;對事物的質的相對穩定性,即同一事物、同一屬性、同一關係在...
釋義 邏輯學有廣義和狹義之分。狹義的邏輯學指:研究推理的科學,即只研究如何從前提必然推出結論的科學。廣義的邏輯學指:研究思維形式,思維規律和思維的邏輯方法的科學。廣義邏輯學研究的範圍比較大,是一種傳統的認識,與哲學研究有...
邏輯思維是人的理性認識階段,人運用概念、判斷、推理等思維類型反映事物本質與規律的認識過程。釋義 邏輯思維的主要內容包括:主體、定義、分類、關係和順序。主體明確了以“誰”為主和以誰為輔;定義明確了什麼是主體;分類明確了按不同...
項目的研究目標是針對漢語隱喻現象,建立一種隱喻話語的邏輯釋義方法並具體運用於改進漢英機器翻譯系統的建構中。其中主要研究內容包括有:針對計算化要求的漢語隱喻現象與規律研究,漢語隱喻語句的機器識別分類,隱喻語義邏輯描述與推理系統的...
對稱邏輯的產生,既是人類邏輯學發展的自然歷史過程,也是悖論逼出來的產物。只要運用對稱邏輯,沒有一個悖論無解。對稱邏輯的解悖能力說明,對稱邏輯是邏輯學的完成。概念釋義 辯證邏輯通過概念、判斷、推理等發生於思維中的抽象形式(見...
模態命題演算是現代模態邏輯的基本內容之一。釋義 在模態邏輯的最常見解釋中,你要考慮“所有邏輯上可能的世界”。如果一個陳述在所有可能世界中是真的,則它是必然的真理。如果一個陳述碰巧在我們的世界中是真的,但不是在所有可能世界...
邏輯自洽,指的是一個語言學的原則,即一個理論在語言本身的陳述上是不矛盾的,人們通過仔細分析這個理論的文字元號,沒有發現任何的矛盾,達到了自我的完備。術語釋義 邏輯的英文是logic,其中log是語言的意思,所以logic就是“語言的...
是用數學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統。數理邏輯是基礎數學的一個不可缺少的組成部分。雖然名稱中有邏輯兩字,但並不屬於單純邏輯學範疇。釋義 所謂數學方法就是指數學...
李衍華,中華女子學院邏輯教研室主任,教授,中國邏輯與語言函授大學教授。目錄 邏輯編 第一章緒論 第一節什麼是邏輯 一、 “邏輯”一詞的由來及釋義 二、 邏輯學的起源及發展概況 第二節邏輯學研究什麼 一、 邏輯學的研究對象 二、...
釋義 邏輯順序是非常常見、普遍的說明順序之一。邏輯順序即按照事物、事理的內在邏輯關係,或由個別到一般,或由具體到抽象,或由主要到次要,或由現象到本質,或由原因到結果等等一一介紹說明。不管是實體的事物,如山川、江河、花草、...
釋義 對象決定內容,特定的對象決定特定的內容。任何事物都是相對靜止狀態和絕對運動狀態的統一;對事物的質的相對穩定性,即同一事物、同一屬性、同一關係在同一時間、地點下的確定性的反映,不但是必要的,而且是可能的。這個反映是人類...
問答邏輯指的是德國伽達默爾用語。指哲學解釋學所說的理解應是一種問答邏輯。他認為人類思想中存在三種邏輯,一種是科學“獨白式”邏輯,一種是黑格爾絕對唯心主義的“辯證式”邏輯,而哲學解釋學遵循的是一種對話式的“問答邏輯”。哲...
類型論內在化了 Brouwer、Heyting 和 Kolmogorov 提議的叫做 BHK釋義的直覺邏輯釋義。類型論的類型扮演了類似於集合在集合論的角色,但是在類型論中的函式總是可計算的。直覺主義邏輯或構造性邏輯是最初由阿蘭德·海廷開發的為魯伊茲·...
此外給出定義真值和求值(或釋義)的語義。它允許我們確定哪個 wff 是有效的(也就是定理)。詞條簡介 在命題演算中語言由命題變數(或者叫占位符(placeholder))和句子/判決運算元(或者叫連結詞)。wff 是任何原子公式或在句子操作符...
計算機邏輯描述套用於計算機科學和人工智慧的邏輯,是以在計算機科學中的套用為導向的邏輯學研究。它包括:以在計算機科學中的套用為導向的邏輯學研究。例如: 組合子邏輯和抽象釋義;以邏輯形式自然表達的計算機科學基本概念。例如: 程式語言的...
著有《形式邏輯自學讀本》、《生活中的邏輯學》、《說話與邏輯》、《咬文嚼字的邏輯》,主編有《普通邏輯學》、《邏輯病例分析》等。作品目錄 邏輯編 第一章 緒論 第一節 什麼是邏輯 一、“邏輯”一詞的由來及釋義 二、邏輯學的...
《實用邏輯》簡明通俗、內容充實、重點突出、案例恰當、實用性強,對公安司法工作特別是刑事偵查工作具有較強的指導和實踐意義。圖書目錄 第一章 緒論 第一節 邏輯釋義及邏輯學簡史 第二節 形式邏輯學的研究對象 第三節 學習實用邏輯的...
邏輯數據,是一種運算元類型。是用來表示二值邏輯中的 "是"與 "否" 、或稱 "真"與 "假" 兩個狀態的數據。相關釋義 計算機除了作算術運算外,有時還需作邏輯運算,此n個0和1的組合不是被看做算術數字,而是被看做邏輯數。例...
Logic,主要用作名詞,主要意思為“邏輯,(做某事的)道理;推理方法”等。單詞釋義 英 [ˈlɒdʒɪk] 美 [ˈlɑːdʒɪk] n. 邏輯,(做某事的)道理;推理方法,邏輯學;(事實或事件的)規律,相互聯繫;(...
logical analysis[哲]邏輯分析 logical thinking邏輯思維,邏輯思考 logical structure邏輯結構 logical reasoning邏輯推理 logical relation邏輯關係;邏輯關係式 英英釋義 adj 1 marked by an orderly, logical, and aesthetically consistent ...
logicals,英語單詞,主要用作為名詞,用作名詞譯為“邏輯值”。網路釋義 邏輯值 邏輯信道組號 lcgn 邏輯值 logicals 邏輯元件 logic element 邏輯值英語 邏輯性英語 logic; logicality 邏輯值英語 【計】 logical value; ...
聯結詞亦稱命題聯結詞,命題邏輯的基本概念之一,指由已有的命題構造出新命題所用的詞語。例如,由命題“二加三等於五”和“蘇格拉底是人”可以構造出新命題“二加三等於五並且蘇格拉底是人”,在這裡,“並且”是聯結詞,又例如,由...