MUODOLLINEN KIELI: OMINAISUUDET JA ESIMERKIT - KIRJALLISUUS - 2026

Muotokieleen on joukko kielellisen merkkejä yksinoikeudella käytettäväksi tilanteissa, joissa luonnollisen kielen ei ole tarkoituksenmukaista. Yleensä kieli on jaettu luonnolliseen tai epäviralliseen ja keinotekoiseen. Ensimmäistä käytetään tavallisissa arjen tilanteissa. Samaan aikaan keinotekoista käytetään erityisissä tilanteissa, jotka eivät kuulu arkielämän piiriin.

Tällä tavalla muodollinen kieli on osa keinotekoisten kielten ryhmää. Tätä käytetään etenkin muodollisissa tieteissä (niissä, joiden toimintakenttä ei ole fyysisen, vaan abstraktin maailman todellisuus). Jotkut näistä tieteistä sisältävät logiikan, matematiikan ja tietokoneohjelmoinnin.

Tässä mielessä tällainen kieli käyttää kielellisiä koodeja, jotka eivät ole luonnollisia (niitä ei voida soveltaa viestinnässä tavallisessa maailmassa). Muodollisten tieteiden alalla muodollinen kieli on joukko symboliketjuja, joita voidaan säännellä jokaiselle näille tieteille ominaisilla laeilla.

Nyt tämäntyyppinen kieli käyttää aakkosena joukkoa symboleja tai kirjaimia. Tästä muodostuu "kieliketjut" (sanat). Näitä, jos ne ovat sääntöjen mukaisia, pidetään "hyvin muotoiltuina sanoina" tai "hyvin muotoiltuina kaavoina".

ominaisuudet

Rajoitettu ympäristö

Muodollisen kielen tarkoituksena on vaihtaa tietoja ympäristöolosuhteissa, jotka poikkeavat muiden kielten ympäristöolosuhteista. Esimerkiksi ohjelmointikielellä pääte on viestintä ihmisten ja tietokoneiden välillä tai tietokoneistettujen laitteiden välillä. Se ei ole viestintää ihmisten välillä.

Siksi se on ad hoc -kieli, luotu erityisellä tavoitteella ja toimimaan hyvin erityisissä tilanteissa. Sitä ei myöskään käytetä laajasti. Päinvastoin, sen käyttö on rajattu niihin, jotka tietävät sekä kielen tavoitteen että sen erityisen yhteyden.

Kielioppi sääntelee etukäteen

Muodollinen kieli muodostuu perustamalla a priori kieliopilliset säännöt, jotka antavat sille perustan. Siksi ensin suunnitellaan joukko periaatteita, jotka ohjaavat elementtien yhdistelmää (syntaksi), ja sitten kaavat luodaan.

Toisaalta muodollisen kielen kehitys on tietoista. Tämä tarkoittaa, että heidän oppimiseen tarvitaan jatkuvaa työtä. Samoin sen käyttö johtaa erikoistumiseen tieteellisen käytön määräyksiin ja yleissopimuksiin.

Minimaalinen semanttinen komponentti

Formaalin kielen semanttinen komponentti on minimaalinen. Tietyllä muodolliselle kielelle kuuluvalla merkkijonolla ei ole itsessään merkitystä.

Heillä voi olla semanttinen taakka osittain operaattoreista ja suhteista. Jotkut näistä ovat: tasa-arvo, epätasa-arvo, loogiset yhteydet ja aritmeettiset operaattorit.

Luonnollisessa kielessä "p": n ja "a" -yhdistelmän toistolla sanassa "papa" on vanhemman semanttinen arvo. Muodollisella kielellä se ei kuitenkaan ole. Käytännössä ketjujen merkitys tai tulkinta perustuu teoriaan, jonka yritetään määritellä tämän muodollisen kielen avulla.

Siten, kun sitä käytetään lineaarisiin yhtälöjärjestelmiin, sillä on matriisiteoria yhtenä semanttisena arvonaan. Toisaalta samassa järjestelmässä on logiikkapiirimallien semanttinen kuormitus laskennassa.

Yhteenvetona voidaan todeta, että näiden ketjujen merkitykset riippuvat muodollisen tieteen alueesta, jolla niitä käytetään.

Symbolinen kieli

Muodollinen kieli on täysin symbolinen. Tämä on tehty elementeistä, joiden tehtävänä on välittää niiden välistä suhdetta. Nämä elementit ovat muodollisia kielellisiä merkkejä, jotka, kuten mainittiin, eivät itsessään tuota mitään semanttista arvoa.

Muodollisen kielen symbologian konstruointimuoto mahdollistaa laskelmien ja totuuksien määrittämisen, joka ei riipu tosiasioista vaan niiden suhteista. Tämä symbolismi on ainutlaatuinen ja kaukana kaikista konkreettisista tilanteista materiaalimaailmassa.

yleisyys

