接著要談談邏輯學與句法學(又稱語形學)的關係。歷來邏輯和句法有著微妙的關係，句法學上的某些術語如「 主語」和「謂語」就是由邏輯學借用過來的。除此以外，在討論非限定動詞(包括不定式Infinitive和分詞 Participle兩種)結構時，傳統語法中也有「邏輯主語」的概念(註6)，例如在句子"I asked him to go"中， 不定式"to go"沒有本身的主語，但在邏輯上"go"的行為者是"him"，因此"him"是"to go"的邏輯主語。由於傳 統語法常常是從意義出發界定主語、謂語等，因此常被詬病定義不清楚。此一問題對於缺少形態標記的語言( 如漢語)尤為嚴重，例如對於漢語句子「窗前掛著一幅畫」究竟有沒有主語和何者是主語(是「窗前」還是「一 幅畫」)的問題，語言學界便曾眾說紛紜、爭論不休。

針對傳統語法這一弊端，結構主義主張句法學應與邏輯學、語義學分家，在討論語法時應盡量從形式出發，避 免涉及意義。生成語法創立人喬姆斯基的早期觀點受結構主義影響，也主張句法學是獨立於邏輯學和語義學的 學科，例如他便從純形式出發把主語定義為在句法分析樹形圖中直接隸屬於句子的名詞詞組。可是後來生成語 法學派發現要在語法研究中完全撇除語義的因素是不可能的，從生成語法學派分化出來的「生成語義學派」和 「格語法(Case Grammar)學派」以及其他流派(如「廣義短語結構語法」Generalized Phrase Structure Grammar、「詞匯功能語法」Lexical Functional Grammar)便把語義分析加入他們的語法理論中。在喬姆斯基 後來的理論中，已重新確立語義和邏輯的地位。例如，在七十年代中期的生成語法理論框架(即「擴充標準理 論」)中，便設有一個「邏輯式」(Logical Form)結構以處理語法中某些與語義和邏輯有關的問題。具體地說， 這些邏輯語義問題包括詞語在句子中擔當的「題元角色」(Thematic Role)(例如施事、受事、工具、來源等)、 代詞的所指和「照應關係」(Anaphora)以及「量詞轄域」(Scope of Quantifiers)問題等。以下簡述語言學家 研究照應關係的情況。

「照應」(亦譯作「回指」)是代詞的其中一個重要功能，是指代詞指稱句子中其他名詞詞組(稱為該代詞的「 先行詞」Antecedent)的功能。例如在句子"John likes his father."中，"his"可用來指稱前面出現的"John" ，"John"就是"his"的先行詞，我們亦說在這句中"John"與"his"同指(Co-reference)。請注意，「先行詞」這 一術語雖有「先」字，但代詞與先行詞的照應關係並不一定是先行詞先於代詞。例如在英語句子"His father doesn't like John."中，"His"也可用來指稱"John"，即這句可以理解為「John的父親不喜歡John」。

研究在哪些情況下代詞可以與句中某個名詞詞組同指是當代語言學的重要課題，很多語言學家均曾嘗試總結出 一些規律來，其中最著名的當推喬姆斯基的「約束理論」(Binding Theory)。喬姆斯基把名詞和代詞分為三類 ：(1)代名詞(Pronominal)-即人稱代名詞(Personal Pronoun)，如"he"、"him"等；(2)照應語(Anaphor)-包括 反身代名詞(Reflexive Pronoun)，如"himself"、"themselves"等和相互代名詞(Reciprocal Pronoun)，如" each other"、"one another"等；(3)指稱語(Referential Expression)-包括其他名詞詞組。喬姆斯基提出約 束理論三原則，嘗試純粹從形式(即句子結構)出發概括上述三種詞語在照應方面的規律。他的理論很成功地解 釋了為甚麼在英語句子"Paul hurt himself"中"himself"必定指"Paul"，而在"Paul hurt him"中"him"卻不能 指"Paul"?？墒歉鲊Z言中還有很多和代詞照應有關的全部現像不能由約束理論概括。為了解決問題，其他語 言學家嘗試從其他角度(包括語義、功能)研究這一問題，取得了不同的成果。由此可見，語言問題往往不能僅 從形式考慮，而必須兼顧多方面因素。

---

註6：除了非限定動詞結構外，「無動詞分句」(Verbless Clause)也有邏輯主語的問題。所謂無動詞分句，是 指如下這類句子：If clever enough, he can solve the problem by himself.(如果夠聰明的話，他可以自 己解決問題。)在這句中，分句"If clever enough"沒有動詞，但從上文下理可以推知這句其實可看作是"If he is clever enough"的縮略，因此"he"便是這分句的邏輯主語。此外，本人以為傳統語法所稱的「賓語補語」( Object Complement)結構其實也是一種非限定動詞分句或無動詞分句結構，因此也存在邏輯主語。例如在句子 "We consider him clever."(我們認為他聰明)中"clever"在傳統語法中被稱為賓語補語，但其實我們可以把" him clever"視為一個無動詞分句(因為"him"與"clever"之間的語義關係類似"He is clever."中"he"與"clever "之間的關係)，因此在這句中"him"可以被視為"him clever"這一無動詞分句的邏輯主語。