Ciri-ciri dan contoh bahasa rasmi



The bahasa rasmi adalah satu set tanda linguistik untuk kegunaan eksklusif dalam situasi di mana bahasa semula jadi tidak sesuai. Secara umum, bahasa ini dibahagikan kepada alam semulajadi atau tidak formal dan buatan. Yang pertama digunakan untuk situasi kehidupan harian yang biasa. Sementara itu, tiruan digunakan dalam keadaan tertentu di luar skop kehidupan seharian.

Dengan cara ini, bahasa rasmi adalah sebahagian daripada kumpulan tiruan. Ini digunakan, terutamanya dalam bidang sains formal (orang yang tindakannya bukan realiti dunia fizikal tetapi dunia abstrak). Beberapa sains ini termasuk logik, matematik, dan pengaturcaraan komputer.

Dalam pengertian ini, bahasa jenis ini menggunakan kod linguistik yang tidak semulajadi (mereka tidak mempunyai aplikasi dalam komunikasi di dunia biasa). Dalam bidang sains formal, bahasa formal adalah satu set rantai simbol yang boleh dikawal oleh undang-undang yang khusus untuk setiap sains ini.

Sekarang, jenis bahasa ini menggunakan set simbol atau huruf sebagai abjad. Daripada ini, "rantai bahasa" (kata-kata) terbentuk. Ini, jika mereka mematuhi peraturan, dianggap "kata yang terbentuk dengan baik" atau "formula yang terbentuk dengan baik".

Indeks

  • 1 Ciri-ciri
    • 1.1 persekitaran terhad
    • 1.2 Peraturan tatabahasa priori
    • 1.3 Semantik komponen semantik
    • 1.4 Bahasa simbolik
    • 1.5 Universality
    • 1.6 Ketepatan dan ekspresi
    • 1.7 Kapasiti pengembangan
  • 2 Contoh
    • 2.1 Logik
    • 2.2 Matematik
    • 2.3 Pengaturcaraan komputer
  • 3 Rujukan

Ciri-ciri

Persekitaran terhad

Objektif bahasa formal adalah untuk menukar data dalam keadaan persekitaran yang berbeza daripada bahasa-bahasa lain. Sebagai contoh, dalam bahasa pengaturcaraan, akhir adalah komunikasi antara manusia dan komputer atau antara peranti berkomputer. Ia bukan komunikasi antara manusia.

Oleh itu, ia adalah bahasa ad hoc, diwujudkan dengan matlamat tertentu dan berfungsi di bawah konteks yang sangat spesifik. Juga, ia tidak digunakan secara besar-besaran. Sebaliknya, penggunaannya terhad kepada mereka yang mengetahui kedua-dua tujuan bahasa dan konteksnya.

Peraturan tatabahasa a priori

Bahasa formal dibentuk daripada penubuhan peraturan tatabahasa priori yang memberi asas. Jadi, pertama kita merangka satu set prinsip yang akan mengawal kombinasi elemen (sintaks) dan kemudian menghasilkan formula.

Sebaliknya, perkembangan bahasa formal adalah sedar. Ini bermakna usaha yang berterusan diperlukan untuk pembelajaran mereka. Dalam susunan ide yang sama, penggunaannya membawa kepada pengkhususan dalam peraturan dan konvensyen penggunaan saintifik.

Komponen semantik minimum

Komponen semantik dalam bahasa formal adalah minim. Rangkaian tertentu yang bersifat bahasa formal tidak mempunyai arti sendiri.

Beban semantik yang mungkin mereka ada sebahagiannya daripada pengendali dan hubungan. Sebahagian daripadanya adalah: kesamaan, ketidaksamaan, penyambungan logik dan pengendali aritmetik.

Dalam bahasa semula jadi, pengulangan kombinasi "p" dan "a" dalam perkataan "ayah" mempunyai nilai semantik ibu bapa. Walau bagaimanapun, dalam bahasa rasmi ia tidak. Di bidang praktikal, makna atau tafsiran rantaian berada di dalam teori yang cuba ditentukan menerusi bahasa formal itu.

Oleh itu, apabila ia digunakan untuk sistem persamaan linear, ia mempunyai teori matriks sebagai salah satu nilai semantiknya. Sebaliknya, sistem yang sama ini mempunyai beban semantik reka bentuk litar logik dalam pengkomputeran.

Kesimpulannya, makna rantai ini bergantung kepada bidang sains formal di mana ia digunakan.

Bahasa simbolik

Bahasa formal sepenuhnya simbolik. Ini dibuat daripada elemen yang misinya adalah untuk menyampaikan hubungan di antara mereka. Unsur-unsur ini adalah tanda-tanda linguistik formal yang, seperti yang disebutkan, tidak menghasilkan nilai semantik sendiri.

Bentuk pembinaan simbologi bahasa rasmi membolehkan kita membuat pengiraan dan membuktikan kebenaran bergantung kepada fakta tetapi hubungan mereka. Symbology ini unik dan jauh dari sebarang keadaan konkrit di dunia material.  

Universiti

