BAHASA FORMAL: CIRI DAN CONTOH - SASTERA - 2025

Yang bahasa formal adalah satu set tanda-tanda linguistik penggunaan eksklusif dalam keadaan di mana bahasa semula jadi tidak sesuai. Secara umum, bahasa terbahagi kepada semula jadi atau tidak formal dan buatan. Yang pertama digunakan untuk situasi biasa sehari-hari. Sementara itu, buatan itu digunakan dalam situasi tertentu di luar ruang lingkup kehidupan seharian.

Dengan cara ini, bahasa formal adalah sebahagian daripada kumpulan buatan. Ini digunakan, terutamanya, dalam sains formal (bidang yang bukan bidang realiti dunia fizikal tetapi dunia abstrak). Sebilangan ilmu ini merangkumi logik, matematik, dan pengaturcaraan komputer.

Dalam pengertian ini, bahasa semacam ini menggunakan kod linguistik yang tidak semula jadi (mereka tidak mempunyai aplikasi dalam komunikasi di dunia biasa). Dalam bidang sains formal, bahasa formal adalah sekumpulan rantai simbol yang dapat diatur oleh undang-undang yang khusus untuk setiap ilmu ini.

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

ciri

Persekitaran yang terhad

Bahasa formal bertujuan untuk menukar data dalam keadaan persekitaran yang berbeza dengan bahasa lain. Sebagai contoh, dalam bahasa pengaturcaraan, akhirnya adalah komunikasi antara manusia dan komputer atau antara peranti berkomputer. Ia bukan komunikasi antara manusia.

Oleh itu, ia adalah bahasa ad hoc, dibuat dengan objektif tertentu dan berfungsi dalam konteks yang sangat spesifik. Ia juga tidak digunakan secara meluas. Sebaliknya, penggunaannya terhad kepada mereka yang mengetahui objektif bahasa dan konteksnya.

Tatabahasa mengatur a priori

Bahasa formal terbentuk dari pembentukan peraturan tatabahasa a priori yang memberikannya asas. Oleh itu, pertama set prinsip yang akan mengatur gabungan elemen (sintaks) dirancang dan kemudian formula dihasilkan.

Sebaliknya, perkembangan bahasa formal adalah sedar. Ini bermaksud bahawa usaha berterusan diperlukan untuk pembelajaran mereka. Dalam hal yang sama, penggunaannya membawa kepada pengkhususan dalam peraturan dan konvensi penggunaan ilmiah.

Komponen semantik minimum

Komponen semantik dalam bahasa formal adalah minimum. Rentetan yang diberikan milik bahasa formal tidak mempunyai makna dengan sendirinya.

Beban semantik yang mereka dapat datang sebahagiannya dari pengendali dan hubungan. Beberapa di antaranya adalah: persamaan, ketaksamaan, penghubung logik, dan pengendali aritmetik.

Dalam bahasa semula jadi, pengulangan gabungan "p" dan "a" dalam kata "papa" mempunyai nilai semantik ibu bapa. Walau bagaimanapun, dalam bahasa formal tidak. Dalam bidang praktik, makna atau tafsiran rantai terdapat dalam teori yang cuba ditentukan oleh seseorang melalui bahasa formal ini.

Oleh itu, apabila 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 pada bidang sains formal di mana ia diterapkan.

Bahasa simbolik

Bahasa formal benar-benar simbolik. Ini dibuat dari unsur-unsur yang misinya adalah untuk menyampaikan hubungan antara mereka. Unsur-unsur ini adalah tanda-tanda linguistik formal yang, seperti yang disebutkan, tidak menghasilkan nilai semantik dengan sendirinya.

Bentuk pembinaan simbologi bahasa formal memungkinkan pengiraan dan penentuan kebenaran bergantung bukan pada fakta tetapi hubungannya. Simbolisme ini unik dan jauh dari situasi konkrit di dunia material.

Semesta

Bahasa formal mempunyai watak universal. Tidak seperti yang semula jadi, yang, didorong oleh subjektivitasnya, memungkinkan penafsiran dan pelbagai dialek, yang formal tidak akan berubah.

