Text this: رویکرد نظریه-برهانی به مفهوم پیامد منطقی، و نقد تارسکی به آن