Loglangs

Logical languages, or loglangs are engineered languages, which unlike some other conlangs are created from scratch. These languages are created in such a manner that the entire structure and the grammar of the language reflects a distinct logical relation within the sentences of the language and also how they are constructed. Some debate that logical languages fall under the category of artificial languages, though each camp has its own explanations for it.

In loglangs, the sentences represent a semantic structure, based on a set of truth conditions. Since these languages are not tied to natural languages, their representations tend to be quite abstract. The sentences in a loglang are an attempt to combine grammatical form with logical form. The syntactic and semantic structures in a sentence both try to imply or point to a set of truth conditions, a fact which makes them very different from natural languages.

Some popular loglangs are Liva, created for fun, this language has its own unique writing system, Loglan, which was originally created by James Cooke Brown, who is now being helped by many volunteers, Lojsk, a simple predicate based language, Tilya, originally developed to help organize the ever expanding vocabularies of languages such as Tirehlat and Gjarrda and many others, each language has a dedicated website, so a tour through those should set you up to start creating your own loglang.

Today, most loglangs are used in computer programming, with many programming languages following the principles of logical languages. Using basic principles of logic, these languages are created from scratch, though based on some speak-able language. The reason for this popularity is the fact that computers themselves are based on basic truth conditions, which makes them the perfect platform for logical languages.

All basic logical languages consist of function symbols, relation symbols, quantifiers, logical connectives and a set of variables. These components together need to form a set of formulae, which can be successfully applied truth conditions, depending on the logic used to create the formulae. Even though it may sound complicated, loglangs are actually quite easy to make, especially if clear basic logic is applied. A basic understanding of logic is all you need to start creating your own loglang.