Mithal Systems — From Thought to Logic

A face in profile at the left, hair drawn out into flowing lines and scattered marks; the Mithal Systems mark and name at the centre; and at the right those lines gathered into a diagram of nodes, boundaries, and a single directed path ending in a filled square.

Mithal Systems builds the layer between thought and effect: symbolic substrates that carry meaning explicitly, and institutional structures that decide what may be done, by whom, and on whose authority.

From Thought to Logic

Mithal Systems builds the layer between thought and effect: symbolic substrates that carry meaning explicitly, and institutional structures that decide what may be done, by whom, and on whose authority.

Thesis

Inference is not a system.

A process that produces plausible output has not thereby produced an account of itself. It cannot say what it is permitted to do, under whose authority it acts, which commitments follow from which, or what it owes an explanation for. Those are questions of language, structure, and institution, and they do not resolve with scale.

We take the older answer seriously. Meaning is carried in language that can be inspected. Obligation is created by rules that constitute roles, not only by rules that forbid actions. Order is something a system holds rather than approximates. Our work is to give computation that footing, so that what it does can be read, authorised, and answered for.

From expression to effect, and back as evidenceA proposition enters a symbolic boundary, where inference derives it along several paths and returns a single conclusion. The conclusion passes into an institutional boundary, where it is proposed and authorised in turn, and then crosses the one gate in that boundary's world-facing wall to become an effect on the world. The effect returns to the inference boundary as an observation, to be interpreted before it can support any further authorised act.EXPRESSIONINFERENCEAUTHORITYEFFECTOBSERVATION

Work

One substrate, and the order it executes under.

Rede

Computational substrate

A symbolic language, a model of time, and a distributed process model, executed under an institutional layer that confers authority and accounts for effects.

Substrate

  • Symbolic language
  • Temporal reasoning
  • Distributed processes
  • Inference

Institutional execution

  • Constitutive rules
  • Roles and authority
  • Phases and dispatch
  • The membrane
  • Accountable effects
Read about Rede

Principles

What the work is held to.

Language
Meaning is written down in a form that can be read, checked, and argued with.
Agency
Processes act as someone, in a role, with authority that can be traced to its source.
Order
Time, sequence, and precedence are represented in the system, not reconstructed afterwards.
Intelligibility
A system that cannot be explained to the people it affects is not finished.
Accountability
Every effect on the world carries a record of who authorised it and under which rule.
Durable structure
We build for institutions that outlast the projects running inside them.

Company

A research-led systems engineering company.

Mithal Systems works on the parts of computation that are difficult to retrofit: language, structure, authority, and record. The programme is long-horizon and deliberately narrow — one substrate, Rede, and the institutional layer it executes under, designed against each other from the start.

We work with organisations that have to answer for what their systems do.

About the company

Contact

Get in touch.

Write about applied work, research collaboration, or the architecture itself.

Repositories
Published as projects become public.