منطق در فلسفه