This page is no longer updated. Please use <http://www.langmaker.com/db/condir_logical.htm> instead.


Claudio Gnoli's personal web site

Logical languages

Logical languages are a special kind of artificial languages, namely of speakable languages created from scratch rather than developed spontaneously within a culture. The typical feature of logical languages is that their structure and grammar are intended to express the logical relations within sentences in clear and effective ways.

One classification of artificial languages ("conlangs": constructed languages) divides them into three kinds: international auxiliary languages ("auxlangs" or IALs), fantastic-artistic languages ("artlangs") and logical languages ("loglangs") -- as this story illustrates:


A directory of logical languages


Bibliography

Everything that linguists have always wanted to know about logic* : *but were ashamed to ask # 2' ed' / James D' McCawley -- The University of Chicago press (1993 ^ Chicago, London)

Logik för lingvister / Jens Allwood, Lars-Gunnar Andersson, Östen Dahl -- Student literatur (1971 ^ Lund)
>> Logic in linguistics -- Cambridge university press (1977 ^ Cambridge)
+ Logica e linguistica -- Il mulino (1981 ^ Bologna)

The complete Lojban language / John Woldemar Cowan -- "Logical language group" (1997 ^ Fairfax)

On the unsuitability of "logical languages" for use as interlinguas in machine translation / Rick Morneau || Journal of planned languages. 14 (1992). / Rick Harrison : ed'
>> & || The artificial language lab. / Rick Harrison : ed' -- <_>

Can language reflect reality? / Max Black || The labyrinth of language. -- _
>> & || The artificial language lab. / Rick Harrison : ed' -- <_>


Suggestions for improving this page are most welcome: please write to Claudio Gnoli . Thanks to Rick Morneau for providing information on Plan B, John Cowan for Plan C, Rex May for Ceqli; to And Rosta for bibliographic advice.


Logical languages / [Claudio Gnoli] || Claudio Gnoli's personal web site. -- Yahoo!-GeoCities (2000.09.11 - 2002.01 - )

1