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.