Objektikieli
Siirry navigaatioon
Siirry hakuun
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 | muokkaa wikitekstiä]- ↑ a b Sider, Theodore: Logic for Philosophy, s. 4–5, 266. Oxford: Oxford University Press, 2010. ISBN 978-0-19-957558-9 (englanniksi)