MENTAL
 Main Menu
 Properties
 MENTAL, a Symbolic Language


MENTAL, a Symbolic Language
 MENTAL, A
SYMBOLIC
LANGUAGE

"Symbolism is an immediate datum of total consciousness" (Mircea Eliade).

"The power of a symbol resides in the condensed idea behind it" (George Spencer-Brown).

"To new ideas necessarily correspond new signs" (David Hilbert).

"In the symbol is hidden the revelation" (Thomas Carlyle).



The Symbols and their Properties

Symbols are simple graphic representations that do not require external interpretation, because by themselves they evoke archetypes of the collective unconscious and appeal to the intuition. Symbols precede conscious understanding.

According to Ernst Cassirer, man does not live in a physical universe, but in a symbolic universe. Man relates to things by means of a complex symbolic network that serves to order and make reality comprehensible. The mind abstracts reality in the form of symbols.

For Erich Fromm, symbolic language is universal. It is the true and only common language, which humanity forgot, so it had to resort to conventional, particular, sign-based languages.


Properties of symbols
Signs vs. Symbols

Sign and symbol are located at the two poles of consciousness.

A sign is a mere representation of a simple concept. A symbol transcends the sign:
Some Milestones of Mathematical Notation

Signs and Symbols in MENTAL

In the syntax of MENTAL primitives, no keywords are used. Instead, what we can call "sign-symbols" are used: Since the universal semantic primitives are of a deep, synthetic and intuitive type, we should use pure symbols. But this goal is not possible to achieve, so we need an interpretation that helps to internalize the sign-symbols used. The same thing happens with derivatives.

The sign-symbols are of two types:
  1. Delimiters. They are parentheses placed at the ends of an expression.

  2. Operators. They act next to an argument (monadic operators) or between two arguments (dyadic operators).
Anyway, as already mentioned, this syntax should be considered only a proposal, and the user can modify or adapt it as he likes, even using keywords.


Table of primitives

The table of primitives with their signs-symbols used is as follows:

PrimitiveSyntax
1Parameterized Generalization⟨...⟩(1)
Non-Parameterized Generalization⟨...⟩
2Qualitative Particularization/
Quantitative Particularization\
3Parallel Grouping (Set){...}
Series Grouping (Sequence)(...)
4Full Distribution[…[…]…]
Linear Distribution[…⌊…⌋…]
5Potential Substitution=:
Actual Substitution=
Initial Substitution:=
6Equivalence
Contrary Equivalence≡'
7EvaluationNo Operator
No Evaluation°
8Addition+
Subtraction
9Condition
Contrary Condition←' or →
10Upward Navigation
Downward Navigation
11Start Execution!
Finish Execution¡
12Continue Process
Stop Process

(1) Parameters in bold


The "contrary" meta-operator

In the above table there is an operator acting on an operator, which is the contrary meta-operator ('). The equivalences are as follows:

Addenda

Some quotes about symbols and signs
Bibliography