0.4 Ferret

It’s here! This is a pretty big milestone to reach. In summary: the front end is in a good place, the server is running, the database is running, we have Travis set up with continuous integration & automatic deployment to Heroku. Phew! Now as the first development update post we’ve done I feel that it is… Read more »

Dynamic Logic Web Demo

Try clicking the counter arguments on the bottom right to turn them to false.

Automated Statement Evaluation demo

How to work out the truth of a statement, in Wikilogic 0.2

Every time you look at a statement in Wikilogic, it’s status is re-evaluated based on the status of every supporting argument.  This is a quick description of the evaluation process used in version 0.2 (as of writing, the current one). Each statement has a list of supporting arguments (for) on the left and opposing arguments… Read more »

Dynamic Logic Web

The Dynamic Logic Web is one of the fundamental ideas behind Wikilogic.  Every statement you make is based on other statements.  If all the supporting statements are assumed to be true then your statement, which relies on them, can also be assumed to be true.  However if circumstances change and all the supporting statements turn… Read more »