It seems to me that current work in semantics of natural language processing is based on Tarski's book such as "Logic, Semantics, Metamathematics; Papers From 1923 To 1938", which is far from satisfactory according to Michael Jordan (a leading expert in AI). Any thought on this?

  • $\begingroup$ Alfred Tarski's understanding of truth is based on formal languages. A formal language is equal to a computer language like Python. As a consequence, a programmer is somebody who builds a semantic system. $\endgroup$ – Manuel Rodriguez Feb 27 at 19:31
  • 1
    $\begingroup$ I mean semantics for natural language processing (NLP), beyond formal languages. $\endgroup$ – Math Wizard Feb 27 at 19:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.