TheFactasiaHome Page


Factasia is utopian analytic philosophy.

Purpose: Clear thinking about some ideas for the future.
Philosophy: Factasia is philosophical, both in that broad sense in which all serious thinking is philosophy, and also (in some parts) in a narrower realm of analytic philosophy.
Logic: provides the bedrock of rationality and is a silver thread winding through large parts of Factasia. Logic is intellectual technology which will revolutionise our future, particularly in the way we design.
Utopian Fantasy: Factasia looks forward to the kind of world we might hope for in the future.
Engineering: The idea of engineering design as appplied logic is considered.
Navigating Factasia


To develop a vision for our future and to provide resources for building the vision and the future. To contribute to the values which shape our future and to the technology which helps us build it.

The Factasian Utopia
Fundamental Values
The Factasia vision is of a society in which many people realise their own personal fulfillment partly through contributing to the fulfillment of others. There is a shared value in the well-being of all.
Value Market
The economic and the political instututions of Factasia are market-based, but these markets do not facilitate or depend upon concentrations of capital or power. They are post-capitalist markets which support the realisation of diverse shared or personal values, not just the accumulation of material wealth and the concentration of power.
Logic as Technology
Logic as Foundation
Logic is the essence of rationality and the foundation of mathematics, on which in turn the whole of science and technology is based.
Logic Liberates Engineering Creativity
By providing the modelling techniques which permit science to be reliably applied to the evaluation of engineering design, logic will facilitates the use of computing machinery at all levels in the design process. Computers will become effective intelligent aids in science and engineering.
and thereby to contribute to our future?


factasia is philosophical, both in that broad sense in which all serious thinking is philosophy, and also (in some parts) in a narrower realm of analytic philosophy.

Analytic Philosophy
analytic philosophy in Factasia concerns all aspects of logical analysis
analytic methods: Factasia aims to develop, articulate and apply methods and tools supporting logical analysis in philosophical (and other) applications. Factasia will present a prospectus for analytic philosophy in the 21st century which comprehends, embraces and contributes to the potential of modern logic and information technology as tools for understanding and transforming our world.
epistemology: the most fundamental part of analytic philosophy is that part of epistemology which concerns the distinctions between necessary, analytic propositions and those which are contingent and synthetic. From this distinction flows the special methods for establishing logical truths upon which logical analysis is founded.
logic: here we consider the nature of logical necessity and the languages and tools which enable us to express, demonstrate and apply logical truths.
mathematics: is by far the most extensive body of established logical truths. We consider the relationship between logic and mathematics, and aim to ensure the adequacy of our languages methods and tools for mathematics and its applications now and in the future.
metaphysics: we aim to develop an analytic role for metaphysics as an intermediary between the abstract ontology which is pure logic and the applications of mathematical modelling in science and engineering.
Speculative Philosophy
speculative philosophy goes beyond logical analysis considering matters of fact, value systems and ethics
Utopia: Factasia aims to synthesise a realistic utopian vision. This kind of utopian thought, though belonging within the philosophical tradition, goes beyond analysis by presenting a position or platform, touching upon personal philosophy, religion, values, politics, economics, science and technology.
Values: Before we can design, we must understand the requirements which our design is to realise. The Factasia Value System It is our value systems which tell us what to promote and what to avoid. The Factasia value system will articulate values against which a Factasia blueprint for the future can be judged.
Politics and Economics: Over the next century the information revolution will transform the way in which the global economy works. When products with zero marginal cost account for the major part of economic output we can expect some strange economic happenings. Value Net Factasia is developing a position on how a post-capitalist market economy might function. We emphasise the enormous importance of consumer purchase decisions in shaping all aspects of our physical and social environment and present a polical agenda based on helping people to understand how this happens and how to turn personal spending decisions into high-bandwith high-leverage pluralistic political enfranchisement.
The Global Superbrain The Global Superbrain is a Factasia subtheme involving applied analytic and synthetic philosophy contributing to the exploitation of emerging broadband digital computer networks.


provides the bedrock of rationality and is a silver thread winding through large parts of Factasia. Logic is intellectual technology which will revolutionise our future, particularly in the way we design.

