Bilimler içeriksel (nesnel) bilgiye, felsefe ise bilgimizin neliğine (mahiyetine) ilişkin bir felsefi bilgiye, bir "bilgi bilgisi"ne ulaşmaya çabalar. Bilimler ve felsefe karşısında mantık, önermelerimizin bilgi içeriğinden bağımsız olarak, geçerli akıl yürütme formlarının bir bilgisine, yani bir form bilgisine ulaşmaya çabalamasıyla, formel mantık teriminde tam ifadesini bulan bir formel disiplindir.