Tasavvurlar, zihinde oluşan en yalın kavramları içerir. Bu kavramlar, olumlama veya yalanlamaya elverişli olmayan, zihinde doğuştan bulunan veya duyularla kazanılan zorunluluk, varlık, imkan gibi tikel formlardır. İnsan zihninin en kesin ve en yalın fıkirleri olan bu formların veya tasavvurların mantıktaki işlevi önermelere malzeme oluşturmalarıdır. Buna göre önermeler tasavvurları birbirine bağlanmasıyla oluşur ve böylece önermeler ya «tasdik» edilir ya da yalanlanır. En güçlü ve güvenilir önermeler, «Bütün parçadan daha büyüktür» gibi, aklın hiçbir deneysel kanıta gerek duymaksızın doğuştan benimsediği, kesinliği apaçık olan yargılardır. Bu tür önsel önermeler; matematik, metafizik ve ahlak için zorunlu ve açık seçik ilkelerdir. Mantık biliminde bu önermeler öncül olarak alınmak suretiyle bunlardan tasıma, tasımdan da kanıta (burhana) ve kanıtlanmış bilgiye ulaşılır. Böylece Farabi’ye göre mantığın asıl konusu bilinirlerden bilinmeyenin bilgisine ulaştıran kanıtlama (burhan) yöntemidir. Aristoteles mantığındaki kavramlar ve tanımlar (Kategoryalar), bunlardan önermeler oluşturma (Önerme) ve tasımlar (Birinci Analitikler) sadece kanıtlamaya (İkinci Analitikler) ve dolayısıyla kesin bilgi elde etmeye birer hazırlık değeri taşır. Çünkü kanıtlamanın temel amacı, bütün bilimlerde uygulanması mümkün olan zorunlu bilgilerin yasalarına ulaşmaktır.
*
Farabi, bilginin üç kaynağı olduğunu düşünür: duyu, akıl ve nazar. İlk ikisiyle bilgiye doğrudan doğruya, «düşünme» anlamına gelen sonuncusuyla da aracı önermeler ve spekülasyonlara ulaşılır. Her iki bilgi çeşidinde de apaçık bilgiye ulaşmanın aracı olan sezginin (hads) payı vardır. Buna göre sezginin de, biri duyular ve akılla ilgili, diğeri spekülasyonlarla ilgili olmak üzere iki çeşidi vardır. İlki dış dünyayı algılamamıza, ikincisi de varlık ve olguların ilkelerini kavramamıza olanak verir. Böylece kesin kanıtlama (burhan), zorunlu varlığı karşılayan zorunlu bilgiye götürür.