random-thinglike-things/hloglang/words.html

55 lines
2.4 KiB
HTML

<html>
<head>
<title>unnamed conlang</title>
<link rel="stylesheet" href="./theme.css">
</head>
<body>
<p>Hi. This is my conlang.</p>
<p>There are a few types of words as of now.</p>
<hr />
<h2>Truth values</h2>
<p>
<tv>Truth values</tv> are an intrinsic property of <st>statements</st>.
</p>
<p>
For example, the truth value of the statement <green>"if x is true, then x"</green> is <tv>true</tv></b>.
</p>
<ul>
<li><tv>astal</tv>: true</li>
<li><tv>ikest</tv>: false</li>
<li><tv>yupen</tv>: paradoxical</li>
<li><tv>altro</tv>: unknown</li>
</ul>
<h3>"Paradoxical"</h3>
<p>This is the truth value of statements like <green>"this statement is false"</green> and such.</p>
<h3>"Unknown"</h3>
<p>This is the truth value of statements where there is not enough information to deduce a truth value, like <green>"x is true"</green>.</p>
<hr />
<h2>Statements</h2>
<p>
A <st>statement</st> is a fact, like <green>"at least one thing exists"</green>.
</p>
<p>
A statement generally has a <tv>truth value</tv>. It consists of <c>concepts</c> and <st>other statements</st>, primarily. Statements are what is fundamentally communicated.
</p>
<p>
Stating a statement implicitly implies that it is <tv>true</tv>.
</p>
<ul>
<li><st>lontra</st>: <c>x1</c> exists</li>
<li><st>lontro</st>: <c>x1</c> exists at time/location <c>x2</c></li>
<li><st>ixtri</st>: <c>x1</c> has truth value <tv>x2</tv></li>
<li><st>ixtra</st>: <c>x2</c> has truth value <tv>x1</tv></li>
</ul>
<h3>Example</h3>
<p>
<st>lontra</st> <cm>klastra</cm> <c>anapios</c>: <green>a bee exists</green>
</p>
<p>
<st>lontra</st> indicates <c>x1</c> exists. <c>x1</c> is <cm>klastra</cm> <c>anapios</c>,
where <cm>klastra</cm> is a content modifier meaning "a nonspecific <c>x1</c>".
As a result, <cm>klastra</cm> <c>anapios</c> is "an <cm>anapios</cm>", which is a bee. So, <green>a bee exists</green>.
</p>
<hr />
</body>
</html>