Muodollisella kielellä on universaali luonne. Toisin kuin luonnollinen, joka subjektiivisuudestaan ​​motivoi tulkintoja ja monimuotoja, muodollinen on muuttumaton.

Itse asiassa se on samanlainen erityyppisissä yhteisöissä. Hänen lausunnoillaan on sama merkitys kaikille tutkijoille kielestä riippumatta.

Tarkkuus ja ilmaisu

Yleensä muodollinen kieli on tarkka eikä kovin ilmeikäs. Sen muodostussäännöt estävät puhujia luomasta uusia termejä tai antamasta olemassa oleville termeille uusia merkityksiä. Ja sitä ei voida käyttää uskomusten, mielialojen ja psykologisten tilanteiden välittämiseen.

laajennettavuus

Koska muodollisen kielen sovellusten löytämisessä on edistytty, sen kehitys on ollut eksponentiaalista. Se, että sitä voidaan käyttää mekaanisesti ajattelematta sen sisältöä (merkityksiä), mahdollistaa sen symbolien ja operaattoreiden vapaan yhdistämisen.

Laajennusalue on teoriassa ääretön. Esimerkiksi viimeaikainen laskennan ja informatiikan tutkimus liittyy molempiin kieliin (luonnollisiin ja muodollisiin) käytännön tarkoituksiin.

Erityisesti tutkijaryhmät etsivät tapoja parantaa vastaavuutta keskenään. Lopulta pyritään luomaan älykkyyttä, joka voi käyttää muodollista kieltä luonnollisen kielen tuottamiseksi.

esimerkit

Logiikka

Merkkijonossa: (p⋀q) ⋁ (r⋀t) => t, kirjaimet p, q, r, t symboloivat ehdotuksia ilman mitään konkreettista merkitystä. Toisaalta symbolit ⋀, ⋁ ja => edustavat liittimiä, jotka yhdistävät ehdotukset. Tässä nimenomaisessa esimerkissä käytetyt liittimet ovat “ja” (⋀), “tai” (⋁), “sitten” (=>).

Lähin käännös merkkijonoon on: jos jokin suluissa oleva lauseke on totta vai ei, niin t on totta vai ei. Liittimet vastaavat suhteiden luomisesta ehdotusten välillä, jotka voivat edustaa mitä tahansa.

Matematiikka

Tässä matemaattisessa esimerkissä A = ❴xx⦤3⋀x> 2❵ puuttuu joukko, jolla on nimi “A” ja jolla on nimen “x” elementit. Kaikki A: n elementit liittyvät symbologiaan ❴, -, ⦤, ⋀,>, ❵.

Kaikkia niitä käytetään tässä määrittelemään ehdot, jotka elementtien "x" on täytettävä, jotta ne voivat olla joukosta "A".

Tämän ketjun selitys on, että tämän joukon elementit ovat kaikki ne, jotka täyttävät ehto olla pienempi tai yhtä suuri kuin 3 ja samalla suurempi kuin 2. Toisin sanoen tämä ketju määrittelee luvun 3, joka on ainoa elementti, joka täyttää ehdot.

Tietokoneohjelmointi

Ohjelmointirivillä, jos A = 0, THEN GOTO 30, 5 * A + 1, on muuttuja “A”, joka tarkastetaan ja tehdään päätöksentekijä prosessorin kautta, joka tunnetaan nimellä “ehdollisena”.

Lausekkeet "IF", "THEN" ja "GOTO" ovat osa operaattorin syntaksia. Samaan aikaan loput elementit ovat "A": n vertailu- ja toiminta-arvoja.

Sen tarkoitus on: tietokonetta pyydetään arvioimaan A: n nykyinen arvo. Jos se on nolla, se siirtyy kohtaan "30" (toinen ohjelmointirivi, jossa on toinen käsky). Jos se eroaa nollasta, muuttuja "A" kerrotaan (*) arvolla 5 ja arvo 1 lisätään (+) siihen.

Viitteet

1. Collins-sanakirja. (s / f). Määritelmä 'viralliselle kielelle'. Otettu sivustosta collinsdictionary.com.
2. Teknillinen yliopisto, Sydney. (s / f). Muodollinen ja epävirallinen kieli. Otettu osoitteesta uts.edu.au.
3. Määritelmät. (s / f). Määritelmät viralliselle kielelle. Otettu määritelmistä.net.
4. Madridin tekninen yliopisto. (s / f). Luonnolliset kielet ja muodolliset kielet. Otettu lorien.die.upm.es.
5. Lujánin kunta. (s / f). Muodollinen kieli. Otettu lujan.magnaplus.org.
6. Corbin, JA (s / f). 12 kielityyppiä (ja niiden ominaisuudet). psychologiaymente.com.
7. Bel Enguix, G. ja Jiménez López, MD (s / f). Symposium: Muodollisten kielten teorian uudet sovellukset kielitieteeseen. Otettu elvira.lllf.uam.es.