Sebenarnya, ia serupa untuk pelbagai jenis komuniti. Kenyataannya mempunyai makna yang sama untuk semua saintis tanpa mengira bahasa yang dituturkannya.

Ketepatan dan ekspresif

Secara umum, bahasa formal tepat dan tidak terlalu ekspresif. Peraturan pembentukannya menghalang penuturnya menyusun istilah baru atau memberi makna baru kepada istilah yang ada. Dan, itu tidak dapat digunakan untuk menyampaikan kepercayaan, suasana hati, dan situasi psikologi.

Perluasan

Seiring kemajuan yang dicapai dalam penemuan aplikasi untuk bahasa formal, pengembangannya sangat pesat. Fakta bahawa ia dapat dikendalikan secara mekanikal tanpa memikirkan kandungannya (maknanya) memungkinkan gabungan simbol dan pengendali secara percuma.

Secara teori, skop pengembangan tidak terbatas. Sebagai contoh, penyelidikan baru-baru ini dalam bidang pengkomputeran dan informatika mengaitkan kedua-dua bahasa (semula jadi dan formal) untuk tujuan praktikal.

Secara khusus, kumpulan saintis mengusahakan kaedah untuk meningkatkan kesetaraan di antara mereka. Pada akhirnya apa yang dicari adalah dengan mewujudkan kecerdasan yang dapat menggunakan bahasa formal untuk menghasilkan bahasa semula jadi.

Contoh

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 cadangan. Dalam contoh khusus ini, penyambung yang digunakan adalah “dan” (⋀), “atau” (⋁), “then” (=>).

Terjemahan yang paling hampir dengan rentetan ialah: jika ada ungkapan dalam kurungan yang benar atau tidak, maka t adalah benar atau tidak. Penyambung bertanggungjawab untuk menjalin hubungan antara cadangan yang dapat mewakili apa sahaja.

Matematik

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

Kesemuanya digunakan di sini untuk menentukan syarat-syarat yang harus dipenuhi oleh unsur-unsur "x" sehingga dapat berasal dari set "A".

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

Pengaturcaraan komputer

Garis pengaturcaraan JIKA A = 0, KEMUDIAN GOTO 30, 5 * A + 1 mempunyai pemboleh ubah "A" yang dikenakan proses tinjauan dan pengambilan keputusan melalui operator yang dikenali sebagai "jika bersyarat".

Ungkapan "JIKA", "KEMUDIAN" dan "GOTO" adalah sebahagian daripada sintaks operator. Sementara itu, elemen-elemen selebihnya adalah perbandingan dan nilai tindakan "A".

Maknanya ialah: komputer diminta untuk menilai nilai semasa "A". Sekiranya sama dengan sifar, ia akan pergi ke "30" (baris pengaturcaraan lain di mana akan ada arahan lain). Sekiranya ia berbeza dari sifar, maka pemboleh ubah "A" akan dikalikan (*) dengan nilai 5 dan nilai 1 akan ditambahkan (+) padanya.

Rujukan

1. Kamus Collins. (s / f). Definisi 'bahasa formal'. Diambil dari collinsdictionary.com.
2. Universiti Teknologi, Sydney. (s / f). Bahasa Formal dan Tidak Formal. Diambil dari uts.edu.au.
3. Definisi. (s / f). Definisi untuk bahasa formal. Diambil dari definisi.net.
4. Universiti Teknikal Madrid. (s / f). Bahasa semula jadi dan bahasa formal. Diambil dari lorien.die.upm.es.
5. Perbandaran Luján. (s / f). Bahasa formal. Diambil dari lujan.magnaplus.org.
6. Corbin, JA (s / f). 12 jenis bahasa (dan ciri-cirinya). psikologiaymente.com.
7. Bel Enguix, G. dan Jiménez López, MD (s / f). Simposium: Aplikasi baru teori bahasa formal kepada linguistik. Diambil dari elvira.lllf.uam.es.