Mantık ilkeleri tüm insanlar için geçerlidir. Türkçe konuşan bir insan için geçerli olduğu gibi İngilizce konuşan bir insan için de geçerlidir. "All humans are mortal", "tüm insanlar ölümlüdür" ya da "omnes homines mortales sunt" hangi dilde olursa olsun aynı anlama gelir.

Akıl yürütme en az iki düşünce arasında gerçekleşir. Düşüncelerden biri diğerinin kanıtlayanıdır. Kanıtlayan düşünceden kanıtlanan düşünceye, diğer adıyla sonuca, ulaşırız. Mantıksal açıdan bu sürece ispat süreci veya kanıtlama süreci diyoruz. Mantık her düşünce türünü incelemez.

Geleneksel mantık özdeşlik ilkesine dayanır. Çelişmezlik ve üçüncü hâlin olmazlığı ilkelerinden vazgeçebilirsiniz ama özdeşlik ilkesinden vazgeçemezsiniz. Çok değerli mantık sistemleri bile özdeşlik sistemleridir. Aksi takdirde akıl yürütmek mümkün olmazdı.