Metakieli

Wikipedia
Loikkaa: valikkoon, hakuun

Metakieli on logiikassa ja kielitieteessä kieli, jota käytetään silloin, kun kieli itsessään on tutkimuskohteena. Metakielen avulla voidaan esittää väitteitä tutkimuskohteena olevasta kielestä eli objektikielestä. Esimerkiksi logiikassa metaloogiset väitteet jostakin objektikielestä muotoillaan metakielellä ja todistetaan metakielen avulla suoritetulla päättelyllä.[1]

Metakielenä voidaan käyttää esimerkiksi jotain luonnollista kieltä (kuten suomen kieltä). Metakieliset ilmaisut erotetaan objektikielisistä esimerkiksi sijoittamalla objektikieliset ilmaisut lainausmerkkeihin.[1]

Esimerkkejä[muokkaa | muokkaa wikitekstiä]

Metakielinen lause

'P \and Q' on propositiolause, jossa on kolme symbolia.

esittää väittämän propositiologiikan kielellä ilmaistusta objektikielen lauseesta.[1]

Metakielinen lause

'Kissa söi kesävoin' koostuu 16 kirjaimesta.

esittää väittämän suomenkielisestä objektikielen lauseesta.

Metakielenä kummassakin esimerkissä on suomen kieli.

Lähteet[muokkaa | muokkaa wikitekstiä]

  1. a b c 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.