Formal logic

Author: Jin Yuelin
Publisher:
Publish Date: 2001-09-01
Features: The science of studying deductive reasoning and its laws, including the study of the logical properties of terms and propositional forms. It provides standards for testing valid and invalid reasoning. Formal logic has a history of over 2,000 years. Before the mid-19th century, formal logic was mainly traditional logic. Modern formal logic, which developed after the mid-19th century, is usually referred to as mathematical logic or symbolic logic. This book is divided into 7 chapters, covering topics such as the objects and functions of formal logic, concepts, judgments, and deductive reasoning.