Bahasa formal mempunyai sifat sejagat. Tidak seperti yang semula jadi, yang bermotivasi terhadap subjektivitasnya membolehkan tafsiran dan pelbagai dialek, yang formal tidak kelihatan berubah.

Malah, ia adalah sama untuk pelbagai jenis komuniti. Pendekatan mereka mempunyai makna yang sama untuk semua saintis tanpa mengira bahasa yang mereka bicarakan.

Ketepatan dan ekspresi

Secara umum, bahasa formal adalah tepat dan tidak begitu ekspresif. Peraturan pembentukannya menghalang penceramahnya daripada memasukkan istilah baru atau memberikan makna baru kepada istilah yang sedia ada. Dan, ia tidak boleh digunakan untuk menyampaikan kepercayaan, perasaan dan situasi psikologi.

Kapasiti pengembangan

Dalam langkah di mana kemajuan telah dibuat dalam penemuan permohonan untuk bahasa formal, pembangunannya telah dieksponasi. Hakikat bahawa ia boleh dikendalikan secara mekanikal tanpa memikirkan kandungannya (maknanya) membolehkan kombinasi bebas simbol dan operatornya.

Secara teori, skop pengembangan tidak terhingga. Sebagai contoh, penyiasatan baru-baru ini dalam bidang pengkomputeran dan pengkomputeran mengaitkan kedua bahasa (semulajadi dan formal) untuk tujuan praktikal.

Khususnya, kumpulan saintis bekerja pada cara untuk meningkatkan kesetaraan antara mereka. Akhirnya, apa yang dikerjakan ialah mencipta kecerdasan yang boleh menggunakan bahasa rasmi untuk menghasilkan bahasa semula jadi.

Contohnya

Logik

Dalam rentetan: (p⋀q) ⋁ (r⋀t) => t, huruf p, q, r, t melambangkan proposisi tanpa makna konkrit. Sebaliknya, simbol ⋀, ⋁, dan => mewakili penyambung yang menghubungkan proposisi. Dalam contoh khusus ini, penyambung yang digunakan adalah "y" (⋀), "o" (⋁), "maka" (=>).

Terjemahan terdekat kepada rentetan adalah: jika mana-mana ungkapan dalam kurungan dipenuhi atau tidak, maka t dipenuhi atau tidak dipenuhi. Penyambung bertanggungjawab untuk mewujudkan hubungan antara proposisi yang boleh mewakili apa ...

Matematik

Dalam contoh matematik ini A = ❴x | x⦤3⋀x> 2❵, set dengan nama "A" yang mempunyai unsur-unsur nama "x" campur tangan. Semua unsur A adalah berkaitan dengan simbologi ❴, |, ⦤, ⋀,>, ❵.

Kesemua mereka digunakan di sini untuk menentukan syarat-syarat yang mesti dipenuhi oleh unsur-unsur "x" supaya mereka boleh menjadi "A".

Penjelasan rantaian ini adalah bahawa elemen-elemen dari set ini adalah semua yang memenuhi syarat yang kurang dari atau sama dengan 3 dan pada masa yang sama lebih besar daripada 2. Dengan kata lain, rangkaian ini mentakrifkan nombor 3 yang merupakan satu-satunya elemen yang mematuhi syarat-syarat.

Pengaturcaraan komputer

Baris pengaturcaraan JIKA A = 0, THEN GOTO 30, 5 * A +1 mempunyai variabel "A" yang diserahkan kepada proses semakan dan pengambilan keputusan melalui operator yang dikenali sebagai "jika bersyarat".

Ungkapan "IF", "THEN" dan "GOTO" adalah sebahagian daripada sintaks pengendali. Sementara itu, selebihnya adalah perbandingan dan nilai tindakan "A".

Maksudnya ialah: komputer diminta untuk menilai nilai semasa "A". Sekiranya ia sama dengan sifar, ia akan pergi ke "30" (satu lagi pengaturcaraan yang akan ada arahan lain). Sekiranya ia berbeza daripada sifar, maka pembolehubah "A" akan didarabkan (*) dengan nilai 5 dan akan ditambah (+) nilai 1.

Rujukan

  1. Kamus Collins. (s / f). Definisi 'bahasa formal'. Diambil dari collinsdictionary.com.
  2. Universiti Teknologi, Sydney. (s / f). Bahasa formal dan tidak rasmi. Diambil dari uts.edu.au.
  3. Definisi (s / f). Definisi untuk bahasa rasmi. Diambil dari definitions.net.
  4. Universiti Teknikal Madrid. (s / f). Bahasa semulajadi dan bahasa formal. Diambil dari lorien.die.upm.es.
  5. Perbandaran Luján. (s / f). Bahasa rasmi Diambil dari lujan.magnaplus.org.
  6. Corbin, J. A. (s / f). 12 jenis bahasa (dan ciri-ciri mereka). psicologiaymente.com.
  7. Bel Enguix, G. dan Jiménez López, M. D. (s / f). Simposium: Aplikasi baru teori bahasa formal kepada linguistik. Diambil dari elvira.lllf.uam.es.