形式語言中的真概念
《形式語言中的真概念》，現代邏輯語義學的開創性論文。阿·塔爾斯基著。1933年用波蘭文發表，1936年出版了德譯本，增加了附錄，並對原著作了一些重要修改。英譯文收進1955出版的《塔爾斯基論文選集》。
內容簡介
本文除引言外，分為7節。引言闡明了文章的主題:「本文幾乎全部是獻給一個問題——真句子的定義。它的任務是，針對一個給定的語言、建立一個實質上適當的和形式上正確的關於『真句子』這個詞的定義」。第1節以普通語言為研究對象，對真句子的定義提出了否定性的結論。認為在普通的日常語言中，不僅不可能定義真句子概念，並且甚至連這個概念和邏輯規律的一致地使用也是不可能的。進一步着重考察了作為演繹科學的形式語言。第2、3節詳細地刻劃了形式語言，並依據語法方面的簡繁，將形式語言劃分為兩大類，一類為「較貧乏的」，另一類為「較豐實的」。在較貧乏的形式語言中，對真句子的符合要求的定義有肯定的回答。對每一個這類語言，有一種一貫的構造真句子定義的方法，並就類語言，完整地敘述了這種構造的實現。第4節對處理類語言的方法作了概括，使之一般化。第5節認為在較豐富的形式語言中，對定義真句子問題的回答是否定的。第6節總結，概括本文的兩個主要結論:1.對每個有限階形式語言，一個形式上正確的且實質上適當的「真句子」這個詞的定義，可以在元語言中，藉助一般邏輯表達式，語言表達式本身以及語言詞法中的詞項加以構造。其條件是:元語言的階要高於所研究的對象語言的階。2.如果元語言的階，最多相等於對象語言本身的階，這樣的定義不可能構造。因此，對象語言的階是無限的話，也不可能構造符合要求的定義。第7節附錄。
本文提出了一個一般的方法，用以構造演繹語言系統關於真理的精確定義，為迄今最有影響的關於真理的邏輯定義理論。由於對語義概念給出了精確的集合論的描述，並且對表述這些定義的語言作了仔細深入的討論，本文的發表為現代邏輯語義學誕生的標誌。
作者簡介
阿·塔爾斯基(1902—1983)，現代邏輯學家，數學家，邏輯語義學的創始人。原籍波蘭，1945年入美國籍。早年就讀於華沙大學，1924年獲數學博士學位。1942年起任美國伯克利加利福尼亞大學講師、教授，1968年起任該校名譽教授。著有《科學語義學的創立》、《邏輯和演繹科學方法論導論》、《語義學的真理概念語言學基礎》、《邏輯學、語義學、元數學》、《初等代數學和幾何學的完全性》等。
工具書的特點
1、從編輯目的而言，它主要供查考、檢索而非通讀[1]。
2、從編排方法而言，工具書總是按某種特定體例編排，以體現其工具書性，易檢性。
3、從內容而言，廣泛吸收已有研究成果，所提供的知識、信息比較成熟可靠，敘述簡明扼要，概括性強[2]。