"logikk-språk" er et 12-bokstavers substantiv som brukes som synonym for "objektsspråk". objektsspråk betyr: Språk brukt i logikk for å uttrykke logiske forhold.