MENTAL is based on universalist principles: the principle of duality, the dialogical principle (of the union of opposites), the principle of downward causality, the principle of economy
(of union of opposites), the principle of descending causality, the principle of economy, and the principle of consciousness as a universal paradigm.
and the principle of consciousness as a universal paradigm. As a consequence, MENTAL is:
A universal formal language based on universal semantic primitives.
A simple language, of supreme level of conceptual abstraction, the foundation of complexity.
A universalist thesis, a theory of everything and a universal paradigm.
The language of the consciousness. A language based on primary archetypes (archetypes of the consciousness),
which are the universal semantic primitives.
An ideal philosophical language. The primitive universal semantics (or primary archetypes) are also philosophical categories.
are also philosophical categories.
A universal philosophical grammar.
The foundation of languages and formal sciences (mathematics, computer science, artificial intelligence, linguistics, systemics, etc.).
(mathematics, computer science, artificial intelligence, linguistics, systemics, etc.).
As a consequence, the boundaries between these sciences are blurred.
A theory and model (or metamodel) of mind.
A universal descriptive and computational model. As a computational model it replaces the old Turing machine model.
The "Magna Carta" of possible worlds.
The universal computer instruction set.
The new Principia Mathematica of the 21st century. MENTAL is a mathematical language and the foundation of mathematics.
A universal paradigm computer language. From the universal paradigm are derived
all the particular programming paradigms (imperative, functional, logical, relational, object oriented, agent oriented, aspect oriented, event oriented, constraint oriented, etc.),
agent-oriented, aspect-oriented, event-driven, constraint-driven, etc.).
MENTAL is also a specification language, a database management language,
a graphical language, a generalized markup language, and the foundation of all operating systems.
A universal logic, in the sense that all kinds of speciic logics can be expressed.
A universal algebra, an algebra of supreme abstraction based on primary concepts.
An artificial intelligence language, including common sense knowledge representation.
A universal synchronistic language. Everything is connected by the deep level of the primary archetypes.
A transdisciplinary, symbolic, compact, creative, bootstrap, structuralist language,
metaphorical, fractal, essentialist, naive, alchemical and initiatory.
A falsifiable language (in Popper's sense). Its thesis of universality can be overturned
if a given domain cannot be formalized with language.
A universal open standard.
The true "theory of categories", the theory based on philosophical categories structured as language.
The current theory of categories is based only on a primitive one (morphism), which paradoxically leads to great complexity.
great complexity.
A dialogic language. It unites all opposites:
reductionism and holism,
analysis and synthesis,
quality and quantity,
syntax and semantics,
lexical semantics and structural semantics,
meaning and denotation,
ontology and epistemology,
realism and idealism,
language and metalanguage,
theory and practice,
necessity and possibility,
statics and dynamics,
the objective and the subjective,
the operative and the descriptive,
the generic and the specific,
the intensive and the extensive,
the absolute and the relative,
the abstract and the concrete,
the discrete and the continuous,
the natural and the artificial, etc.
MENTAL is an invention and a discovery. It is a language of the so-called "third culture", since it unites science and humanism.
MENTAL, because of its supreme level of conceptual abstraction, manages to make real the universalist conceptions of several authors throughout history, including
universalist conceptions of several authors throughout history, among them:
The Mathesis Universalis postulated by Descartes, a hypothetical universal science, is the foundation of all particular sciences.
foundation of all particular sciences.
The Lingua Characteristica Universalis postulated by Leibniz, a project for the creation of a universal language for science, which should also serve for reasoning (Calculus Ratiocinator).
for science, which should also serve for reasoning (Calculus Ratiocinator).
MENTAL is a universal language that also serves for reasoning, where inferences can be automatic.
Hume's dream of discovering mathematical laws for the mental world, following the line traced by Newton for the physical world.
Newton for the physical world.
The "phenomenology of spirit" sought by Husserl as the foundation of the unity of knowledge.
The "metamathematics" postulated by Hilbert.
The mathematical language that Church sought and finally reduced to a functional language: the Lambda calculus.
functional language: the lambda calculus.
The "neutral language" postulated by Jung and Pauli, common to the external (physical) world and the internal (psychic) world.
internal (psychic) world.
Carnap's "universal scientific language", oriented to represent empirical facts.
The "language of the spirit" postulated by Lévi-Strauss, based on elementary units of meaning (mythemes).
Korzybski's "general semantics", an attempt to create a universal discipline or synthesis of all sciences.
Montague's grammar", a project of formal philosophy and a universal theory of language (natural and artificial).
The universal language for science sought by Von Bertalanffy for his General Systems Theory.
The universal language sought by post-structuralist philosophers.
The realization of Gödel's dream of basing mathematics on Platonic ideas.
John Wheeler's "pregeometry", the hypothesis that the physical world is a manifestation of a deep structure.
The "universal grammar" postulated by Chomsky, the hypothesis that there is an innate grammar common to all languages.
The science advocated by Ken Wilber that integrates all manifestations of consciousness.
The concept of "abstract space", a space that Whitehead tried to formalize,
the space where all the expressions used are stored and related.
The universal paradigm sought by Ervin Laszlo: a set of principles underlying science and philosophy.
The "mathematics of consciousness" sought by Maharishi, who attempted to base it upon
Vedic mathematics and modern category theory.
The realization of Herbert Simon's dream of unifying mind and computer (or psychology and computation).
From the privileged (deep) point of view of MENTAL, problems of all kinds are clarified, simplified or solved.
are clarified, simplified or solved, among themselves:
Harmonization of the schools of mathematical foundations (formalist, logicist and intuitionist).
The relationship between language and thought. MENTAL is not Mentalés (Mentalese), the hypothetical
language of thought. It is a language of consciousness, a deep, fundamental and transcendental language, the foundation of all languages.
and transcendental, the foundation of all languages.
The formalization of semantics.
The issue of hypercomputing.
The philosophical problems of truth and identity.
The question of the nature of mathematics.
The relationship between logic and mathematics.
Logical paradoxes. Paradoxes are fractal expressions (they refer to themselves).
Therefore, Russell's type theory becomes unnecessary.
The problem of logical implication.
The continuum problem.
The formalization of the infinitesimal.
Cantor's transfinite number problem.
The creation of a semantic web, a web based on meaning, with well-defined, homogeneous and structured information.
The limits of artificial intelligence.
Wigner's question: Why is mathematics so useful for the natural sciences?
Gettier's problem (the difficulty of defining knowledge):
knowledge is founded on the archetypes of consciousness.
The "frame problem" in artificial intelligence: the difficulty of expressing (with first-order logic) what does not change.
It clarifies the true meaning of Gödel's incompleteness theorem: mathematics cannot be grounded in itself.
(in any formal axiomatic system).
In short, MENTAL is a Copernican cognitive revolution, basing everything on the archetypes of consciousness.
of consciousness. MENTAL is the "master key" that opens all doors.