philosophical logic

application of logical methods to philosophical problems