据Fodor[15]和Fodor&Pylyshyn[12]提出的“心理语言假设”认为,思维是以心理语言进行的;心理语言有一个由逻辑句法和逻辑语义组成的表征格式。据此而论,思维可以看作是这些表征的句法运算。本文认为,这一系统的语义表征可以很好地由推理角色语义学来说明,而Braine和O’Brien[3]的心理逻辑理论可以为心理语言运行的实证研究提供一个研究范式。 According to the hypothesis of psychological language proposed by Fodor [15] and Fodor & Pylyshyn [12], thinking is based on psychological language; and mental language has a representation format composed of logical syntax and logical semantics. From this point, thinking can be seen as the syntax of these representations. This paper argues that the semantic representation of this system can be well explained by reasoning role semantics, whereas the psychological logic theory of Braine and O’Brien [3] can provide a paradigm for the empirical study of mental language operations.