In my last post I briefly posted about a problem with variable transferability in the logic system…to put things mildly, I underestimated the problem, and when I said I was “halfway through” I meant “halfway through what I then thought had to be done.” Basically, the system has multiple logical layers – and each layer […more]
Just an update – I’m back working on the system. However, I’ve discovered a problem with the logic system, and it’s not a small one either. Consider this statement: if @1 is a A && @2 is the letter that comes after @1, then @2 is B. This may seem simple enough, but there’s a […more]
For anyone who’s discovered this site – development isn’t dead, but on hiatus. I am currently working on starting a new job in a new city and will be quite busy for the next month or so.
I have created an early example of what a complex argument looks like. See here. The early state of the UI makes it hard to follow, but essentially it works out like this in plain english: the death penalty in the US is unjustifiable because life imprisonment is an available alternative that has no drawbacks […more]
My apologies to any dadaists or other fans of such arguments. But that’s the kind of thing that can really drive the system crazy. Then there’s the interesting question of what happens when two arguments reach opposing conclusions. The latest update includes the ability to detect these situations and keep the system from imploding. It […more]
For the first argument on the site, I have briefly proved that this site is useful. Whether this is actually true or not will be seen, but it provides an example of how a simple idea can be proven. One thing to note is that there is a bit of tolerance intended in the voting. […more]
So I’ve completed what I consider to be testing and the site is now operational and ready for use. Whether it works well is another matter. Soon I’ll begin entering the first arguments. Feel free to go to the site to enter and vote for principles.
StrictlyLogic will be an environment for a purely logical form of debate. I have been developing it for a couple of years now, and it is getting to a point where it can be deployed. The site will be posted soon at strictlylogic.com. Please check here for more details.