Yuan Wen

Based on the strict definitions of concepts, such as deduction, the deduction rule and the deduction system, the form axiom, the substantive axiom, this article clearly shows the essence of the deductive reasoning, namely “Related attribute and the related restriction relations, which are conveyed in what the main concept of the deduction refers to, must be contained in those conveyed in what the premise proposition refers to”。Then puts forward the theorem “contradiction can not be derived from the strict deduction system”, and gives the proofs.

Relevance Theory (RT) argues that human language comprehension processes tend to maximize “relevance,” and postulates that there is a relevance-based procedure that a hearer follows when trying to understand an utterance. Despite being highly influential, RT has been criticized for its failure to explain how speaker-related information, either the speaker’s abilities or her/his preferences, is incorporated into the hearer’s inferential, pragmatic process. An alternative proposal is that speaker-related information gains prominence due to representation of the speaker within higher level goal-directed schemata. Yet the goal-based account is still unable to explain clearly how cross-domain information, for example linguistic meaning and speaker-related knowledge, is integrated within a modular system. On the basis of RT’s cognitive requirements, together with contemporary cognitive theory, we argue that this integration is realized by utilizing working memory and that there exist conversational constraints with which the constructed utterance interpretation should be consistent. We illustrate our arguments with a computational implementation of the proposed processes within a general cognitive architecture.Abbreviations: ACT-R Adaptive Control of Thought - RationalCOGENT Cognitive Objects within a Graphical ENvironmenTCS/SS Contention Scheduling/Supervisory SystemRBCP Relevance-Based Comprehension ProcedureRT Relevance Theory.