Nhân loại bắt đầu suy nghĩ theo những qui luật của Logic từ rất lâu trước khi những qui luật này được khoa học khám phá ra nó. Nhưng đó chỉ là cái logic tự phát, kinh nghiệm. Nói cách khác, tư duy hay suy nghĩ của con người khi đó chưa trở thành đối tượng của sự nhận thức khoa học. Trong xã hội chiếm hữu nô lệ, khi mà hoạt động của đời sống xã hội đã được mở rộng, nhận thức khoa học đã hình thành, quá trình tranh luận, thảo luận thời kỳ dân chủ thành Aten đòi hỏi không thể hạn chế ở kinh nghiệm tự phát, mà phải nghiên cứu những nguyên lý của tư duy chính xác, của những chứng minh, lập luận với cấu tạo của khái niệm, phán đoán… một cách đúng đắn. Logic hình thức ra đời trong điều kiện hoàn cảnh lịch sử đó, và công lao sáng lập khoa học Logic thuộc về Arixtôt.
Trên cơ sở tổng kết những hạt nhân của các trường phái học thuật trước đó, Arixtôt đã xây dựng hệ thống các nguyên lý, qui luật, phương pháp và phát triển tiếp tục cả về mặt lý thuyết lẫn thực hành. Các tác phẩm thuộc phạm vi Logic học được tập hợp lại thành bộ sách “Organon” – “bộ công cụ”, với 6 tác phẩm:
1- Phạm trù, thực chất là học thuyết về khái niệm, hình thức cơ bản của tư duy;
2 – Lý giải, trình bày học thuyết về phán đoán, hình thức cơ bản của tư duy;
3 – Phân tích (I), học thuyết về tam đoạn luận, hình thức cơ bản của suy luận diễn dịch;
4 – Phân tích (II), học thuyết về chứng minh, hình thức cơ bản của luận chứng;
5 – Thuật tranh biện, học thuyết về phép biện chứng với ý nghĩa là nghệ thuật tranh luận;
6 – Bác bỏ nguỵ biện, phê phán những khuynh hướng lạm dụng phép biện chứng. Theo Arixtôt, cơ sở của tư duy đúng đắn (nghĩa là tư duy đạt tới chân lý khách quan), trước hết phải tuân theo các qui luật cơ bản: Qui luật đồng nhất; Qui luật cấm mâu thuẫn; Qui luật loại trừ cái thứ ba.
Thành tích suất sắc của Arixtôt là xây dựng học thuyết về tam đoạn luận, hình thức cơ bản nhất của suy lý diễn dịch, với những cấu hình, cách thức và qui tắc của nó, mà Logic học hình thức sau này chỉ còn là sự hoàn thiện để vận dụng. Arixtôt đã bao quát được toàn bộ phạm vi, thực chất đối tượng của Logic học, đặt nền tảng cho khoa học Logic phát triển trong nhiều thế kỷ về sau.
Tuy nhiên, trong Logic học của Arixtôt có nhiều nhân tố biện chứng liên hợp với siêu hình học. Ông chống lại học thuyết về tính mâu thuẫn của sự vật do Hêraclít nêu ra, do đó, Logic học của Arixtốt đã bị các nhà triết học kinh viện thời trung cổ lợi dụng như một công cụ chứng minh cho quan điểm thần học, Organon đã biến thành Canon (luật lệ).
