Concept
Louis Couturat
Related concepts (13)
Constructed language
A constructed language (shortened to a conlang) is a language whose phonology, grammar, and vocabulary, instead of having developed naturally, are consciously devised for some purpose, which may include being devised for a work of fiction. A constructed language may also be referred to as an artificial, planned or invented language, or (in some cases) a fictional language. Planned languages (or engineered languages/engelangs) are languages that have been purposefully designed; they are the result of deliberate, controlling intervention and are thus of a form of language planning.
Characteristica universalis
The Latin term characteristica universalis, commonly interpreted as universal characteristic, or universal character in English, is a universal and formal language imagined by Gottfried Leibniz able to express mathematical, scientific, and metaphysical concepts. Leibniz thus hoped to create a language usable within the framework of a universal logical calculation or calculus ratiocinator. The characteristica universalis is a recurring concept in the writings of Leibniz.
Algebraic logic
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality. Well known results like the representation theorem for Boolean algebras and Stone duality fall under the umbrella of classical algebraic logic .
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.
Interlinguistics
Interlinguistics, as the science of planned languages, has existed for more than a century as a specific branch of linguistics for the study of various aspects of linguistic communication. Interlinguistics is a discipline formalized by Otto Jespersen in 1931 as the science of interlanguages, i.e. contact languages tailored for international communication. In more recent times, the object of study of interlinguistics was put into relation with language planning, the collection of strategies to deliberately influence the structure and function of a living language.
Augustus De Morgan
Augustus De Morgan (27 June 1806 – 18 March 1871) was a British mathematician and logician. He formulated De Morgan's laws and introduced the term mathematical induction, making its idea rigorous. Augustus De Morgan was born in Madurai, in the Carnatic region of India in 1806. His father was Lieut.-Colonel John De Morgan (1772–1816), who held various appointments in the service of the East India Company, and his mother, Elizabeth (née Dodson, 1776–1856), was daughter of John Dodson and granddaughter of James Dodson, who computed a table of anti-logarithms (inverse logarithms).
Boolean algebra
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values true and false, usually denoted 1 and 0, whereas in elementary algebra the values of the variables are numbers. Second, Boolean algebra uses logical operators such as conjunction (and) denoted as ∧, disjunction (or) denoted as ∨, and the negation (not) denoted as ¬.
Latino sine flexione
Latino sine flexione ("Latin without inflections"), Interlingua de Academia pro Interlingua (IL de ApI) or Peano's Interlingua (abbreviated as IL), is an international auxiliary language compiled by the Academia pro Interlingua under the chairmanship of the Italian mathematician Giuseppe Peano (1858–1932) from 1887 until 1914. It is a simplified version of Latin, and retains its vocabulary.
Giuseppe Peano
Giuseppe Peano (piˈɑːnoʊ; dʒuˈzɛppe peˈaːno; 27 August 1858 – 20 April 1932) was an Italian mathematician and glottologist. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The standard axiomatization of the natural numbers is named the Peano axioms in his honor. As part of this effort, he made key contributions to the modern rigorous and systematic treatment of the method of mathematical induction.
Esperanto
Esperanto (ˌɛspəˈrɑːntoʊ or ˌɛspəˈræntoʊ) is the world's most widely spoken constructed international auxiliary language. Created by the Warsaw-based ophthalmologist L. L. Zamenhof in 1887, it is intended to be a universal second language for international communication, or "the international language" (la Lingvo Internacia). Zamenhof first described the language in Dr. Esperanto's International Language (Unua Libro), which he published under the pseudonym Doktoro Esperanto.