205
edits
Semantics: Difference between revisions
Mention non-denotationalist semantics
(Make constants non-italic, like the refgram) |
(Mention non-denotationalist semantics) |
||
| Line 23: | Line 23: | ||
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], which says that 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://github.com/MostAwesomeDude/brismu brismu], a sketch of an inferential approach to Lojban semantics</ref><ref>[https://cdn.discordapp.com/attachments/311223912044167168/850159530011918357/hoemui.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. | |||
== Semantic calculus == | == Semantic calculus == | ||
| Line 57: | Line 59: | ||
== Propositions == | == Propositions == | ||
== Notes == | |||
<references /> | |||