@weetbixthecat As it happens, I just spent a ton of time working on it over winter break (currently back in school) and the UI is completely redesigned. Unfortunately I didn't get as far as I wanted, and now that the semester has started again I'm fairly booked with school, so it's going to be slow to develop for a while, but this remains my number 1 project, and I will definitely not be dropping it.
@weetbixthecat #2 The new UI makes a series of back and forth arguments appear as a scrollable list that expands downwards. It's meant to somewhat resemble a conversation that you might see in an IM client or message board. I've also added functionality that automatically generates valid arguments without having to type in each proposition manually, and I've also implemented a clever workaround to the whole tricky business with logical ifs being so counter-intuitive. Wish I had more time!
@weetbixthecat Unfortunately none of this is live yet because there are still a lot of kinks to work out. It will be though! As soon as it can be. :p And thanks for the link.
@s3rpic0 the changes sound good. Im keen to see more software that encourages good argument analysis. Also, did I miss it, or are there no biconditionals and exclusive disjunctions?
@weetbixthecat There aren't just yet. naturally you could represent a iff b with (a > b) & b > a) or a xor b with (a & !b) | (b & !a) for the time being, but actual symbols for biconditionals and xors are on the to-do list. They'll be pretty easy to implement.
also you might like to look at: ucalgary.ca/aslcle/
click 'resources' then click 'list of logic courseware'
weetbixthecat 4 weeks ago
Comment removed
weetbixthecat 4 weeks ago
Comment removed
weetbixthecat 4 weeks ago
This ui is far to complicated. I think you need to rethink the workflow. A lot. The idea is good however ad I hope you continue to develop it.
weetbixthecat 4 weeks ago
@weetbixthecat As it happens, I just spent a ton of time working on it over winter break (currently back in school) and the UI is completely redesigned. Unfortunately I didn't get as far as I wanted, and now that the semester has started again I'm fairly booked with school, so it's going to be slow to develop for a while, but this remains my number 1 project, and I will definitely not be dropping it.
s3rpic0 4 weeks ago
@weetbixthecat #2 The new UI makes a series of back and forth arguments appear as a scrollable list that expands downwards. It's meant to somewhat resemble a conversation that you might see in an IM client or message board. I've also added functionality that automatically generates valid arguments without having to type in each proposition manually, and I've also implemented a clever workaround to the whole tricky business with logical ifs being so counter-intuitive. Wish I had more time!
s3rpic0 4 weeks ago
@weetbixthecat Unfortunately none of this is live yet because there are still a lot of kinks to work out. It will be though! As soon as it can be. :p And thanks for the link.
s3rpic0 4 weeks ago
@s3rpic0 the changes sound good. Im keen to see more software that encourages good argument analysis. Also, did I miss it, or are there no biconditionals and exclusive disjunctions?
weetbixthecat 3 weeks ago in playlist Uploaded videos
@weetbixthecat There aren't just yet. naturally you could represent a iff b with (a > b) & b > a) or a xor b with (a & !b) | (b & !a) for the time being, but actual symbols for biconditionals and xors are on the to-do list. They'll be pretty easy to implement.
s3rpic0 3 weeks ago
Interesting... Would be happy to have a conversation about this
timvangelder 7 months ago
I think i'd quite like to sit on your face :)
mykieboyblue 7 months ago
Comment removed
dyreschlock 7 months ago
Islam is the sign of civilization. Unless your program agrees, it is lie.
Niehausen 7 months ago