Welcome to (a technology preview of) SeeReason.com...

There are several ways to get started. You can search for a document or subject that interests you. Along with the document you will see the analysis people have made about that document in the form of Assertions about the Subjects it discusses, and Theorems which assemble the assertions into a line of reasoning which the system can use its automatic theorem proving technology to prove or disprove. Assertions which have been proven true will be colored green, those proven false will be colored red.

With an account, you can register your opinions about the assertions and subjects other people have created, noting whether you believe the assertion is true or false. If your opinions contradict a theorem the system has proven, you will be have the opportunity to resolve the contradiction.

Finally, with an account you can create your own documents, subjects, assertions, and theorems.