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

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

Safsata, biçimsel ve serbest olmak üzere iki gruba ayrılabilir. Biçimsel safsatalar argümanın şekli, serbest safsatalar ise anlamı ile ilgilidir...

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

K ve L kümeleri için, yalnız K kümesinde yer alan elemanlara K fark L kümesi denir.

Teoloji belirli bir dini ve bu dine ait problemleri, din felsefesi ise din olgusunun kendisini konu edinir.

İki kümenin bütün elemanlarından oluşan kümeye birleşim kümesi denir.

Küme, belirli bir tanıma uyan elemanlardan oluşan topluluktur. Bu gruba dahil her her varlığa kümenin elemanı denir.