Synthetic Philosophy and Deductive Engineering
This project seeks to progress the proliferation of benign intelligence across the cosmos from small beginnings here on earth, complementing and merging with similar progressions from other points of origin.
The purpose is derived (post hoc) from ethical principles in the context of pragmatic constraints, taking into account the fundamental imperative of evolution.
Its progression is considered as an engineering process in which the means to proliferation are engineered and applied by ever advancing intelligent infrastructure exploiting and continually advancing a distributed shared repository of declarative knowledge.
The contribution sought by this project to that purpose is in two principle areas. The first is concerned with the management of that shared repository. The second with the architecture and fundamental core of the deductive intelligence which is considered the engine of proliferation.
The seminal insights upon which the SPaDE architecture is based include:
That there are universal representations for declarative knowledge, the simplest of which is the higher order logic derived from Alonzo Church’s Simple Theory of Types (which is adopted by SPaDE).
That all deductive reasoning takes place in perfect information spaces, which are domains in which intelligence can most effectively be delivered by focal methods rather than by large language models.
Further elaboration of the ‘synthetic philosophy’ which underpins the project, and the architecture for proliferation which emerges from it, appears in the docs directory:
together with all other project documentation not specific to the four subsystems of special concern, covering knowledge representation, the deductive kernel, deductive intelligence and the MCP server.
containing those parts of the project contributing to the architecture of the distributed repository of declarative knowledge.
Containing those parts of the project contributing to the deductive kernel.
Containing the support for deductive intelligence which makes feasible the application of deduction and the transition to a deductive rather than a computation paradigm for information processing. This wraps the deductive kernel with layers of focal intelligence making use of multilayered neural nets closely coupled with the heirarchy of logical contexts found in the SPaDE distributed knowledge repository.
Containing the server through which the SPaDE system delivers its services, exploited or mediated by agentic ASI (Artificial Superintelligence). This subsystem may also include facilities supporting a marketplace through which a broader ecology of focal intelligence beyond SPaDE may be accessed and served.