Jump to content

Semantics: Difference between revisions

24 bytes added ,  03:32, 13 February 2023
THOU HAST BEEN DEFEATED
(YAY)
(THOU HAST BEEN DEFEATED)
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 <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.
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{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.


== Models ==
== Models ==