Table of Contents
1. Preamble
1.1. Introduction
Translate into Senscript: The only statements that ought to be made arethose about reasoning, or about observation, or about action. From observation, arises prediction, but only for the purpose of action, and thus the axioms of action form the axioms for all behaviour. But language is not philosophy. The statements that are made are not the same as those that ought to be made – metaphysical and otherwise meaningless statements are made. Language and its grammar must accommodate these statements.
Name “Senscript”
1.2. Document conventions
Document conventions – code, italics, underline
2. Grammar
2.1. Words and operations
2.1.1. Sets, attributes and states
The fundamental axioms of Senscript are the existence of states, sets and attributes. The grammar of the language simply comprises of specific statements we can make about these objects. Sets are sets of states, and states are determined by their attributes that are given as tuples of sets. Intuitively, one should imagine a state or state as a very specific state an object is ever in, or a very specific state that ever occurs.
Examples of states (here dog1, run1) etc. are names given to the states, and not actually accessible in the language itself:
y1 = <dog1 atma = dog, owner = (me, you), time = tomorrow,...> y2 = <run1 atma = run, time = yesterday, location = along Main Street, manner = fast, doer = me, ...>
Examples of sets:
dog = { <dog1 atma = dog, owner = (me, you), location = Earth>, <dog2 atma = dog, owner = me, location = Mars>, <dog1 atma = dog, owner = me, location = Earth>, ... } eat = { <eat1 atma = eat, doer = (me, you), doee = rice, time = now>, <eat2 atma = eat, doer = you, doee = dragon, time = yesterday>, <eat3 atma = eat, doer = me, doee = serpent, time = yesterday>, ... }
In practice, states will have a massive number of attribute sets and a set will contain a massive number of member states.
The “words” of Senscript are sets. In this manual, the relation between sets and states will be expressed through attribute extraction with the $
sign (though this is not a part of Senscript syntax) – e.g. y_1$owner
is (me, you)
, y_2$doer
is me
etc. – and through the standard interpretation of a word W
as W = { y | y$atma contains W }
– e.g. dog is the set of all states of dogs, etc. A more general construction for words (based on attributes other than atma
) will be discussed in the Apostrophication
section.
Worth noting is that the names of the attributes are not of central importance – one could access y_1$atma
as y_1$animal
or something just as well. The name of the attribute must be a valid Senscript word, but the behavior of attributes is purely axiomatic.
This might be useful to know: states are basically imaginary. They are the “metaphysics” we postulate to make sense of Sensescript. Also important to know: as we introduce the language, we will often substitute English for concepts and vocabulary we haven’t introduced yet: until the end, no sentence you see is the proper language.
2.1.2. Apostrophication
Given a word W
and an attribute s
, we define their apostrophication W's
to be the set:
W's := { y | y$s intersects W/~ }
Where
W/~ := { V | Exists z in W, V in z$atma }
(this is not actually a quotient, because we don’t actually have an equivalence relation) So for instance me'owner
is the set of all states whose owner
attribute is (or more generally includes) a word that is (or more generally is one of) the “atma” attribute of a state in me
: usually that word is just me
.
In practice it is pretty simple. One should think of it as a generalization of 's
where you indicate exactly how the possessor possesses the possessed.
Examples
planet'location
is the set of states of things located on planets.country'nationality
is the set of people with countries as their nationalities.India'nation
is the set of IndiansIndia'nation'owner
is the set of things whose owners have India as their nationalities, i.e. things that are the property of an Indian.
Comparisons to human languages:
- Prepositions: Approximately “in” translates to
'location
, “at” translates to'time
, “of” translates to'owner
, “to” translates to'purpose
, “because of” translates to'cause
, and so on. I say “approximately” because these prepositions are not really well-defined in English, and their use just depends on the words they’re used with. That’s not the case in Sensescript.- Possession: Same as the “of” example, the ’s postposition can indicated by
'owner
.- Subject/object:
'doer
indicates that the preceding word is the subject of the current verb,'doee
indicates that the preceding word is the object of the current verb. E.g. Hindi has a subject post-possession (the word “nae”) that sometimes appears. In Sensescript, these indicators are essential.- Adverbs: in particular, prepositions produce adverbs. E.g.
fast'manner
is an adverb of manner (the set of fast activities),Earth'location
is an adverb of location, etc.
More complicated adverbs like “during”, “across”, “along” will eventually be discussed.
2.1.3. Intersection, union, complement
The key to forming sentences in Sensescript is set intersection, or specification. This is done by writing the sets adjacent to each other in any order.
The simplest example is the application of adjectives: happy banana
refers to the set of things that are bananas, and are happy (banana happy
also means the same thing). This can be used to form intersections that are not generally kosher in English, such as swimmer banana
(set of things that are bananas, and are swimmers) or happy inedible
(set of things that are happy and inedible).
But the true power of set specification lies in using it with verbs, to specify adverbs, subjects and objects. For example, the following term:
me'doer (along the road) future'time fast'manner run
Clearly means “the set of all fast runs I will make along the road”. In standard English grammar, “run” is a verb, “fast”, “in the future” and “along the road” are adverbs of manner, time and location, and “I” is the subject. But it is clear that this distinction between subjects, objects and adverbs is quite arbitrary. This is even clearer in the following example:
you'doer letter'doee Bob'recipient send
Which is “the set of all instances of you sending a letter to Bob”. There is no fundamental reason why the letter is the object and Bob is the qualifier – it could very well be the other way around. It makes more sense to think of verbs as functions that take multiple “adverb” parameters.
Note that we still haven’t shown any Sensescript sentences. This will require us to make an assertion about the result of the intersection (we will call this the characteristic set of the sentence), such that it is nonempty.
Note that there are no rules for ordering words – set intersection is symmetric. You could, for instance, try to emulate the conventions of English or another language. I prefer a verb-last syntax.
Comparison to human languages
- Sentence formation in general – connecting nouns to verbs, application of adjectives, adverbs etc.
An important example to note is the apostrophication of an intersected set. This allows us to show adjectives (including possessive adjectives).
Examples
(happy dog)'doer rice'doee eat
is the characteristic set of “some happy dogs eat rice”.(dog me'owner)'doer rice'doee eat
is the characteristic set of “some of my dogs eat rice”.
Comparison to human languages
- Adjectives: as we saw above.
- Possessive adjectives, including possessive determiners.
- Restrictive relative clauses: This seems like a natural extension of the same principle (think of e.g. “Some dogs that eat rice killed the dragon yesterday.”), but is surprisingly difficult, because simply writing
(dog'doer eat rice)'doer kill
would not mean “dogs that eat rice, kill” but “eating that is done by dogs of rice, kills”, because theatma
ofdog'doer eat rice
iseat
, notdog
. We will see how to handle them in the section Lambda expressions.
Also worth noting are the complement of a set W
:=-W=, (e.g. -dog
is the set of states that are not dogs, -happy
is the set of all states that are not happy, -run
is the set of all states that are not running) and the union of sets V
and W
: V=+=W
.
Comparison to human languages
- Not and or (and is simply the use of tupled attributes)
Examples
me'doer (wheat+(tasty food -rice))'doee eat
is the characteristic set of “I eat wheat or tasty food that isn’t rice”.me\'doer (today+tomorrow)'time eat
is the characteristic set to “I will eat today or tomorrow”.dragon'doer (their prey) (eat+spare)
is the characteristic set to “Some dragons either eat or spare their prey”. It may be a good idea to think about how one may add “but don’t kill them for sport” to the sentence – and how to write “their prey” in Sensescript.
2.1.4. Lambda expressions
We introduce the following syntax, where p
is an expression that takes a set and outputs a sentence (we haven’t yet discussed sentences, but you know what we’re talking about – see the Sentence types section for more information):
(λun p(un)) = { y | p({y}) is true }
The un is arbitrary and can be replaced with any string of text (preferably fewer syllables) with exactly one nasal n (i.e. the topmost n of the Indic alphabets) that it ends with. It exists to prevent ambiguity in nesting lambda expressions – a nested lambda expression should use different lambda-suffixes.
Examples
dog (λun un'doer eat.)
is the set of dogs that eat. As a sentence this is of course equivalent todog'doer eat
, but this should be thought of as the characteristic set of “there are dogs that eat” while that would be of “some dogs eat”. The point is to use this expression in other sentences.dog (λun un'doer (un'owner tail)'doee chase.)
is the set of dogs that chase their own tail.dog (λun un'doer (person (λan an'doer un'recipient yell.))'doee chase.)
– (a nested one) characteristic set for “Some dogs chase people who yell at them.”horse (λun mouse (λan an'doer un'doee kill. and un'doer an'doee kill.).).
– (a nested one) “Horses and mice kill each other” (note: there’s some ambiguity here in the English – we’re saying that there exists a horse-mouse pair that kills each other, not that some horses kill mice and some mice kill horses) – we will be able to simplify this later with factorization.
Comparison to human languages
- Restrictive relative clauses: This is important for the restrictive relative clauses mentioned in the Adjectives in a sentence section. As an example:
(dog [λun'doer eat.])'doer kill
is the characteristic set for “Dogs that eat kill”.- Reflexive grammar: i.e. words like “own” and the suffix “-self”.
- Reciprocal grammar: i.e. “each other”, “one another”
- Impersonal pronouns: The only example of this from English is the pronoun “one” and its derivatives, but Indian languages provide a much clearer picture of such pronouns, e.g. the Kannada words “taanu” (roughly “one”) and “tanna” (roughly “one’s own”) or the Hindi word “apna” (roughly “one’s own”). Sensescript demonstration:
he [λun'doer (λun'owner rice)'doee eat.]
(“he eats apna rice”). This can also be done more simply with variables, which we will see in the Variables section.
2.1.5. Big operators
Binary operators (that are associative, commutative) can be extended into “big operators” by prefixing with a backslash \
– the binary intersection can be upgraded to the arbitrary intersection, the binary union can be upgraded to the arbitrary union, as in mathematics. The format is as follows:
\+(P(un))(f(un))
\*(P(un))(f(un))
Which represent the intersection/union respectively of all sets=f(un)= such that the sentence P(un)
holds. unis an index (and is set-valued of course) and can be replaced with any string of characters that ends with exactly one palatal n (i.e. the second row of the Indic alphabets) that it ends with – contrast with the nasal n used for the lambda-expressions.
Examples (for big intersection)
\*(un person.)(king (λan an'doer un'doee rule))
is the set of kings who rule all people. Note that one could’ve used un for the lambda expression unambiguously outside of Latin script, as the n is different.\*(un dog (λan an'doer (an'owner tail)'doee).) (king (λan an'doer un'doee rule))
is the set of kings who rule all dogs that chase their own tail.
Examples (for big union)
\*(un person. and en action.)(king (λan an'doer un'doee en))
is the set of kings who do every action to every person. I don’t know why that would be useful, but it’s an example of a multivariate indexing.
2.2. Anchors and variables
2.2.1. Anchors
Some specific states are in-built, called anchors, allowing the formation of words relative to it. There are three anchors, and an anchor schema in Sensescript:
yee
represents the “first person state”, representing the current state of the person communicating the information.yoo
represents the “second person state”, representing the current state of the person receiving the information.yoe
represents the “textual state” or “zeroth person state”, representing the current state of the current point in the current text or speech.yaa
represents the “third person state schema”, or “variable state”. One can set states in the form of the stringyaa
followed by a string containing exactly one retroflex n with which it ends, e.g. yaaban. This way, one can set multiple third persons, as different variable names.
Recall that the states themselves are not words, but attributes ofstates are, and can be accessed through the $
sign.
Comparison to human languages
- Pronouns and pro-forms: E.g.
yeeperson
(“me”),yeelocation
(“here”),yeetime
(“now”),yaabanperson
(gender-neutral pronoun),yaabanman
(“him”),yaabanlocation
(“there”),yaabantime
(“then”),yaabanthing
(“that”/“it”).- Definite article: “The” is essentially just “that”. So one could say e.g.
yaabanfrog
, and it would say “the frog”. Those of you who want pronouns based on height (which may be useful in e.g. basketball commentary) or nationality or whatever (analogous to pronouns based on gender), this is just the equivalent of saying “the tall man” (yaaban(tall man)
) or “the Chinese man” (yaaban(Chinese man)
).
Note that the yee
terms do not always correspond to the proximate pro-forms, which are defined based on proximity – e.g. yeething
does not mean “this”, and even yeelocation
can’t be used to e.g. point to a nearby location or a location on a map.
Also note that the word “the” in English has more uses than just as a definite article. The use of yaa is specifically for referring to a defined variable. Contrast with uses such as “The tiger is an annoying animal” (referring to abstractions), “The Earth is round” (as part of what are basically proper nouns), “This is the fastest way home”(specification that this is the only fastest way home).
2.2.2. Variables
The key to using the variable state, of course, is variable setting –actually setting the value of the variable at some point in the text. But we need to be careful. Suppose we have the sentence:
Some dogs that eat rice die.
And we refer to “these dogs” (i.e. a set variable) in the next sentence:
Some of these dogs go to heaven.
Now there is ambiguity: “these dogs” could refer just to dogs, to the dogs that eat rice, or the dogs that eat rice which die. And then if one uses “these dogs” again, it could refer to any of those, or to the dogs that eat rice which die which go to heaven.
One may think of these different definitions as different levels of intersection of the word dog
with various clauses. Indeed, one can do the “opposite of beta-reduction”, to write the first statement as:
dog (λun un'doer rice'doee eat.) (λan an'doer die.)
One may consider simply requiring that statements be written in this form to use variable setting. But you may imagine that we may need to assign both dog
and rice
as variables.
But wait a minute – we’re supposed to set states, not sets.
2.2.3. Default Variable Inference
Perfect tense
Simultaneously, same, other, etc.
Universes, mentions, the verb be. Null verb for mentions?
2.3. Sentences and connectors
2.3.1. Classification of sentences
Classification, their punctuation, distinction from philosophy.
2.3.2. Questions and answers
Or, generalised or. Leads to wh-, etc. Uses – wh-
Questions providing partial information (all questions are loaded), e.g. “When did he die?” (provides info that he died at all, and that he died in past) or “Which singer killed the bird?”
2.3.3. Assertions
Restrictive relative clauses, every/some/no/… any?
2.3.4. Probability
2.3.5. Emotion
Emphasis – “I did shut the fridge”, “Especially”, etc. Or to show other emotions. Connotation – positive, negative, etc. Exclamation. Contradiction. Dismissive (anyway). Confidence. “Of course”. Even, opposite of even (Indians and un-even Chinese eat rice) – kinda like just, sometimes. Literally, Exactly, Especially, Just, Only, Also, But… Already. Quotation marks?
Instead of?
For what I wish to say was the first time?
2.3.6. Connectors
Kill and eat, kill then eat, etc. Disparate sentences (paragraphing convention also), implication, passage of observation etc.
2.3.7. Factorization
“You, but not I, kill microbes.” “You and I eat bricks and mortar respectively.” Involving implicits? Related to slash (and/or)? Also relevant for giving answers. Respective, each other. Factorise to only state inputs to verb e.g. “there and then”, “here and now”
2.3.8. Environments
Math environment. Definition environment. Blog and comments environment (inherit definitions from parent comment or from post?)
2.3.9. Further punctuation
We’ve used a lot of standard symbols for other purposes. Parentheses, comma and semicolon, slash, numbering, etc. DO NOT use – ampersand, slash, percentage, etc.
3. Vocabulary
3.1. Special words
3.1.1. Set partitions
Left side, right side… along, across… fuzzy logic. Nearly, barely. Basically some specific prepositions
CSCs – extract sets from states (yeeren
), sets from other sets (“king’s location”)
… examples of inductive notation: labeling a whole series of yaa
’s, a series of commas, set intersections, dimensional union and intersection
Objects, properties associated with objects – location, time, round-off, misc. attributes (weight, height), orientation and directions i.e. CSPs (left, right, above, below, inside, outside, across, along, at the top, at the bottom, after, before…)
Can be rounded off to nearest sentence, paragraph, etc.
We – two different kinds of we – can be multiple people talking at once, or can be an approximation.
Set Canonifying Property Assertions? – Cardinality assertions. Distinguish me from us, him/her from him. Uses – non-restrictive relative clauses.
Father, grandfather, greatgrandfather,… Yesterday, daybeforeyesterday…
3.1.2. Attributes, values, units and number
Attribute-value syntax, units and counters, numbers, years, etc. Sann… Cardinals (two bananas, two things), ordinals Units, number counter (ge), percentages replaced by portions in decimal formats (shi). Fuzzy logic for values like “Very” “For the first time”. For what I wish to say was the first time
Comparative superlative.
3.1.3. Proper words
3.1.4. Classes
3.2. General words
3.2.1. Basic idea and conventions
Nouns end in -u, etc. Synonyms hyphenated for clarification like Chinese. English Root words, Sanskrit conversions, Chinese for common and common properties/apostrophe terms… Ending in nasal and palatal n’s forbidden. As few root words as possible, conversions emphasized. Merging equivalent words – talk, say, speak, tell, etc. Making murder an adverb for kill
3.2.2. Essential words
Thing, be, do, make, have, etc.?
3.2.3. Word transformations
Verb transformations – causative (-su), conversal (-du), ability (-ku),expectation (“this should work”); Be : become, be at : go, etc.
un-, anti-, -ive, -er… “fire removing person male”
Intertype conversions: Gerunds, “best eats/my run”, etc. Creation, consumption, destruction defaults.
3.2.4. Root word sheet
Basic principle – English simple words that cannot be reduced as transformations of root words, no idioms like “putting out a fire”. manual exceptions. Vocabulary is basically completely extensible if you make definitions on the fly.
th- suffixes, etc. Word suffixes for specific categories (e.g. step-,in-law)
4. Pronunciation and script
5. Postamble
5.1. Translating tips
Keep meaning in mind – e.g. “I want two things” (any two things or just two things?), all the other examples in grammar - old.docx… “the king”, “just fire him”
If it cannot be translated, it’s idiomatic – e.g. “he was born smart”, “at once”
Pronouns, Prepositions, every-, some-, any-, wh-, h-/th-,each/every/all/only, adverbs of location/time, restrictive relative clause, non-restrictive relative clause, clause, modals and auxillaries, addressing (Let’s eat, Grandma!), z especially admittedly regardless to be honest etc., gerunds, connectors, articles, gender, tense, grammatical number and singular/plural, values and attributes, comparison, prefer to, “one” pronoun
Etc., i.e., e.g., also, even, any. In the order of. As in. in terms of. sic. Vice versa. After all. As usual. “Any most”. One must…
And/or, (s), etc. – not necessary!
For things that don’t really make sense in English, suggest alternatives– e.g. actually. Ideally? Let’s hope for you. Stitch them together. Screw you. Allowed less leeway.
5.2. Cheat-sheet
Grammatical terms, symbols (including spacebar.), variable names and lambda variable names, pronunciations thereof
Script
5.3. Examples
5.3.1. Standalone example sentences and phrases
The quick brown fox…
5.3.2. Essay 1: short story
5.3.3. Essay 2: instructional manual
5.3.4. Essay 3: science fiction piece
Proper time, multiple dimensions
5.3.5. Essay 4: legal contract
5.3.6. Essay 5: mathematical text
A set is closed if and only if it contains all it limit points.
one can check that two discrete topological spaces with sets with thesame cardinality are homeomorphic
The union of two disjoint connected sets is connected.
disjoint open partition with connected sets is unique up to
it suffices to show that
“Nothing(ness) suffices.” “A and B suffice.” Necessify?
Variable setting – for inverted commas, e.g. a “Euclidean” action […: Euclidean] or something like that
which create an open disjoint cover of each connected component – this can only be true of an open set if the sets in the cover are precisely the connected components
number of sample sets to plot distribution of sample stats with