Fârâbî, İslam Düşünce tarihinde mantığı sistemleştiren mantıkçı olarak bilinir. Bu yazıda varlık teriminin ontoloji ve mantıkta, dilde yüklemsel kullanımını esas alarak, farklı kullanımlarına ve bu konudaki tartışmalara kısmen dikkat çektikten sonra; İslam Filozoflarından Fârâbî'nin bu konudaki görüşlerini vermek suretiyle özellikle Aristoteles'in kullandığı varlıkla ilgili terimlerin Arapçaya aktarılmasında ne gibi zorluklar yaşandığı serimlenmeye çalışıldı. Varlığın yüklemselliği ile ilgili modern filozofların görüşlerini ayrıntılı bir biçimde tartışmak bu yazının hedeflediği bir şey değildir. Dolayısıyla burada tartışılan şeyin ana çatısını daha çok Fârâbî bağlamında varlık ile ilgili Aristoteles'in özellikle mantık eserlerin ortaya çıkan kavramların Arapçaya aktarıl(a)mamasıyla ilgili yaşanan sorunlar oluşturacaktır. Ancak bir ön bilgi verme gereğinden dolayı varlık teriminin Aristoteles'in mantıkla ilgili eserlerindeki kullanımıyla ilgili çağdaş tartışmalara kısaca değinilmiştir.