About the Project

This project is developed as part of The University of Sussex's third-year Computer Science individual project.

The project is inspired by and advised by Dr. Peter Cheng, drawing from his work on Category Pattern Diagrams (CPDs) as a novel approach to reasoning in logic.

Objective:

The goal of this project is to develop an interactive learning system that helps students and researchers understand and analyze logical reasoning through Category Pattern Diagrams (CPDs). The system provides structured lessons, examples, and interactive tools to visualize logical arguments.

Key Features:

• Step-by-step tutorials on CPDs and their applications in syllogistic reasoning.
• Interactive learning modules that compare CPDs with traditional logic diagrams like Venn and Euler diagrams.
• Automated validity checking for CPDs to identify errors and inconsistencies.
• Multi-premise argument visualization, allowing users to analyze sorites and complex logical chains.

Why CPDs?

Traditional logic diagrams such as Venn Diagrams and Euler Diagrams have limitations in representing deductive reasoning, particularly in syllogistic logic and multi-premise arguments. CPDs provide a more structured approach to visualizing logical validity, making it easier to understand and evaluate logical arguments.

Impact:

This project aims to contribute to the field of educational technology and logical reasoning by providing an interactive platform for students, researchers, and educators to explore CPDs in an intuitive way.