324
edits
Semantics: Difference between revisions
YAY
(Write most of the semantic calculus section) |
(YAY) |
||
| Line 25: | Line 25: | ||
== Semantic calculus == | == Semantic calculus == | ||
Now, we're ready to talk about notation. When you see something like | Now, we're ready to talk about notation. When you see something like <math>\exist x: \text{kato}_w(x). \exist e. \tau(e) \subseteq t \land \text{neo}_w(x, \text{m}\mathrm{\acute{u}}\text{ao})(e)</math>, what you're looking at are a bunch of things from the domain of the model. A lot of these words (kato, neo <math>\exist</math>, <math>\tau</math>, <math>\land</math>) are '''functions'''; some others (múao) represent literal "things" from the domain, like physical objects, people, and ideas, which we'll call '''individuals'''. Together, these words form an expression that shows you how to calculate the truth value of a specific sentence (in this case, {{Derani| |Neo sá kato múao}}), given that you have the model. | ||
There's a key difference here: In languages like English and mathematics, you can use words to form statements such as "The sky is blue" and "x + 1 = 2", or you can use them to form smaller expressions, like "the author of this book" and "{1, 2, 3}". But in the semantic notation we're looking at, there are no statements, only expressions, because the point of semantics is to examine the values that things denote, including the values of statements themselves. As such, it doesn't make sense to call this a "logic notation", because on its own, it can't form statements. Instead, we'll call it a '''semantic calculus'''. | There's a key difference here: In languages like English and mathematics, you can use words to form statements such as "The sky is blue" and "x + 1 = 2", or you can use them to form smaller expressions, like "the author of this book" and "{1, 2, 3}". But in the semantic notation we're looking at, there are no statements, only expressions, because the point of semantics is to examine the values that things denote, including the values of statements themselves. As such, it doesn't make sense to call this a "logic notation", because on its own, it can't form statements. Instead, we'll call it a '''semantic calculus'''. | ||