邏輯釋義(logical definition)是2011年公布的語言學名詞。
基本介紹
- 中文名:邏輯釋義
- 外文名:logical definition
- 所屬學科:語言學
- 公布時間:2011年
邏輯釋義(logical definition)是2011年公布的語言學名詞。
邏輯釋義(logical definition)是2011年公布的語言學名詞。定義釋義方法的一種。用邏輯定義的方法,通過揭示語詞指稱概念的內涵和外延等來解釋詞目的特有屬性,通常直接回答“××是什麼”,其特點是概念的闡釋全...
項目的研究目標是針對漢語隱喻現象,建立一種隱喻話語的邏輯釋義方法並具體運用於改進漢英機器翻譯系統的建構中。其中主要研究內容包括有:針對計算化要求的漢語隱喻現象與規律研究,漢語隱喻語句的機器識別分類,隱喻語義邏輯描述與推理系統的...
綜上所述,科學邏輯屬於科學,它的一個子項。科學邏輯就是邏輯思維要科學,即科學思維,也就是邏輯的科學性,也必須要科學。科學邏輯的事例 亞里士多德曾斷言:“兩個鐵球,一個一磅重,一個十磅重,同時從同一高度落下來,十磅重...
類型論內在化了 Brouwer、Heyting 和 Kolmogorov 提議的叫做 BHK釋義的直覺邏輯釋義。類型論的類型扮演了類似於集合在集合論的角色,但是在類型論中的函式總是可計算的。直覺主義邏輯或構造性邏輯是最初由阿蘭德·海廷開發的為魯伊茲·...
把思維形式和思維內容割離開來,是靜止片面的結果,這是與形式邏輯毫不相干的。釋義 對象決定內容,特定的對象決定特定的內容。任何事物都是相對靜止狀態和絕對運動狀態的統一;對事物的質的相對穩定性,即同一事物、同一屬性、同一關係在...
釋義 邏輯學有廣義和狹義之分。狹義的邏輯學指:研究推理的科學,即只研究如何從前提必然推出結論的科學。廣義的邏輯學指:研究思維形式,思維規律和思維的邏輯方法的科學。廣義邏輯學研究的範圍比較大,是一種傳統的認識,與哲學研究有...
對稱邏輯的產生,既是人類邏輯學發展的自然歷史過程,也是悖論逼出來的產物。只要運用對稱邏輯,沒有一個悖論無解。對稱邏輯的解悖能力說明,對稱邏輯是邏輯學的完成。概念釋義 辯證邏輯通過概念、判斷、推理等發生於思維中的抽象形式(見...
數理邏輯是基礎數學的一個不可缺少的組成部分。雖然名稱中有邏輯兩字,但並不屬於單純邏輯學範疇。釋義 所謂數學方法就是指數學採用的一般方法,包括使用符號和公式,已有的數學成果和方法,特別是使用形式的公理方法。用數學的方法研究邏輯...
模態命題演算是現代模態邏輯的基本內容之一。釋義 在模態邏輯的最常見解釋中,你要考慮“所有邏輯上可能的世界”。如果一個陳述在所有可能世界中是真的,則它是必然的真理。如果一個陳述碰巧在我們的世界中是真的,但不是在所有可能世界...
此外給出定義真值和求值(或釋義)的語義。它允許我們確定哪個 wff 是有效的(也就是定理)。詞條簡介 在命題演算中語言由命題變數(或者叫占位符(placeholder))和句子/判決運算元(或者叫連結詞)。wff 是任何原子公式或在句子操作符...
外延是一個邏輯學名詞,是一個共相的外在內容,當一個共相不對應任何對象時,稱作該共相的外延是空白的;若一個共相的外延不是空白的,則該共相對應的一切對象稱作該共相的外延。詞語解釋 引證解釋 適合於某一概念的一切對象,即...
邏輯思維是人的理性認識階段,人運用概念、判斷、推理等思維類型反映事物本質與規律的認識過程。 [2-3] 釋義 播報 編輯 邏輯思維的主要內容包括:主體、定義、分類、關係和順序。主體明確了以“誰”為主和以誰為輔;定義明確了什麼是主體...
《實用邏輯》簡明通俗、內容充實、重點突出、案例恰當、實用性強,對公安司法工作特別是刑事偵查工作具有較強的指導和實踐意義。圖書目錄 第一章 緒論 第一節 邏輯釋義及邏輯學簡史 第二節 形式邏輯學的研究對象 第三節 學習實用邏輯的...
釋義 對象決定內容,特定的對象決定特定的內容。任何事物都是相對靜止狀態和絕對運動狀態的統一;對事物的質的相對穩定性,即同一事物、同一屬性、同一關係在同一時間、地點下的確定性的反映,不但是必要的,而且是可能的。這個反映是人類...
邏輯自洽,指的是一個語言學的原則,即一個理論在語言本身的陳述上是不矛盾的,人們通過仔細分析這個理論的文字元號,沒有發現任何的矛盾,達到了自我的完備。術語釋義 邏輯的英文是logic,其中log是語言的意思,所以logic就是“語言的...
《面向資本論:馬克思政治經濟學批判的邏輯線索釋義》是2019年2月人民出版社出版的圖書,作者是付文軍。內容簡介 《資本論》是馬克思的*之作,它是馬克思借用哲學分析現實經濟問題的典範。該書稿是面向政治經濟學批判的文本世界,力圖回到...
如上所述,定理需要某些邏輯框架,繼而形成一套公理(公理系統)。同時,一個推理的過程,容許從公理中引出新定理和其他之前發現的定理。在命題邏輯,所有已證明的敘述都稱為定理。詞語釋義 1. 確定的法則或道理。《韓非子·解老》:“...
釋義 邏輯順序是非常常見、普遍的說明順序之一。邏輯順序即按照事物、事理的內在邏輯關係,或由個別到一般,或由具體到抽象,或由主要到次要,或由現象到本質,或由原因到結果等等一一介紹說明。不管是實體的事物,如山川、江河、花草、...
李衍華,中華女子學院邏輯教研室主任,教授,中國邏輯與語言函授大學教授。目錄 邏輯編 第一章緒論 第一節什麼是邏輯 一、 “邏輯”一詞的由來及釋義 二、 邏輯學的起源及發展概況 第二節邏輯學研究什麼 一、 邏輯學的研究對象 二、...
關係釋義法 關係釋義法(relational definition)是2011年公布的語言學名詞。定義 釋義方法的一種。根據語詞的語義特徵,利用釋義中的修飾成分與另一潛在被修飾成分之間的關係來揭示詞頭的意義。出處 《語言學名詞》第一版。
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 ...