Synthetic Philosophy and Deductive Engineering
SPaDE seeks to contribute to certainty in the conclusions of Artificial Superintelligence (ASI) systems by the use of declative language (which make language more precise in meaning) and deductive methods (which make conclusions drawn from some body of knowledge more reliable).
We aknowledge that there can be no absolute disambiguation of language or certainty of inference, but aver that levels of precision and reliability can be achieved which are sufficient for most practical purposes. The level of confidence required will depend upon the application, and we therefore provide for the constraint of methods to be tailored to the needs of the user.
In aknowledgement of the absence of absolutes, all claims in SPaDE are opinions and are signed by some authority whose opinion it is, and will in general be subject to caveats expressing the dependence of the conclusion on the opinions of other authorities who have signed the premises on which the conclusion depends.
When any user accesses a SPaDE repository he will be able to filter the results so that they depend only on the reliability of those authorities which he trusts to a level appropriate for his application.
These features demand a calculus of authority levels which it is the purpose of this document to sketch, and which will be developed in more detail in the future.