Home

Welcome to the Aris Wiki!

What is Aris?

Aris, a project by Dr. van Heuveln, is a formal logic proof-building tool designed to assist students in learning and mastering formal logic concepts through an intuitive and interactive interface.

Goal

The goal of Aris is to provide students with a comprehensive educational tool for exploring the principles of formal logic, including propositional and predicate logic, and Boolean algebra. By leveraging advanced algorithms and intelligent feedback mechanisms, Aris ensures that users can engage deeply with logical proofs, receive guided feedback, and build confidence in their problem-solving abilities. The project focuses on creating an accessible, user-centered platform that enhances logical reasoning skills.

Use Cases

Aris is designed to support the construction and validation of formal logical proofs. In academic settings, it is a valuable resource for logic instructors, providing the opportunity for interactive assignments and automated feedback for hundreds of students. For students, it serves as a self-paced learning tool where they can practice constructing proofs, validating logical steps, and exploring alternative solutions. Its flexibility and ease of use makes Aris ideal for anyone looking to understand and apply formal logic in practical or theoretical contexts.