Objektikieli

Wikipedia
Loikkaa: valikkoon, 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ä]

  1. a b Sider, Theodore: Logic for Philosophy, s. 4–5, 266. Oxford: Oxford University Press, 2010. ISBN 978-0-19-957558-9. (englanniksi)
Tämä filosofiaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.