So in my last post I said I’d need to change how the principles are stored…turns out it’s more like completely rehaul how all the data is stored, and that means completely rehauling the code as well – all while trying to solve the original problem I’ve been trying to fix in the first place. […more]
So it’s been a while, but I’m back on development, and still stuck on the transference problem that I wrote about in prior posts. This post is largely a reminder to myself and any spambots listening that Prolog is not a solution to the system’s woes. I honestly expected that I could just create an […more]
If there’s one thing 3 years of law school and 5 years of building a legal career has taught me, it’s the fallacy of sunk costs. I’ve put a lot of effort into the logic engine of this site – and I’ve even thought it was complete. But this variable transference problem has led me […more]
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.