Simulate the results of logical human thought

Why simulate human thought?

Thinking by humans is subject to all kinds of error. Of the some 256 syllogistic constructs that are possible only 15 are actually valid. From this you can quickly see the potential of people getting things wrong. The purpose of formal logic on the other hand is to help make thinking right. Logic can help humans solve problems and reach conclusions that are valid (with the caveat of "garbage in, garbage out"). The first conclusion I was inspired to reach with the help of logic was whether God existed or not.

(Clicking here will take you to the next section if personal motivation behind such a program is really jus…

By: watermelon

More: continued here