語義

語義（來自古希臘語 σημαντικός （ sēmantikós ） “重要”是參考，含義或真理的研究。該術語可用於指代幾個不同學科的子領域，包括哲學，語言學和計算機科學。

歷史

在英語中，語言中的意義研究已被許多名稱所知，這些名稱涉及古希臘語σῆμα （ sema ，sign，sark，soken'）。

在1690年，對符號學一詞的希臘語渲染（對符號和符號的解釋）在約翰·洛克（John Locke）的一篇關於人類理解的文章中發現了早期的典故：

第三個分支可以稱為σηµιωτικὴ [ simeiotikí ，“符號學”]，即標誌學說，最常見的是單詞，它也足夠恰當地稱為λογικὴ ，logick。

在1831年，建議使用類似於洛克的知識劃分的第三個分支，建議使用半詞。 “我們知識的跡象”。

在1857年， Josiah W. Gibbs的語言學和英語插圖中證明了Semasiology （從德國Semasiologie借來的）一詞：

從物理中發展的智力和道德思想的發展構成了隔離學的重要組成部分，或者語法分支可以理解單詞含義的發展。它建立在物理和智力世界的類比和相關性的基礎上。

1893年，語義術語被用來翻譯米歇爾·布雷爾（MichelBréal）使用的法國塞曼蒂克（ Sémantique） 。幾年後，在EssaideSémantique中，Bréal寫道：

我試圖做的是繪製一些廣泛的線條，標記一些分裂，並作為尚未被利用的領域的臨時計劃，這需要幾代語言學家的合併工作。因此，我要求讀者將這本書視為簡單的我提出的語義的科學介紹。 [在腳註中：] σημαντικὴτέχνη ，含義的科學[即，含義]，從動詞σημαίνω “表示”，而不是語音學，聲音科學[即聲音，聽起來像什麼]。

1922年，在波蘭的一組學者中，數學邏輯中證明了語義的概念，包括萊昂·奇維斯克（ Leon Chwistek） ，萊斯尼維斯基（ Leśniewski ）， olukasiewicz ， kotarbinski ， adjukiewiewicz和tarski 。據艾倫·沃克（Allen Walker）讀到，他們受到法國文化的影響。此外，後來，他們的作品影響了阿爾弗雷德·科爾茲布斯基（Alfred Korzybski ）對該術語的使用。

在1960年代，羅伯特· W·弗洛伊德（ Robert W.它的主要應用是對計算機程序的正式驗證。幾年後，出現了術語操作語義和典型語義。弗洛伊德（Floyd）在他1967年的論文中為節目分配含義，並寫道：

在我們的方法中，以句法定義建立了對編程語言的語義定義。它必須指定句法正確的程序中的哪些短語表示命令，以及在每個命令附近的解釋中必須施加哪些條件。

語言學

在語言學中，語義是研究意義的子場。語義可以在單詞，短語，句子或更大的話語單元的層面上解決含義。語義領域中的兩個基本問題是構圖語義（它適用於較小的部分，例如單詞，結合和互動以形成較大表達式的含義，例如句子）和詞彙語義（含義的性質（含義的本質）單詞）。其他突出的問題是上下文及其在解釋，不透明的環境，模棱兩可，模糊，偏愛和預設中的作用。

幾個學科和方法為語義的經常引起了人們的影響。將不同的語言語義方法結合在一起的關鍵問題之一是形式與含義之間的關係。在1980 - 1990年代，關於語法界面界面和語用學相關主題的研究得出了對語義研究的一些重大貢獻。

語言的語義級別與傳統語言分裂的其他模塊或級別（例如語法）相互作用。在語言學中，通常就模塊或級別之間的這種相互作用來討論“界面”。對於語義，最關鍵的相互作用被認為是具有語法（語法 - 模具界面），語用學和語音學（關於韻律和語調）的語法的相互作用。

語言語義中的學科和範例

正式語義

正式的語義試圖識別說話者根據其句法結構計算句子的含義時執行的特定領域操作。正式語義的理論通常放在語法的基礎上，例如生成語法或組合性分類語法，並提供了基於數學工具的模型理論，例如類型的lambda cackuli 。該領域的核心思想植根於20世紀初期的哲學邏輯，以及後來關於語言語法的想法。理查德·蒙塔古（Richard Montague ）和芭芭拉（Barbara）黨（Barbara Partee）開創性的工作後，它在1970年代成為自己的子場，並繼續成為研究的積極領域。

