Es ist eine Philosophie, die darüber nachdenkt, wie Sprache und Bedeutung rechnerisch dargestellt und verarbeitet werden.