Logic hình thức đề cập đến sự hiểu biết, phán đoán và suy luận trong khi logic vật chất đề cập đến việc đánh giá các yếu tố có thể đo lường được. Hai bộ phận logic này không được coi là hoàn toàn tách biệt và có một số tranh luận về việc liệu chúng có khác nhau theo nghĩa thuần túy pháp lý hay không.
Logic hình thức bắt nguồn từ các phương pháp quan sát và lĩnh hội. Nó đề cập đến việc đánh giá các tuyên bố và đối tượng logic và với các công cụ được sử dụng để đưa ra các đánh giá đó.
Logic vật chất thu được từ việc đánh giá các đại lượng vật lý và có thể quan sát được. Nó được coi là thủ tục và rất tập trung vào các ý tưởng về độ cứng và độ mềm vì chúng liên quan đến chất lượng của bằng chứng theo nghĩa pháp lý hoặc định đề tranh luận của từ này.
