704
edits
Semantics: Difference between revisions
link to uploaded version of hoemui.pdf
m (better words) |
(link to uploaded version of hoemui.pdf) |
||
| Line 24: | Line 24: | ||
Say that you have an idea of what the world is like—maybe you have a mental model in your head, or maybe you have a database to look things up in. If your knowledge is complete enough, then that model lets you answer a question, or tell whether what someone said is true, by interpreting their words and then "looking up" the answer. But more often than not, people are working with incomplete knowledge. In this case, if someone tells you something, a model lets you interpret their words and then ''work backwards'' from the meaning to figure out what must be true about the world. | Say that you have an idea of what the world is like—maybe you have a mental model in your head, or maybe you have a database to look things up in. If your knowledge is complete enough, then that model lets you answer a question, or tell whether what someone said is true, by interpreting their words and then "looking up" the answer. But more often than not, people are working with incomplete knowledge. In this case, if someone tells you something, a model lets you interpret their words and then ''work backwards'' from the meaning to figure out what must be true about the world. | ||
A note for the adventurous: There are alternative approaches to semantics that don't involve models, such as [https://plato.stanford.edu/entries/proof-theoretic-semantics/#InfIntAntRea proof-theoretic semantics], in which the meaning of a statement is determined purely by its relationships to other statements in a formal proof system. There have been some attempts to apply this approach to Lojban and Toaq semantics<ref>[https://mostawesomedude.github.io/brismu/ brismu], a sketch of an inferential approach to Lojban semantics</ref><ref>[ | A note for the adventurous: There are alternative approaches to semantics that don't involve models, such as [https://plato.stanford.edu/entries/proof-theoretic-semantics/#InfIntAntRea proof-theoretic semantics], in which the meaning of a statement is determined purely by its relationships to other statements in a formal proof system. There have been some attempts to apply this approach to Lojban and Toaq semantics<ref>[https://mostawesomedude.github.io/brismu/ brismu], a sketch of an inferential approach to Lojban semantics</ref><ref>[[:File:Hoemuı.pdf|Hoemuı]], the beginnings of a sketch of an inferential approach to Toaq semantics (super outdated)</ref>, but when it comes to natural language semantics, the model-based approach described here is far more common. | ||
== Basic notation == | == Basic notation == | ||