Maybe, I'm not that well versed on the mathematics side (and only moderately well read on the philosophy side) It is also my understanding that most of the work on logic occurs on the philosophy side. See Frege, Kripke, Hintikka, and others. My particular interest (never finished the degree) was Bayesian Epistemology--basically looking at knowledge as uncertain, and trying to model degrees of certainty using Bayesian methods.