Open Science



All men by nature desire to know. And indication of this is the delight we take in our senses; for even apart from their usefulness they are loved for themselves; and above all others the sense of sight. For not only with a view to action, but even when we are not going to do anything, we prefer sight to almost anything else. The reason is that this, most of all the senses, sight makes us know and brings to light many differences between things

Aristotle, Metaphysics

What is Open Science?

Open science is based on two ideas. The first is that science benefits from the open sharing of information. The second is that open science emphasises challenge in open forum. Open science stands in contradistinction to the closed system of refereeing and the paywalls that characterise university science.

Open science does not serve the interests of commercial corporations, but people's desire to learn. Open science is charged only at the rate needed to sustain the work (if it can be made free then so much the better). Open science is linked to the concept of open education; which is education that is affordable for anybody with the time, interest and ability.

Shen and Open Science

In the past the Shen project was very dependent on selling hardcopy to keep the work funded. Today the Shen project is in a better position and so, true to the open science principle of easy access, the hardcopy guide to Shen is now freely readable online.

Helping Us

But we are still reliant, as is everybody in today's economy, on funding to drive our work forward and if you gain benefit from the 800+ web pages on this site (soon to top 1,000), you can help us do even more by donating to the cause of Shen open science and open education


Shen Open Science Prize

Shen has been translated into 15 computer languages and we are instituting a prize, the Shen Open Science Prize, of a free copy of The Book of Shen, to people who have made significant contributions to Shen or who help to keep it running.

Winner Date
Bruno Deferrari October 2021

Mark Tarver


The support page for the text Programming the Logic Lab now includes readable online access to the book.


The support page for the text Logic, Proof and Computation is established.


THORN Theorem prover derived from HORN clause logic is available.


Shen Education Channel starts on Youtube.


Yggdrasil project launched - the grand unification of programming languages.


Want to advertise on this site? Go to the contacts page.

Built by Shen Technology (c) Mark Tarver, September 2021