Monday Logic

Today in Logic we reviewed Conditional Proof and Indirect Proof, then went on to Predicate Logic introducing the symbols used. A question regarding the translation of normal human speech into symbolic systems about what is lost in translation brought up the difficulties in translating even normal speech between humans, as for example this quote from The Atlantic "When he makes claims like this, the press takes him literally, but not seriously; his supporters take him seriously, but not literally." My quiz question is how could computers - using the symbolic language we are examining - deal with this kind of nuance? Can we lose so much in human language translating into symbolic languages and enable computers to deal with the complexity in human issues?