12. A collaborative first order logic system with dynamic ontology comprising: a server computer; a database coupled with said server and configured to store information related to documents; subjects associated with said documents; associations between said subjects; assertions associated with said subjects; opinions regarding said assertions; theorems associated with said assertions; and, a website coupled with said server computer wherein said website is configured to display said documents; display said subjects associated with said documents; display said associations between said subjects; display said assertions associated with said subjects; display said opinions regarding said assertions; accept input from a plurality of users including a first user and a second user to alter said associations between said subjects; command said server computer to alter said associations between said subjects in said database; accept an opinion from said first user related to an assertion associated with one or more subjects wherein said assertion is made by said second user; and, analyze said assertions and display any logical contradictions with said theorems.
12. A collaborative first order logic system with dynamic ontology comprising: a server computer; a database coupled with said server and configured to store information related to documents; subjects associated with said documents; associations between said subjects; assertions associated with said subjects; opinions regarding said assertions; theorems associated with said assertions; and, a website coupled with said server computer wherein said website is configured to display said documents; display said subjects associated with said documents; display said associations between said subjects; display said assertions associated with said subjects; display said opinions regarding said assertions; accept input from a plurality of users including a first user and a second user to alter said associations between said subjects; command said server computer to alter said associations between said subjects in said database; accept an opinion from said first user related to an assertion associated with one or more subjects wherein said assertion is made by said second user; and, analyze said assertions and display any logical contradictions with said theorems. 13. The collaborative first order logic system with dynamic ontology of claim 12 wherein said database is configured to store information related to opinions regarding said associations between said subjects; said website is configured to display said opinions regarding said associations between said subjects; accept an opinion from said first user related to an association between one or more subjects wherein said association is made by said first user or said second user.