logiikkakieli
Logiikkakieli, tai looginen kieli, viittaa formalisoituun kielioppiin ja merkintätapaan, jota käytetään loogisen päättelyn ja matemaattisen logiikan esittämiseen. Se poikkeaa luonnollisista kielistä siten, että se on tarkasti määritelty ja ilman monitulkintaisuutta. Logiikkakieli koostuu symbolista merkistöstä, joka sisältää muun muassa loogisia konnektoreita (esimerkiksi *ei*, *ja*, *tai*, *implikoidaa*) ja kvanttoreita (esimerkiksi *kaikki*, *jokin*). Sen tarkoituksena on kuvata loogisia lauseita ja argumentteja selkeästi ja tarkasti ilman epäselvyyksiä.
Logiikkakieli on perusta monille matemaattisille ja filosofisille aloille, kuten formalisoidulle loogille, tietojenkäsittelulle ja filosofiselle analyytille. Se
Logiikkakieliä käytetään myös tietojenkäsittelytieteessä, esimerkiksi ohjelmointikielien semanttisen määrittelyn yhteydessä. Siellä se auttaa kuvaamaan ohjelmien käyttäytymistä loogisina
Logiikkakielen kehitys alkoi 1900-luvun alussa, kun matematiikkoja ja logiikoita, kuten Gottlob Frege ja Bertrand Russell, formalisoivat