Securing Wikilogic with HTTPS

A quick summary of our set up Note this is the set up at the time of writing All connections are run through an nginx reverse proxy server running on Ubuntu, which also serves the static files for our react app. That app gets data from our API, an expressjs server which sits behind the… Read more »

Dockerizing Wikilogic

To get Wikilogic running locally we have to boot up three separate services, every single time: Start up Neo4j. Open a terminal window, cd into the API repo & boot up node. Open the project (I’ve been using VS. Code & that super handy built in command line), cd into the react app, boot up… Read more »

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 »