Language,proof And Logic

'One of the most original thinkers and system builders of any time, and certainly the greatest philosopher the United States has ever seen' - Joseph Brent, author of "Charles Sanders Peirce: A Life".

This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.

This book systematically depicts the theory of chengshi (textual patterns) of the eight-part essays and logic in ancient Chinese texts. With the rare materials, it covers all the basic and important aspects of the whole process and values of chengshi, such as the transformation of different parts and the coherent expression of the doctrines, the planning of writing, and the application to the logical and pedagogic fields. It also explores the similarities and disparities of logical patterns between ancient Chinese and Western texts. Though entirely fresh and tentative, the contrastive studies get new insights into the logic and philosophical concepts hidden in the writings for better understanding of the uniqueness and richness implied in Chinese culture.