概念語義

該理論是為了解釋參數結構的特性。該理論背後的假設是短語的句法特性反映了單詞中的含義。有了這一理論，語言學家可以更好地處理一個事實，即單詞含義的細微差異與單詞出現的句法結構的其他差異相對應。這種情況的發生方式是通過查看單詞的內部結構。構成單詞內部結構的這些小部分稱為語義原始。

認知語義

從認知語言學的角度來看，認知語義的方法是含義。在此框架中，語言是由一般人類認知能力而不是特定於領域的語言模塊來解釋的。源自認知語義的技術通常用於詞彙研究中，例如倫納德·塔爾米（Leonard Talmy） ，喬治·拉科夫（George Lakoff ），德克·蓋拉（ Dirk Geeraerts ）和布魯斯·韋恩·霍金斯（Bruce Wayne Hawkins）提出的技術。一些認知語義框架（例如Talmy開發的框架）也考慮了句法結構。

詞彙語義

詞彙語義是一種語言理論，它研究了單詞含義。該理論理解，單詞的含義完全反映了其上下文。在這裡，單詞的含義是由其上下文關係構成的。因此，參與程度和參與方式之間的區別。為了實現這一區別，句子的任何部分具有含義，並與其他部分的含義相結合。不能分解成更多基本部分的語義成分被標記為最小的語義成分。

跨文化語義

長期以來，各種領域或學科一直為跨文化語義做出貢獻。諸如愛，真理和仇恨普遍之類的詞嗎？即使是語義上的核心 - 一種普遍的意義，還是一個依賴於長期以來但特定文化的傳統的概念？這些是跨文化語義中討論的關鍵問題。翻譯理論，民族語言學，語言人類學和文化語言學專門研究語言之間的比較，對比和翻譯單詞，術語和含義的領域。哲學，社會學和人類學具有悠久的傳統，與我們使用的術語和概念的不同細微差別進行了對比。在線百科全書，例如斯坦福大學的哲學百科全書和維基百科本身，大大擴展了比較關鍵文化術語的背景和用法的可能性。近年來，在全球討論中，關鍵術語是可以翻譯還是不可翻譯的問題，尤其是自從芭芭拉·卡辛（Barbara Cassin）出版《芭芭拉·卡辛（Barbara Cassin）的《不可轉讓詞典：哲學詞典》 ，2014年。

計算語義

計算語義的重點是語言意義的處理。為此，描述了具體算法和架構。在此框架內，還根據可定性，時間/空間複雜性，所需的數據結構以及通信協議分析算法和體系結構。

哲學

數學邏輯和計算機科學中語義語義的許多形式方法起源於20世紀初的語言和哲學邏輯哲學。最初，最有影響力的語義理論源自Gottlob Frege和Bertrand Russell 。弗雷格（Frege）和羅素（Russell）被視為分析哲學傳統的發起者，可以通過語法和數學功能在作曲上解釋意義。羅素（Russell）的前學生路德維希·維特根斯坦（Ludwig Wittgenstein）也被視為分析傳統中的開創性人物之一。所有這三個早期的語言哲學家都關心句子如何以命題的形式表達信息。他們還處理給定句子所表達的命題的真實價值觀或真相條件。

在當今的哲學中，“語義”一詞通常用於指橋接語言學和哲學的語言形式語義。也有一種積極的元學傳統，它研究了自然語言語義的基礎。

計算機科學

在計算機科學的背景下，語義是指編程語言構造背後的含義，將其與單純的語法區分開來，這是符號和關鍵字的佈置。這個概念對於確保代碼不僅用語法正確編寫，而且在邏輯上有意義且功能性至關重要。根據Euzenat的說法，語義“提供了解釋語法的規則，該語法不是直接提供含義，但可以約束對聲明的可能的解釋”。

程式設計語言

編程語言和其他語言的語義是計算機科學領域的重要問題和研究領域。像語言的語法一樣，可以準確地定義其語義。

例如，以下語句使用不同的語法，但導致計算機執行相同的操作 - 將變量'y'的值添加到變量'x'的值並將結果存儲在x:

已經開發了各種方式來形式地描述編程語言的語義，基於數學邏輯：

