What is the weight of certainty and logic when an information system is in free fall, deluged with spambot nets and shadowy leaks on a global scale? Brute Force Manifesto explores this question by generating a definitive, overwhelming catalog of truth. Namely, it proposes to algorithmically construct every possible logically valid assertion—a statement structured such that, given the premises, the conclusion is logically necessitated to follow.

Custom software leverages the RiTa linguistics library and Princeton WordNet database to conduct a brute force search on the semantic space of the English language. While brute force attacks are often associated with password-cracking attempts, in this case the method is used to generate exhaustive lists of valid arguments based on the rules of inferential logic. Each argument, once it is verified, is cataloged and “sealed” with a unique barcode based on its cryptographic hash checksum value to ensure informational integrity.

The first series, comprising some 35 volumes at roughly 450 pages a piece, catalogs assertions following the AAA-1 syllogism form, which represents only a sliver of all truth. Future series will document all other deductive logic patterns, including the remaining syllogistic forms, predicate logic, modal logic, etc. The resultant book series is anticipated to be a significant epistemological milestone for humanity.