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
🔥 Top keywords: Wikipedia:EtusivuJalkapallon Euroopan-mestaruuskilpailutDonald TrumpShannen DohertyHarri HeliövaaraAR-15Lamine YamalEnglannin jalkapallomaajoukkueToiminnot:HakuCarlos AlcarazJalkapallon maailmanmestaruuskilpailutEspanjan jalkapallomaajoukkueElectric CallboyYhdysvaltain republikaaninen puolueNovak ĐokovićHarry KaneJalkapallon Euroopan-mestaruuskilpailut 2024Berliinin olympiastadionBehm (laulaja)Äideistä parhain (elokuva)Nico WilliamsRodrigo HernándezJalkapallon Euroopan-mestaruuskilpailut 2020John F. KennedyDani OlmoReetta KorhonenJoe BidenJalkapallon maailmanmestaruuskilpailut 2026Felipe VILuettelo Yhdysvaltain presidenteistäWimbledonin tennisturnausToiminnot:Tuoreet muutoksetNeitosetLaura SaarikoskiYhdysvaltain salainen palveluYhdysvaltain presidentinvaalit 2024Osmo IkonenPhil FodenAnita Hirvonen