Dalam logika filosofis, tradisi pemikiran yang dimulai dengan karya filsuf Yunani Aristoteles de Estagira (384-322 SM), dianggap sebagai pendiri logika Barat dan salah satu penulis terpenting, dikenal sebagai logika Aristotelian. tradisi filosofis dunia.

Karya-karya utama Aristoteles tentang logika dikumpulkan dalam Organon-nya (dari bahasa Yunani untuk “instrumen”), yang disusun oleh Andronicus dari Rhodes beberapa abad setelah penulisan. Di dalamnya terungkap seluruh sistem logis yang sangat berpengaruh di Eropa dan Timur Tengah hingga setelah Abad Pertengahan.

Dalam karya ini, apalagi, Aristoteles mendalilkan aksioma dasar logika:

Prinsip non-kontradiksi. Menurutnya sesuatu tidak bisa dan tidak bisa pada saat yang sama (A dan A tidak bisa benar pada saat yang sama).

Prinsip identitas. Menurutnya sesuatu selalu identik dengan dirinya sendiri (A selalu sama dengan A).

Prinsip ketiga yang dikecualikan. Menurut mana sesuatu itu benar atau tidak, tanpa kemungkinan gradasi (A atau kemudian A).