Logical language - Revision history

Nicomega at 20:51, 9 May 2023

2023-05-09T20:51:01Z

← Older revision		Revision as of 20:51, 9 May 2023
Line 1:		Line 1:
	{{Types of conlangs}}		{{Types of conlangs}}
	'''Logical languages''' (often abbreviated to '''loglangs''') are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also be based on any system of formal logic. The two best-known logical languages are the predicate languages [[Loglan]] and its successor [[Lojban]]. They both aim to eliminate [[syntactical ambiguity]] and reduce [[semantic ambiguity]] to a minimum. In particular, the [[~~lojban grammar~~\|grammar of Lojban]] is carefully engineered to express such predicate logic in an unambiguous manner.		'''Logical languages''' (often abbreviated to '''loglangs''') are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also be based on any system of formal logic. The two best-known logical languages are the predicate languages [[Loglan]] and its successor [[Lojban]]. They both aim to eliminate [[syntactical ambiguity]] and reduce [[semantic ambiguity]] to a minimum. In particular, the [[Lojban#Grammar\|grammar of Lojban]] is carefully engineered to express such predicate logic in an unambiguous manner.

	==See also==		==See also==

Nicomega at 15:05, 24 November 2021

2021-11-24T15:05:56Z

← Older revision		Revision as of 15:05, 24 November 2021
Line 1:		Line 1:
	{{Types of conlangs}}		{{Types of conlangs}}
	'''Logical languages''' are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also be based on any system of formal logic. The two best-known logical languages are the predicate languages [[Loglan]] and its successor [[Lojban]]. They both aim to eliminate [[syntactical ambiguity]] and reduce [[semantic ambiguity]] to a minimum. In particular, the [[lojban grammar\|grammar of Lojban]] is carefully engineered to express such predicate logic in an unambiguous manner.		'''Logical languages''' (often abbreviated to '''loglangs''') are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also be based on any system of formal logic. The two best-known logical languages are the predicate languages [[Loglan]] and its successor [[Lojban]]. They both aim to eliminate [[syntactical ambiguity]] and reduce [[semantic ambiguity]] to a minimum. In particular, the [[lojban grammar\|grammar of Lojban]] is carefully engineered to express such predicate logic in an unambiguous manner.

	==See also==		==See also==

Nicomega at 00:01, 6 February 2021

2021-02-06T00:01:21Z

← Older revision		Revision as of 00:01, 6 February 2021
Line 1:		Line 1:
	Logical languages are meant to allow (or enforce) unambiguous statements. They are typically based on [[predicate logic]] but can also be based on any system of formal [[logic]]. The two best-known logical languages are the predicate languages [[Loglan]] and its successor [[Lojban]]. They both aim to eliminate [[syntactical ambiguity]] and reduce [[semantic ambiguity]] to a minimum. In particular, the [[lojban grammar\|grammar of Lojban]] is carefully engineered to express such predicate logic in an unambiguous manner.		{{Types of conlangs}}
			'''Logical languages''' are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also be based on any system of formal logic. The two best-known logical languages are the predicate languages [[Loglan]] and its successor [[Lojban]]. They both aim to eliminate [[syntactical ambiguity]] and reduce [[semantic ambiguity]] to a minimum. In particular, the [[lojban grammar\|grammar of Lojban]] is carefully engineered to express such predicate logic in an unambiguous manner.

			==See also==
			*[[A priori language]]
			*[[A posteriori language]]
			*[[Philosophical language]]
			*[[:Category:Logical languages\|List of logical languages on Linguifex]]

			[[Category:Types of conlangs]][[Category:Conlangery]]

Nicomega: Nicomega moved page Logical languages to Logical language

2021-02-06T00:00:31Z

Nicomega moved page Logical languages to Logical language

← Older revision	Revision as of 00:00, 6 February 2021
(No difference)

Nicomega: Created page with "Logical languages are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also be based on any system of formal logi..."

2021-02-05T23:49:02Z

Created page with "Logical languages are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also be based on any system of formal logi..."

New page

Logical languages are meant to allow (or enforce) unambiguous statements. They are typically based on [[predicate logic]] but can also be based on any system of formal [[logic]]. The two best-known logical languages are the predicate languages [[Loglan]] and its successor [[Lojban]]. They both aim to eliminate [[syntactical ambiguity]] and reduce [[semantic ambiguity]] to a minimum. In particular, the [[lojban grammar|grammar of Lojban]] is carefully engineered to express such predicate logic in an unambiguous manner.