Home

Verish

Verish is a language for reasoning that resembles a natural language. It is based on the language created by Aristotle, completed by Gottlob Frege, and simplified by Bertrand Russell and others.

This website defines the grammar of Verish, explains what Facts are and how to prove them by reasoning, provides a free program for facilitating and checking reasoning in Verish, and provides a growing knowledge base of useful Facts and Definitions in Verish. The knowledge base is intended to grow according to the plan of Roget's Thesaurus.

Grammatical and related terms that have a special meaning in discussing the grammar and meaning of Verish are written with an initial capital on this website. The complete list of such terms is Letter, Capital, Formative, Noun, Preposition, Adverb, Conjunction, Negation, Word, Initial, Phrase, Sentence, Scope, Subject, Verb, Object, Agree, Governed, Clause, Short, Reason, Paragraph, Title, Opening, Definition, Abbreviation, Name, Method, Statement, Comment, Development, Application, Regular, Meaning, Related, Allowed, Fact, Absolute, Logical.

The pronunciation of Verish is up to you. You might find it convenient to read Words as related English words or phrases, or as shortened forms of them. For example, you could read +sm// as "the same of of", and [a as "ev a". If Verish is ever spoken, those speaking to each other would agree among themselves on pronunciation.

The knowledge base will eventually consist of html pages created automatically from Verish source files by the Verish program, and these html pages will contain Javascript fragments that enable the proofs of important Facts to be shown or hidden. The program will also be able to recover the Verish source files from the html files.

The word Verish is a blend of Verify and English. Verish was formerly called Speakable Logic. The Verish program and the knowledge base are at present being upgraded in parallel.

The English and Verish text on this website is licensed for use under the Free Software Foundation GNU Free Documentation License and the software is licensed for use under the Free Software Foundation GNU General Public License.