• 操作語義：構造的含義是通過在計算機上執行的計算來指定的。特別是，如何產生計算的效果。
• 表示語義：含義是由代表執行構造的效果的數學對象建模的。因此，只有效果是感興趣的，而不是獲得的效果。
• 公理語義：執行結構的效果的特定特性表示為斷言。因此，執行可能會忽略。

語義模型

語義Web使用語義數據建模技術（例如資源描述框架（RDF）和Web Onagormoge語言（OWL））是指通過嵌入添加的語義元數據擴展萬維網的擴展。在語義網絡上，使用語義網絡和語義數據模型之類的術語來描述特定類型的數據模型，其特徵在於使用有向圖的使用，其中頂點表示世界上的概念或實體及其屬性，而ARCS表示關係。它們之間。這些可以正式描述為描述邏輯概念和角色，與OWL類和屬性相對應。

心理學

語義記憶

在心理學中，語義記憶是含義的記憶 - 換句話說，僅保留要點的記憶方面，一般意義，可記住的經歷 - 而情節記憶是短暫細節的記憶 - 單個特徵或獨特的細節經驗。在“聲明性記憶”的背景下，Tulving和Schacter引入了“情節記憶”一詞，該詞涉及簡單的關於其對象的事實或客觀信息的關聯。單詞含義是由他們保留的公司（即語義網絡中的單詞之間的關係）來衡量的。由於文化破壞，可以在一代人的一代中轉移記憶。在自己的時間線上，不同的一代可能在相似的地方有不同的經驗。然後，這可能會在原本同質文化中為某些單詞創建一個垂直異質的語義網。在人們分析對單詞的理解（例如WordNet ）創建的網絡中，網絡的鏈接和分解結構數量很少，並且包含了一部分，類型和類似鏈接。在自動化本體學中，鏈接是計算出沒有明確含義的向量。正在開發各種自動化技術來計算單詞的含義：潛在的語義索引和支持向量機，以及自然語言處理，人工神經網絡和謂詞微積分技術。

想法

思想這是一種心理現象，其中概念的激活喚起了感官體驗。例如，在聯覺中，激活字母的概念（例如，字母A的概念）喚起了類似感覺的體驗（例如，紅色）。

心理學

在1960年代，在查爾斯·E·奧斯古德（Charles E. Osgood）的大規模跨文化研究使用他的語義差異（SD）方法（使用數千個名詞和形容詞雙極尺度）之後，心理女士學研究變得流行。 SD，投影語義方法的一種特定形式僅使用最常見和中性名詞，與跨文化研究中最一致的形容詞量表的7組（因子）相對應（評估，效力，Osgood和Osgood和活性其他研究中發現的現實，組織，複雜性，限制）。在這種方法中，七組雙極形容詞比例對應於七種類型的名詞，因此該方法被認為在量表和名詞之間具有對象尺度對稱性（OSS），用於使用這些量表進行評估。例如，與列出的7個因素相對應的名詞將是：美容，力量，運動，生活，工作，混亂，法律。預計美在與評估相關的量表的形容詞上，將其視為“非常好”，與現實相關的量表上的“非常真實”的生活等等。類型：與比例有關的偏差和與物體相關的偏差。這種OSS設計旨在將SD方法的敏感性提高到在同一文化和教育背景下人的反應中的任何語義偏見。

原型理論

與語義中的模糊性有關的另一組概念是基於原型。埃莉諾·羅奇（Eleanor Rosch）在1970年代的工作導致一種觀點，即自然類別在必要和充足的條件下不是可以表徵的，而是對其組成成員的地位不一致的分級（在其邊界上模糊）。儘管原型的概念與靜態概念相提並論，但可以將其與Jung的原型進行比較。一些後結構主義者反對單詞的固定或靜態含義。尼采之後的德里達（Derrida ）談到了固定含義的滑倒。

類別系統在世界上不是客觀的，而是植根於人們的經驗。這些類別隨著學習的世界概念而發展 - 含義不是客觀的真理，而是一種主觀的構造，從經驗中學到的，而語言是從“我們在共享體現和身體體驗中的概念系統的基礎”而產生的。這樣的推論是，概念類別（即詞典）對於不同的文化或同一文化中的每個人都不相同。這導致了另一個辯論（請參閱Sapir -Whorf假設或雪的Eskimo單詞）。

也可以看看

• 語義技術- 幫助機器了解數據的技術