The Logical pre-occupations of Factasia face in two directions:
Philosophical Analysis
Assimilating the Logical Revolution
In the 20th Century, analytic philosophy has failed to come to terms with the revolution in logical methods which helped to give birth to the movement and which continued to gather force throughout the century.
In the 21th Century this defect must be remedied. Factasia seeks to contribute to a proper accomodation of the goals and methods of analytic philosophy to a modern understanding of the nature of logic and of rational discourse.
Scope and Method
Factasia seeks to sketch the line which limits the application of logical analysis, to articulate methods which make the most of logic, and to develop consistent positions in epistemology, metaphysics, and the philosophy of logic, mathematics, science, engineering, economics, politics and ethics.
Engineering Design
Logic for Engineering
Logic is the foundation of mathematics, which provides modelling techniques essential for scientific theories which are applied by engineers when they design the physical artefacts and the software which sustains and improves our well-being and helps us to lead fulfilling lives.
Automating Design
As an increasing proportion of human effort is applied to the design and development process for both hard and soft products, the potential benefit from bringing our computing machinery up to human levels of competence and beyond in their ability to solve the logical and mathematical problems inherent in engineering design becomes greater. This is the challenge for logic in the 21st Century. Factasia's prime technical goal is to help crack this nut.


designing and building the future is an engineering activity, fed by requirements analysis based on our shared fundamental values. Factasia depends upon and seeks to contribute to engineering methods.

Engineering Design
Engineering design is a process in which an understanding of the physical world, sometimes embodied in quantitative (i.e. mathematical) scientific models, is used to devise a recipe for constructing physical entities (e.g. machines, buildings) or information structures (e.g. software) which satisfy some real human need. Factasia is concerned with the modelling methods and tools which are made available to support engineering design. We look forward to a future in which formal descriptions of required behaviour and of proposed structure enable automatic simulation for the evaluation of requirement and design, and in which these same formal descriptions provide the basis for increasing levels of automation of the design process.
Language Engineering
The single most important need for the application of logic based techniques to the automation of engineering problem solving is the need for better languages. First this means languages whose meaning is well defined. Next it means well structured languages which avoid obscure imperative algorithmic specifications in favour of clear declarative specifications. If the semantics is itself defined in a well defined formal notation that would be even better. So the language engineering part of Factasia will be concerned with finding nice ways of designing languages which not only give well designed and well defined languages but also aid the building of tools to do things with the languages, including reasoning and problem solving.
Machine Intelligence
The ultimate goal is the automation of design through the mechanisation problem solving using mathematical models. The idea is to start with people providing the intelligence and computers providing good but not really "intelligent" support, mainly through mathematical modelling. Then gradually we automate larger parts of the process and increase the problem solving capabilities of the software until there is a real collaboration between human designer and machine in creating a design which meets the requirements. Ultimately it might be that the computers do all the design and human engineers are concerned only with working out the requirements, setting design standards, and further developing the software.

Utopian Fantasy:

Factasia looks forward to the kind of world we might hope for in the future.
Global institutions eliminate war, democracy evolves a service ethos and more problems are solved by market mechanisms.
In the 20th century capitalism routed communism. In the 21st century market dynamics will take us beyond capitalism.
Close scrutiny by consumer groups forces businesses to be more aware of how their business purposes and methods are perceived by consumers.
Scientists develop models rather than divining truth, they provide services to engineering rather than a priesthood, and they clarify and formalise they models they build.
The dominant hard technologies of the 21st century are Intelligent Logic, Genetic Engineering, Evolutionary Design, and NanoTechnology.
Intelligent Logic will design engineering solutions exploiting new science and technology using an understanding based on formal mathematical models.
Magic Magic
The Factasia Bridge
an architectural view of factasia
The Future
Theme Park
Consensus is the Magic which builds our utopia. Religion is an effective way of building communities with solid shared values. Approach with caution.
To chose between possible futures we must decide which of the alternatives we value most. This means thinking about values; the result is a value system.
When earning a living, achieving an ambition, learning, developing, relaxing and enjoying all mingle so close you can't tell them apart, then you have fulfillment.

Navigating Factasia:

There are many different ways of finding your way round Factasia.
Take your pick.
The Architectural Route: A top down presentation from first principles, starting with the ultimate purpose of Factasia. Content by Subject: the original content of Factasia classified by subject. NetLinks by Subject: a subject classified guide to a variety of other internet resources related to the content of Factasia.
the quick index: crams loads-a-links into a small space. the Factasia top 100: lists the most frequently accessed pages. What's New? gives you blow by blow change info.
Full Content Listings:
hierarchic, by directory.
Directory List:
linked to main pages and content lists.
Top-three-layers Content List: linked to the fourth layer. A single 130Kb file.
The Factasia Theme Park: presents Factasia by interdisciplinary themes.


reader beware

This site consists almost exclusively of opinion.
It comes to you straight from my head, with no more accuracy or reliability than my own beliefs, which are often speculative. You should not rely upon the information you find here. If it matters to you, you should satisfy yourself independently of its truth. Think of what you learn here as if you had heard it rumoured by a stranger in a pub.

HOME © RBJ created 1995-4-25 modified 2005-2-19