logische taal

Een logische taal is een bepaald soort kunsttaal die speciaal wordt ontworpen met het doel een bepaalde hypothese over de werking van de inherente structuur van talen te testen. Binnen de categorie logische talen worden de subcategorieën van filosofische en experimentele talen onderscheiden. In het Engels wordt voor al deze taaltypen de overkoepelende term engineering language gebruikt. In het algemeen vertonen dit soort talen meer regelmatigheid en systematiek dan hun natuurlijke tegenhangers. Het verschil tussen logische talen en andere kunsttalen en/of hulptalen is dat het primaire doel niet het gebruik als lingua franca is.