Mantık ilminin işlevi ve yaptığı şey düşüncenin doğru formlarını incelemektir. Bu bağlamda düşünce veya düşünmek bilinen kavramlar veya yargıları bilinmeyen kavram ve yargılara ulaşacak şekilde düzenlemektir. Bunun doğru bir şekilde düzenlenmesi ise bu düzenin nasıl olması gerektiğini ifade eder. Tanım, bir şeyin ne ise o olduğunu belirtmedir. Bunun için de cins içindeki türün diğer türlerdan farkını yani faslını veya betimleme yapacak şekilde o türe özel olan arazî niteliğin yani hassesini veya olmayan arazi niteliğini kullanırız. Burada zikredilen kavramlara beş tümel adı verilmektedir. Bu tümellerin anlamı şudur: Cins , türleri içine alan türlerin üstündeki tümel olan. Tür , cins tümelinin altında bulunan kendisi de tümel olan. Fasl , cins içindeki türleri birbirinden ayıran onların karışmasını önleyen özsel nitelik. Özel Arazî , tek bir türe ait olması bakımından arazi bir niteliktir. Ancak türün kendisini kendisi yapan bir özellik değildir. Genel Araz , tek türe ait olm...
Hür, Müreffah ve Müstakil.