160
edits
Semantics: Difference between revisions
clean up the introduction a lil
(Write the worlds section) |
(clean up the introduction a lil) |
||
| Line 1: | Line 1: | ||
Toaq is a loglang, which means that | Toaq is a loglang, which means that given any sentence, we can unambiguously derive its meaning in logic notation. '''Semantics''', the study of meaning, guides us in determining what those results should look like, and how we might use our knowledge of [[syntax]] to generate them. | ||
The refgram tells you that {{Derani| |Luı nuo sá tıqra nîe náokua}} translates to <math>\exists x: \text{tıqra}_\text{w}(x).\ \exists e.\ \text{τ}(e)<\text{t}\land \text{nuo}_\text{w}(x)(e)\land \text{nıe}_\text{w}(e, \text{n}\mathrm{\acute{a}}\text{okua})</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. | The refgram tells you that {{Derani| |Luı nuo sá tıqra nîe náokua}} translates to <math>\exists x: \text{tıqra}_\text{w}(x).\ \exists e.\ \text{τ}(e)<\text{t}\land \text{nuo}_\text{w}(x)(e)\land \text{nıe}_\text{w}(e, \text{n}\mathrm{\acute{a}}\text{okua})</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. | ||