notes-philosophy-logic