Modern mantık, önermelerin sembolleştirilmesine dayalı mantık disiplinidir. Amacı genel geçer bir mantık dili oluşturmaktır.

Klasik mantık, kurucusu Aristoteles'in ortaya attığı, kıyasa dayalı mantık sistemidir.

Sistematik olarak mantık, Aristoteles'in kıyasa dayalı klasik mantığı ile başlar. Rönesansta yerini modern (sembolik) mantığa bırakır.

Doğru düşünme, akıl ilke ve kurallarına uygun şekilde yapılan düzenli akıl yürütmelerdir.

Bir bütünü oluşturan parçaların hepsinin tek tek incelenmesi ile genel bir sonuca varılması, tam; parçaların bir kısmına dayanılarak o bütün hakkında ..

Mantıkta aklın dört temel ilkesi vardır: özdeşlik, çelişmezlik, üçüncü halin imkansızlığı ve yeter - sebep ilkesi.

Bilgi doğrusu yargıların içeriği, mantık doğrusu akıl yürütmenin biçimi ile ilgilidir.

Öncülün doğru olması durumunda sonucun da zorunlu ve kesin olarak doğru olmasına geçerlilik; sonucun öncüllerden zorunlu olarak çıkarılamamasına geçer..

Önerme, doğru veya yanlış bir yargı bildiren ifadedir.

Zihnin, birbiriyle ilişkili önermelerden yeni bir önerme çıkarmasına akıl yürütme denir. Üç yöntemi vardır: tümdengelim, tümevarım ve analoji...

Mantık, doğru düşünmenin ilke ve kurallarını araştıran disiplindir.