Liar, Reducibility and Language