Mantık klasik/sembolik mantık, mantık felsefesi