Calculemus - A New Way to Argue

This is a video showcasing my argument-mapper and logic calculator, Calculemus, on it's very first release to the web at www.internetargument.org. This project has a long ways to go, but I hope this release and this video give people an peek at what I'm shooting for in the long run. This is not currently, but will eventually be, an open source project. Let me know what you think!

Category:

Science & Technology

Tags:

• logic
• argument mapping
• calculemus
• serptopia
• validity
• argumentation
• logic calculator

[weetbixthecat]

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.

[s3rpic0]

@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]

@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]

@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.

[weetbixthecat]

@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?

[s3rpic0]

@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.

[weetbixthecat]

also you might like to look at: ucalgary.ca/aslcle/

click 'resources' then click 'list of logic courseware'

[timvangelder]

Interesting... Would be happy to have a conversation about this