MoL-2014-15: Maddirala, Nikhil (2014) Philosophy of logical practice: a case study in formal semantics. [Report]