philosophical logic


noun

the branch of philosophy that studies the relationship between formal logic and ordinary language, esp the extent to which the former can be held accurately to represent the latter