Logic and Natural Language
Lu Wang
Abstract
Lu Wang
Abstract
It is a general view that traditional logic is expressed in natural language and modern logic in formal one, which indicates that modern logic can not solve problems in natural language, while the traditional logic can. This is wrong. The primary difference between traditional logic and modern logic lies, on the surface, in their expressive forms, but in fact, in their syntax and semantics: the former is of the subject-predicate structure, while the latter of predicate structure. As a result, modern logic provides interpretations for natural language different from and better than that of traditional logic.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
It is a general view that traditional logic is expressed in natural language and modern logic in formal one, which indicates that modern logic can not solve problems in natural language, while the traditional logic can. This is wrong. The primary difference between traditional logic and modern logic lies, on the surface, in their expressive forms, but in fact, in their syntax and semantics: the former is of the subject-predicate structure, while the latter of predicate structure. As a result, modern logic provides interpretations for natural language different from and better than that of traditional logic.
Key concepts: Predicate logic, Predicate functor logic, Predicate variable, Philosophy of logic, Higher-order logic, Dynamic logic (digital electronics), Computational logic, Object language