English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

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.

Research on the Relationship between Pragmatic Logic and Computer Language Behavior