Các quy luật cơ bản của logic có thể được ví như các nguyên tắc và quy tắc vận hành trong tự nhiên. Tuy nhiên, chúng có những chi tiết cụ thể của riêng chúng, ít nhất là chúng hoạt động không phải trong thế giới xung quanh chúng ta, mà trong bình diện suy nghĩ của con người. Nhưng, mặt khác, các nguyên tắc được áp dụng trong logic khác với các quy phạm pháp luật ở chỗ chúng không thể bị bãi bỏ. Họ là khách quan và hành động trái với ý muốn của chúng tôi. Tất nhiên, người ta không thể tranh luận theo những nguyên tắc này, nhưng sau đó sẽ khó có ai coi những kết luận này là hợp lý.
Luật lôgic là trụ cột của khoa học, cả tự nhiên và con người. Nếu trong cuộc sống hàng ngày, người ta vẫn có thể đắm chìm trong những luồng cảm xúc không phù hợp với các quy luật xây dựng và phát triển tư tưởng, người ta có thể cho phép những khoảng trống logic, thì trong các tác phẩm hoặc cuộc thảo luận nghiêm túc, cách tiếp cận như vậy là không thể chấp nhận được. Đối với nền tảng của bất kỳ cơ sở bằng chứng nào là các nguyên tắc đúngbản án.
Những quy tắc này là gì? Ba trong số chúng đã được phát hiện vào thời cổ đại bởi Aristotle: đó là nguyên tắc nhất quán, quy luật đồng nhất và quy luật trung gian bị loại trừ. Nhiều thế kỷ sau, Leibniz khám phá ra một nguyên lý khác - lý do đủ. Cả ba định luật logic hình thức được Aristotle mô tả đều có mối liên hệ chặt chẽ với nhau. Nếu chúng ta cho phép một lúc nào đó thiếu một liên kết của tư duy, thì những liên kết khác sẽ tan rã như một ngôi nhà của các quân bài.
Quy luật của Trung bình bị Loại trừ có thể được tóm tắt như sau: "Tertium non datur" hoặc "Không có thứ ba." Nếu chúng ta diễn đạt hai châm ngôn trái ngược nhau liên quan đến cùng một chủ đề (hoặc một số chủ thể, hoặc một hiện tượng), thì một phán đoán sẽ tương ứng với chân lý, còn phán đoán kia thì không. Giữa những câu lệnh này, không thể xây dựng câu lệnh thứ ba nào đó dung hòa hai câu lệnh chính hoặc đóng vai trò như một cầu nối logic giữa chúng. Ví dụ đơn giản nhất của một phần ba bị loại trừ là "Vật này màu trắng" và "Vật này không phải màu trắng." Nhưng nó chỉ hoạt động khi cả hai châm ngôn đối lập được thể hiện về cùng một điều, về một thời điểm nhất định và về cùng một mối quan hệ.
Luật ở giữa bị loại trừ có hiệu lực ngay cả khi có sự mâu thuẫn hoặc mâu thuẫn không tương thích giữa mệnh đề A và B. Đầu tiên là tuyên bố về quan điểm ngược lại. Ví dụ, mệnh đề "Trái đất quay xung quanh Mặt trời" và "Mặt trời quay quanh Trái đất" là những phản biện. Một mâu thuẫn đối kháng xảy ra khi cụm từ A phát biểu, và Bphủ nhận bất cứ điều gì: "Lửa sưởi ấm" và "Lửa không sưởi ấm." Ngoài ra, sự mâu thuẫn này xảy ra giữa các phán đoán cụ thể và tổng quát, khi một đánh giá là tích cực và đánh giá kia là tiêu cực: “Một số sinh viên đã có bằng tốt nghiệp” và “Không có sinh viên nào có bằng tốt nghiệp.”
Yêu cầu đặc biệt được đặt ra đối với tư duy, đặc biệt là tư duy khoa học: tính nhất quán, tính nhất quán của sự chắc chắn. Quy luật Trung bình bị loại trừ là thước đo sự thật của suy luận logic của chúng ta. Ví dụ, nếu chúng ta khẳng định rằng “Đức Chúa Trời là Toàn Thiện”, thì câu châm ngôn “Đức Chúa Trời đã sắp đặt sự dày vò địa ngục vĩnh viễn cho những người tội lỗi” là vô nghĩa. Nếu chúng ta tuyên bố rằng Đức Chúa Trời đã tạo ra một nơi đau khổ vĩnh viễn cho bất cứ ai, thì chúng ta không thể khẳng định rằng Ngài là Tốt. Vì Đức Chúa Trời, là đối tượng lý luận của chúng ta, không thể thuộc về các dấu hiệu mâu thuẫn, nên một trong hai câu trên là đúng, còn câu thứ hai là sai. Thứ ba không được đưa ra ở đây.
