philosophical logic
n (Logic) 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
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014