Outline of philosophical logic