Jump to content

Semantics: Difference between revisions

17 bytes removed ,  22:06, 12 February 2023
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 ∃''x'' : tıqra<sub>''w''</sub>(''x''). ∃''e''. τ(''e'') < t nuo<sub>''w''</sub>(''x'')(''e'') nıe<sub>''w''</sub>(''e'', náokua). 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{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 ==