Filozofie, Logică