The ultimate content of X-Logic remains at this stage quite open. Nevertheless we have available a prospectus, some preliminary work on philosophical principles, a crude workplan and a first (pre-design!) alpha release.

The OpenMind web site is a testbed for X-Logic technologies and the source of philosophical foundations and high-level formal models for X-Logic.

An XML based framework supporting reasoning in the "semantic web". Generic support for defining the semantics of languages and for sound deductive reasoning in a multi-lingual context.

The closest thing we have to a plan, more like a wish list really.

This is just a few notes to explain what the currently available releases of X-Logic are.

The directory tree of X-Logic.org giving full access to work in progress.

The term "philosophy" here covers a broad span. This is a sufficiently important part of the grounding for X-Logic that X-Logic.org hosts the OpenMind formal philosophy site, a major part of which is concerned with foundations for X-Logic. A crucial output from the philosophical analysis is high level formal models which contribute to the architectural design of X-Logic.

In a less formal sense the X-Logic Prospectus is also

A crude workplan for near term work is now available.

The first alpha release concerns the technologies used to build the X-Logic.org website, which includes literate scripts for formal models and listings of the theories created under ProofPower from these scripts, all created from XML sources.

OpenMind applies formal methods and tools to analytic philosophical problems, explores the relationship between logic and rationality, and provides both applications of and foundations for X-Logic.

To underpin an understanding of Rationality, and as a philosophical foundations for The Semantic Web, we propose develop a new "Theory of Knowledge".

Foundation systems for formal analysis play the same role as logical foundations for mathematics but are aimed at a broader range of applications.

X-Logic is a project to develop an architecture for generic logic technologies, exploiting XML and related standards, and to catalyse the development of applications using that architecture. The architecture will provide logical foundations for the integration of diverse languages and proof technologies. The project will investigate selected areas of application, and will implement prototypes and demonstrators to prove the key ideas.

The architectural component of X-Logic provides motivating rhetoric, definitions of special terms, enunciation of key principles and supporting theory on which the architecture is based, at least one logical foundation system and some glue.

Though some (formalists) take logic to be a formal science in which syntax supplants semantics, X-Logic places semantics at the center of the universe. Three stages are envisaged in the development of methods for formally defining the semantics of languages. Monolingual, multilingual and extensible.

X-Logic Glue is the stuff which enables diverse languages and logical tools to be integrated in the solution of complex problems.

Mathematics could be said to be an intended application of X-Logic, but since it mediates in the application of logic to almost every application in science and engineering (and many elsewhere), it has a very special importance.

A small number of applications of special interest will be investigated. The most ambitious is digital controller design.

XL-namespaces are intended to combine the functions of XML-namespaces with those of logical theories and form a centerpiece of X-Logic technologies.

OpenMind is a philosophical partner to X-Logic, cohosted at X-Logic.org. It is formal analytic philosophy, exploiting X-Logic technologies and providing foundations and metatheory for X-Logic.

X-Logic is not just an OpenSource project. It is also an Open Brand.

Sorry, this is all a bit vague for a workplan, but its better than nothing surely? No chance of milestones, I don't work that way!

The first activity, pre-design, is to devise a way to build an OpenSource website from XML literate scripts.

A bit of philosophy is crucial, not just so that we have a clue what we are doing, but also because this kind of philosophy delivers formal models which are part of the design of X-Logic.

The whole point of X-Logic is inference (interpreted in the broadest possible way). This is what I expect to be doing about proof tools.

X-Logic hangs around semantics. Work on semantics will follow on once some

I don't know what this is but I thought I'd mention it so you know that the stuff mentioned here is just the preliminaries!

X-Logic is made available as two modules for download. These modules are not very likely to be actually useful to anyone at this stage, but might possibly help to give some idea of what the project is about.

My synchronisation is a bit off as yet, so this page which tells you about the downloads is not actually in the site whose downloads are now available. Next time I make a release I'll do the documentation before the release not after.

The X-Logic.org web site, including the OpenMind philosophy site, is available for local browsing as a gzipped tar file.

The content of an X-Logic source release, how to prepare for and then build and install, and what little you can then do with it.