4. 語法學與推理
4.1 生成語法的句法推理
語法學(Grammar)一般分為「句法學」(Syntax，亦譯作「語形學」)和「形態學」(Morphology，亦譯作「詞法(學)」)這兩個分支，前者研究句法結構，後者研究各種形態現象和「構詞法」(Word Formation)。我們首先從「句法學」與推理的關係說起。由Chomsky (1957)開創的「生成語法」(Generative Grammar)的早期形式與邏輯推理有很相似的形式。Chomsky (1957)理論的特點是借用「電腦科學」上的「短語結構語法」(Phrase Structure Grammar)加上「轉換」(Transformation)操作來解釋自然語言的句法生成過程(註17)。
