Öncüllerden en az birinin, basit önerme olmadığı kıyaslara bileşik kıyas denir.

İki öncül ve bir sonuçtan oluşan çıkarımlara basit kıyas denir.

Tümdengelime dayanan kıyaslar zorunluluk, tümevarımsal çıkarımlar olasılık içerir.

Bir kıyasın geçerli olabilmesi için bazı kurallara uyulmalıdır. Örneğin iki tikel ya da iki olumsuz önerme ile kıyas yapılmaz.

Kıyas, en az iki öncülden yeni bir sonuç çıkarmak üzere yapılan tümdengelime dayalı akıl yürütmedir.

Döndürme, önermelere eşdeğer yeni bir önerme yapmaktır.

Özne ve yüklemi aynı olan iki önermenin hem nitelik hem nicelik bakımından farklı olması durumuna çelişiklik ilişkisi denir.

Altıklık, özne ve yüklemi aynı olan iki önermenin nitelik bakımından aynı nicelik bakımından farklı olması durumudur.

Özne ve yüklemi aynı olan iki önermenin nitelik (olumlu-olumsuz) bakımından farklı olması haline karşıtlık ilişkisi denir.

İki önerme arasındaki karşıtlık, altıklık ve çelişiklik durumunu gösteren tabloya mantık karesi (Aristoteles karesi) denir.

Çıkarım (akıl yürütme), önermelerden yeni önerme elde etmektir. Doğrudan ve dolaylı (kıyas) olmak üzere iki çeşittir.

Basit önerme özne, yüklem ve bağdan oluşan ve bir tek yargı bildiren önermelerdir. Nitelik (olumlu-olumsuz) ve niceliklerine (tümel-tikel) göre dörde ..

Önermeler yapıları (basit-bileşik), nitelikleri (olumlu-olumsuz) ve nicelikleri (tümel-tikel) bakımından üçe ayrılır.

Duyusal verilerin, duygusal yaşantıların ve üstün cinslerin tanımı yapılamaz.

Bir tanım tam, açık-seçik olmalıdır ve tanım kısır döngü içermemelidir.

Tanım, bir terimin içlemi bakımından niteliklerini belirtmektir.

İki kavram arasında eşitlik, ayrıklık, tam girişimlik ve eksik girişimlik ilişkilerinden biri vardır.

Porphyrios, sınırsız sayı ve çeşitteki varlıkları sınıflandırabilmek için bir sınıflandırma önermiştir.

Varlıkların sınıflandırılmasına yönelik beş tümel vardır: cins, tür, ayrım, özgülük ve ilinti.

Mantıkta genel-tikel, tümel-tikel, soyut-somut, kolektif - distribütif, olumlu - olumsuz olmak üzere beş tür kavram vardır.

Kaplam, bir kavramın içine aldığı varlıkların tümüdür. İçlem ise bu varlıkların ortak özelliklerinin tümüdür.

Bir kavramın yalnız zihindeki bireylerine nelik (insan), zihin dışındaki bireylerine gerçeklik (sokaktaki insanlar) denir. Gerçekliği olan bir kavramı..

Kavram, nesnelerin zihindeki tasarımıdır. Terim ise bir kavramın dil ile ifade edilmesidir.

Aristoteles ilk kez mantığı sistem haline getiren filozof ve klasik mantığın kurucusudur.