Logic triết học