Application to the Mind

CTM (computational theory of Mind) + RTM (representational theory of Mind) = CAR (computational account of Reasoning)

RTM的想法有二層。第一層是算機的概念：心理狀態是表徵的(representational)。第二層是語言的概念：這類歷程包含了一串符號的表徵，既有語意也有語法的特徵，就像電腦上的數學記號所做的計算。

這個主張如果和哲學有關的話，也是與CAR有關。根據CAR，推想(reasoning)是由符號的語法性質做出的因果關係，也就是思維語言(language of thought, LOT)或是心理語言(mentalese)。

形式化(formalization)和算機(computation)也有一些些(可能是 a little 或 more)哲學上的貢獻：我們獲得一些方法，可以將符號的語意性質寫成語法上可運作的推論規則。當然，指的是這些推論在可能成立的情況下，伴隨著它的語意也在直覺上可以呈現出來。

從語意進程到語法的階段，圖林算機的概念大大地顯示出，我們的語法和這些進行著的因果推論是可能被設計出來，成為可計算賦值與形式化其他算式的機器。