Research on the Relationship between Pragmatic Logic and Computer Language Behavior

DOI

10.2991/mmebc-16.2016.38How to use a DOI?

Keywords

Pragmatic Logic, Computer Language Behavior

Abstract

Pragmatic Logic is logic analysis tool and logic analysis system of Speech Act Theory. The research on pragmatic logic is focusing on logic features of statements and inference relations that consists of a group of special performative verbs-pragmatic performative verbs. This definition includes three aspects: 1. language form. In natural language, there is a group of verbs that have some certain forces. Such as, judge, require, promise, congratulate and declare, etc. are having separately the pragmatic force of judging, ordering, promising, expressing and declaring. The purpose of uttering sentences with those words in is to do some certain things. For example, the sentence "I promise that this job can be done on time." is making a promise. It is called pragmatic force, words that occupying pragmatic force are called pragmatic performative verbs, and sentences that made up of these verbs are called pragmatic performative sentences. Pragmatic logic is researching on the logic features of pragmatic acts. 2. Inference relations. Pragmatic logic is based on the above language materials and researching on logic features of all sorts of complex pragmatic behavior statements and the inference relations between them. For example, "If he promises to finish the job on time, then I promise to finish the job on time" is an inclusion statement that composed of two pragmatic behavior statements, they are "He promise to finish the job on time." and "I promise to finish the job on time." Its structure is F (P) F(Q). We have to confirm a few starting points that can be used for inference and establish some inference rules in those generally effective statements, which will contribute to the further inference of some other generally effective sentences.3. System features. We also have to do a research on the meaning and explanation of system formulas and on features of this inference system, such as reliability, consistency and completeness. Reliability is that all the provable system formulas possess a certain property; completeness is that all the formulas that possess a certain property are provable. Reliability, consistency and completeness associate the grammar concept "provable" with the semantic concept "possessing a certain property" and establish the relationship between grammar and semanteme. For this reason, reliability, consistency and completeness are called the key features of a system. Reliability theorem, consistency theorem and completeness theorem are called the metatheorems of a system. The metatheorem that reflects the features of pragmatic logic system contributes to mark the difference between itself and metatheorems of other systems, so it becomes the main researching content of pragmatic logic.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Xing Zhang
PY  - 2016/06
DA  - 2016/06
TI  - Research on the Relationship between Pragmatic Logic and Computer Language Behavior
BT  - Proceedings of the 2016 6th International Conference on Machinery, Materials, Environment, Biotechnology and Computer
PB  - Atlantis Press
SP  - 183
EP  - 186
SN  - 2352-5401
UR  - https://doi.org/10.2991/mmebc-16.2016.38
DO  - 10.2991/mmebc-16.2016.38
ID  - Zhang2016/06
ER  -