n. the branch of philosophy that studies the relationship between formal logic and ordinary language, and especially the extent to which the former can be held accurately to represent the latter, or, equivalently, to which the latter is an adequate model for the former.