Logic, from Classical Greek λόγος (logos), originally meaning the word, or what is spoken, (but coming to mean thought or reason) is most often said to be the study of criteria for the evaluation of arguments, although the exact definition of logic is a matter of controversy among philosophers. However the subject is grounded, the task of the logician is the same: to advance an account of valid and fallacious inference to allow one to distinguish logical from flawed arguments.
Traditionally, logic is studied as a branch of philosophy. Since the mid-nineteenth century logic has been commonly studied in mathematics and law. More recently logic is applied in computer science and artificial intelligence. As a formal science, logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and through the study of arguments in natural language. The scope of logic can therefore be very large, ranging from core topics such as the study of fallacies and paradoxes, to specialist analyses of reasoning such as probably correct reasoning and arguments involving causality. Logic is also commonly used today in argumentation theory.
Logic based :: Languages
Logic and Foundations :: Math

A Grammar of the Ithkuil Language - Ithkuil is a cross between a philosophical language and a logical language, with a unique morpho-phonemic script. It is designed to reflect a high degree of cognitive intent in the most efficient manner.
Meta Description: [ A constructed philosophical language design showing NOT how artificial languages do function, but rather how they COULD function. ]
Links to Logical Constructed Languages - List and links prepared by Alkaline creator of Minyeva logical language. Brief useful explanations of and links to other logical constructed languages like Loglan, Lojban, Voksigid, gua!spi, Ceqli, Liva, AllNoun, Danovën, Arovën and CycL.
Loglan - General information on logical language Loglan founded by James Cook Brown with grammars by Bob McIvor and novels by Alex Leith.
Meta Description: [ This page is the starting point for information about the constructed human language known as Loglan. ]
Minyeva: A Systematic Constructed Language - A language designed to reflect the underlying semantics of sentences and semantic organization of words with more regularity than natural languages.
The Syntax of CycL - A logical language created by Cycorp. The vocabulary of CycL consists of terms.
Ygyde - Description of Ygyde, an auxiliary language. It has the ability to define all meanings in short (7 letters or less) compound words.
| The Logical Song | |
| Next Video | |