Objektikieli

Objektikieli on kieli, joka on tutkimuksen kohteena jollakin alalla, kuten logiikassa, kielitieteessä, matematiikassa tai tietojenkäsittelyteoriassa. Objektikieli voi olla formaalinen kieli (kuten esimerkiksi propositiologiikan kieli) tai luonnollinen kieli (kuten esimerkiksi suomi).

Kieli, jolla objektikielestä puhutaan, on metakieli. Esimerkiksi logiikassa metaloogiset väitteet jostakin objektikielestä muotoillaan metakielellä ja todistetaan metakielen avulla suoritetulla päättelyllä.

 Lähteet 

Luokka:Filosofian termit
Luokka:Kielet
Luokka:Kielitiede
Luokka:Logiikka