- raksturojums
- Ierobežota vide
- Gramatikas noteikumi a priori
- Minimālā semantiskā sastāvdaļa
- Simboliska valoda
- Universālums
- Precizitāte un izteiksmīgums
- Paplašināmība
- Piemēri
- Loģika
- Matemātika
- Datorprogrammēšana
- Atsauces
Formālā valoda ir kopums valodu zīmju ekskluzīvai lietošanai situācijās, kad dabiskā valoda nav piemērota. Kopumā valoda tiek sadalīta dabiskajā vai neoficiālajā un mākslīgajā. Pirmais tiek izmantots ikdienas situācijās. Tikmēr mākslīgais tiek izmantots īpašās situācijās, kas neietilpst ikdienas dzīvē.
Tādā veidā formālā valoda ietilpst mākslīgo valodu grupā. Īpaši to izmanto formālajās zinātnēs (tām, kuru darbības lauks nav fiziskās, bet abstraktās pasaules realitāte). Dažas no šīm zinātnēm ietver loģiku, matemātiku un datoru programmēšanu.
Šajā ziņā šāda veida valodā tiek izmantoti lingvistiski kodi, kas nav dabiski (parastajā pasaulē tiem nav pielietojuma saziņā). Formālo zinātņu jomā formālā valoda ir simbolu virkne, ko var regulēt ar likumiem, kas raksturīgi katrai no šīm zinātnēm.
Tagad šāda veida valodā kā alfabēts tiek izmantots simbolu vai burtu komplekts. No tā veidojas "valodu ķēdes" (vārdi). Tie, ja tie atbilst noteikumiem, tiek uzskatīti par "labi formulētiem vārdiem" vai "labi izveidotiem formulējumiem".
raksturojums
Ierobežota vide
Oficiālās valodas mērķis ir datu apmaiņa vides apstākļos, kas atšķiras no citu valodu apstākļiem. Piemēram, programmēšanas valodā beigas ir saziņa starp cilvēkiem un datoriem vai starp datorizētām ierīcēm. Tā nav saziņa starp cilvēkiem.
Tādējādi tā ir ad hoc valoda, kas izveidota ar noteiktu mērķi un darbojas ļoti specifiskos apstākļos. Arī tas netiek plaši izmantots. Tieši pretēji, to lieto tikai tiem, kas zina gan valodas mērķi, gan tās īpašo kontekstu.
Gramatikas noteikumi a priori
Formāla valoda veidojas no a priori gramatisko noteikumu noteikšanas, kas tai dod pamatu. Tādējādi vispirms tiek izstrādāts principu kopums, kas regulēs elementu kombināciju (sintakse), un pēc tam tiek izveidotas formulas.
No otras puses, formālā valoda ir apzināta. Tas nozīmē, ka viņu mācībām ir vajadzīgas ilgstošas pūles. Tādā pašā veidā tā izmantošana noved pie specializēšanās zinātniskās izmantošanas noteikumos un konvencijās.
Minimālā semantiskā sastāvdaļa
Formālajā valodā semantiskais komponents ir minimāls. Dotajai formālajai valodai piederošajai virknei pašai nav nozīmes.
Viņiem semantiskais slogs daļēji izriet no operatoriem un attiecībām. Daži no tiem ir: vienlīdzība, nevienlīdzība, loģiski savienojumi un aritmētiskie operatori.
Dabiskajā valodā vārdu "papa" kombināciju "p" un "a" atkārtojumam ir vecāku semantiskā vērtība. Tomēr oficiālajā valodā tā nav. Praktiskajā jomā ķēžu nozīme vai interpretācija meklējama teorijā, kuru mēģina definēt, izmantojot šo formālo valodu.
Tādējādi, ja to izmanto lineāru vienādojumu sistēmām, tai ir matricas teorija kā viena no tās semantiskajām vērtībām. No otras puses, šai pašai sistēmai ir loģisko shēmu konstrukciju semantiskā slodze skaitļošanā.
Noslēgumā jāsaka, ka šo ķēžu nozīme ir atkarīga no formālās zinātnes jomas, kurā tās tiek izmantotas.
Simboliska valoda
Oficiālā valoda ir pilnīgi simboliska. Tas ir izgatavots no elementiem, kuru uzdevums ir pārraidīt savstarpējās attiecības. Šie elementi ir formālās lingvistiskās pazīmes, kas, kā minēts, pašas par sevi nerada nekādu semantisko vērtību.
Formālas valodas simbolikas uzbūves forma ļauj aprēķināt un noteikt patiesības nevis atkarībā no faktiem, bet no viņu attiecībām. Šī simbolika ir unikāla un tālu no jebkuras konkrētas situācijas materiālajā pasaulē.
Universālums
Formālai valodai ir universāls raksturs. Atšķirībā no dabiskā, kas subjektīvās motivācijas dēļ pieļauj interpretācijas un vairākus dialektus, formālais nav mainīgs.
Faktiski tas ir līdzīgs dažāda veida kopienām. Viņa izteikumiem ir vienāda nozīme visiem zinātniekiem neatkarīgi no valodas, kuru viņi runā.
Precizitāte un izteiksmīgums
Kopumā formālā valoda ir precīza un nav ļoti izteiksmīga. Tās veidošanas noteikumi neļauj runātājiem apvienot jaunus terminus vai piešķirt esošām terminiem jaunas nozīmes. Un to nevar izmantot, lai izteiktu pārliecību, garastāvokli un psiholoģiskās situācijas.
Paplašināmība
Tā kā ir gūti panākumi oficiālas valodas lietojumu atklāšanā, tā attīstība ir bijusi eksponenciāla. Fakts, ka to var darbināt mehāniski, nedomājot par tā saturu (nozīmēm), ļauj brīvi kombinēt tā simbolus un operatorus.
Teorētiski paplašināšanas joma ir bezgalīga. Piemēram, jaunākie pētījumi skaitļošanas un informātikas jomā praktiskām vajadzībām attiecas uz abām valodām (dabisko un formālo).
Konkrēti, zinātnieku grupas strādā pie veidiem, kā uzlabot to līdzvērtību. Galu galā tiek mēģināts radīt inteliģenci, kas dabisko valodu radīšanai varētu izmantot formālo valodu.
Piemēri
Loģika
Virknē: (p⋀q) ⋁ (r⋀t) => t, burti p, q, r, t simbolizē piedāvājumus bez konkrētas nozīmes. No otras puses, simboli ⋀, ⋁ un => apzīmē savienotājus, kas savieno piedāvājumus. Šajā konkrētajā piemērā izmantotie savienotāji ir “un” (⋀), “vai” (⋁), “tad” (=>).
Vistuvākais virknes tulkojums ir šāds: ja kāds no iekavās izteiktajiem ir patiess vai nē, tad t ir vai nav taisnība. Savienotāji ir atbildīgi par attiecību nodibināšanu starp piedāvājumiem, kas var pārstāvēt jebko.
Matemātika
Šajā matemātiskajā piemērā A = ❴xx⦤3⋀x> 2❵ tiek iejaukta kopa ar nosaukumu “A”, kurai ir nosaukuma “x” elementi. Visus A elementus saista simboloģija ❴, -, ⦤, ⋀,>, ❵.
Tie visi šeit tiek izmantoti, lai definētu nosacījumus, kuri elementiem "x" ir jāizpilda, lai tie varētu būt no kopas "A".
Šīs ķēdes izskaidrojums ir tāds, ka šīs kopas elementi ir visi tie, kas atbilst nosacījumam, ka tas ir mazāks vai vienāds ar 3 un tajā pašā laikā lielāks par 2. Citiem vārdiem sakot, šī ķēde nosaka skaitli 3, kas ir vienīgais elements, kas atbilst nosacījumiem.
Datorprogrammēšana
Programmēšanas līnijai IF A = 0, TAD GOTO 30, 5 * A + 1 ir mainīgs lielums “A”, kas tiek pārskatīts un pieņemts ar operatora starpniecību, kas pazīstams kā “ja tas ir nosacīts”.
Izteicieni "IF", "THEN" un "GOTO" ir daļa no operatora sintakse. Tikmēr pārējie elementi ir "A" salīdzināšanas un darbības vērtības.
Tā nozīme ir šāda: datoram tiek lūgts novērtēt pašreizējo "A" vērtību. Ja tas ir vienāds ar nulli, tas pāries uz "30" (cita programmēšanas līnija, kur būs vēl viena instrukcija). Ja tas atšķiras no nulles, mainīgais “A” tiks reizināts (*) ar vērtību 5 un vērtība 1 tiks pievienota (+).
Atsauces
- Kolinsa vārdnīca. (s / f). “Oficiālās valodas” definīcija. Ņemts no vietnes collinsdictionary.com.
- Sidnejas Tehnoloģiju universitāte. (s / f). Formāla un neoficiāla valoda. Paņemts no uts.edu.au.
- Definīcijas. (s / f). Formālas valodas definīcijas. Pārņemts no definīcijas.net.
- Madrides Tehniskā universitāte. (s / f). Dabiskās valodas un formālās valodas. Paņemts no lorien.die.upm.es.
- Lujānas pašvaldība. (s / f). Oficiālā valoda. Paņemts no lujan.magnaplus.org.
- Korbina, JA (s / f). 12 valodu veidi (un to īpašības). psychologiaymente.com.
- Bel Enguix, G. un Jiménez López, MD (s / f). Simpozijs: Jauni formālo valodu teorijas pielietojumi valodniecībā. Pārņemts no elvira.lllf.uam.es.