Leibniz dreamed of a universal language and a calculus of reason which would reduce all problems to numerical computation.
Unrealisable in his time, it is still today a dream, but one which (subject to qualifications) advances in mathematics, logic
and information technology may have brought within our grasp.


The XLogic project has two sides.
It is Part IV of an "Evolution Rationality and Deduction" book project, and as such provides an informal exposition of an
information architecture designed to capture the results of diverse methods of analysis, applicable both to philosophical
and to other problem domains.
Its other side is formal, and is represented by an open source project hosted on Google code under which formal models of
this architecture are to be developed.
These models, as well as furthering the philosophical analysis, are intended as an input to a process of formulating standards
for some future generation of "The Semantic Web".

