add hloglang
This commit is contained in:
parent
2468dfbec3
commit
45f98f0d76
45
hloglang/theme.css
Normal file
45
hloglang/theme.css
Normal file
@ -0,0 +1,45 @@
|
|||||||
|
body {
|
||||||
|
background-color:rgb(2,1,43);
|
||||||
|
color:#CCC;
|
||||||
|
width:auto;
|
||||||
|
max-width:80ch;
|
||||||
|
margin-left:auto;
|
||||||
|
margin-right:auto;
|
||||||
|
font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, Courier, monospace;
|
||||||
|
font-size:1.5rem;
|
||||||
|
line-height:1.6;
|
||||||
|
}
|
||||||
|
lime {
|
||||||
|
color:lime;
|
||||||
|
}
|
||||||
|
green {
|
||||||
|
color:green;
|
||||||
|
font-weight:bold;
|
||||||
|
}
|
||||||
|
magenta {
|
||||||
|
color:magenta;
|
||||||
|
font-weight:bold;
|
||||||
|
}
|
||||||
|
st {
|
||||||
|
color:#cc9933;
|
||||||
|
font-weight:bold;
|
||||||
|
}
|
||||||
|
tv {
|
||||||
|
color:#2050FF;
|
||||||
|
font-weight:bold;
|
||||||
|
}
|
||||||
|
c {
|
||||||
|
color: lime;
|
||||||
|
font-weight:bold;
|
||||||
|
}
|
||||||
|
|
||||||
|
cm {
|
||||||
|
color: #FFFF60;
|
||||||
|
font-weight:bold;
|
||||||
|
}
|
||||||
|
unl {
|
||||||
|
text-decoration: underline;
|
||||||
|
}
|
||||||
|
hr {
|
||||||
|
color: purple;
|
||||||
|
}
|
55
hloglang/words.html
Normal file
55
hloglang/words.html
Normal file
@ -0,0 +1,55 @@
|
|||||||
|
<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>
|
Loading…
Reference in New Issue
Block a user