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).[1]
Kieli, jolla objektikielestä puhutaan, on metakieli. Esimerkiksi logiikassa metaloogiset väitteet jostakin objektikielestä muotoillaan metakielellä ja todistetaan metakielen avulla suoritetulla päättelyllä.[1]
Lähteet
muokkaa- ↑ a b Sider, Theodore: Logic for Philosophy, s. 4–5, 266. Oxford: Oxford University Press, 2010. ISBN 978-0-19-957558-9. (englanniksi)