308
edits
Semantics: Difference between revisions
use the formula thingy
(Finish what I wanted to say about models) |
(use the formula thingy) |
||
| Line 1: | Line 1: | ||
Toaq is a loglang, which means that from any sentence, we can unambiguously derive its meaning in logic notation. [[Syntax]] describes how this process works; '''semantics''' describes how to interpret the result. | Toaq is a loglang, which means that from any sentence, we can unambiguously derive its meaning in logic notation. [[Syntax]] describes how this process works; '''semantics''' describes how to interpret the result. | ||
The refgram tells you that {{Derani| |Luı nuo sá tıqra nîe náokua}} translates to | The refgram tells you that {{Derani| |Luı nuo sá tıqra nîe náokua}} translates to <math>\exists x: \text{tıqra}_w(x).\ \exists e.\ \tau(e)<t\land \text{nuo}_w(x)(e)\land \text{nıe}_w(e, \text{naokua})</math>. The reality is that this isn't "just" logic notation: it's a very specific notation that has been purpose-built for describing natural language semantics, and this article will help you understand the core concepts behind it. | ||
== Models == | == Models == | ||